Models and Principles.

Content Delivery Networks by: (書目-電子資源)

Languages, Methodologies and Development Tools for Multi-Agent SystemsFirst International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers / by: (書目-電子資源)

Transactions on Rough Sets VIII by: (書目-電子資源)

Languages and Compilers for Parallel Computing20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers / by: (書目-電子資源)

The Common Component Modeling ExampleComparing Software Component Models / by: (書目-電子資源)

Architecting Dependable Systems V by: (書目-電子資源)

ARIS design platformadvanced process modelling and administration / by: (書目-語言資料,印刷品)

Formal modeling and analysis of timed systems6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings / by: (書目-語言資料,印刷品)

Computer performance engineering5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008 : proceedings / by: (書目-語言資料,印刷品)

The challenge of anticipationa unifying framework for the analysis and design of artificial cognitive systems / by: (書目-語言資料,印刷品)

Verified software: theories, tools, experimentssecond international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings / by: (書目-語言資料,印刷品)

Artificial intelligence : theories, models and applications5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008 ; proceedings / by: (書目-語言資料,印刷品)

Software architecturesecond European conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 proceedings / by: (書目-語言資料,印刷品)

Software Process Improvement15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings / by: (書目-語言資料,印刷品)

Languages and compilers for parallel computing21st international workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008 : revised selected papers / by: (書目-語言資料,印刷品)

Uncertainty reasoning for the semantic web IISWC international workshops, URSW 2005-2007 : revised selected and invited papers / by: (書目-語言資料,印刷品)

Innovations for requirements analysis :from stakeholders' needs to formal designs14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007, revised selected papers / by: (書目-語言資料,印刷品)

Transactions on rough sets IX by: (書目-語言資料,印刷品)

Advances in computation and intelligencethird international symposium, ISICA 2008 Wuhan, China, December 19-21, 2008, proceedings / by: (書目-語言資料,印刷品)

Systems and virtualization managementstandards and new technologies : second international workshop, SVM 2008, Munich, Germany, October 21-22, 2008, proceedings / by: (書目-語言資料,印刷品)

Data mining for business applications by: (書目-電子資源)

(Re)searching the digital Bauhaus by: (書目-電子資源)

Dynamic modeling of diseases and pests by: (書目-電子資源)

Declarative agent languages and technologies VI6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 : revised selected and invited papers / by: (書目-電子資源)

Argumentation in multi-agent systemsfifth international workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008 ; revised selected and invited papers / by: (書目-電子資源)

Transactions on petri nets and other models of concurrency.II,Special issue on concurrency in process-aware information systems by: (書目-電子資源)

Turbulence nature and the inverse problem by: (書目-電子資源)

Enterprise, business-process and information systems modeling10th International Workshop, BPMDS 2009 and 14th International Conference, EMMSAD 2009 held at CAiSE 2009 Amsterdam, The Netherlands, June 8-9, 2009 : proceedings / by: (書目-電子資源)

Web services and formal methods5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers / by: (書目-電子資源)

Trustworthy software development processesInternational Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 ; Proceedings / by: (書目-電子資源)

Object oriented simulationa modeling and programming perspective / by: (書目-電子資源)

Knowledge management and organizational learning by: (書目-電子資源)

Representation and management of narrative informationtheoretical principles and implementation / by: (書目-電子資源)

Nano-NetThird International ICST Conference, NanoNet 2008, Boston, MA, USA, September 14-16, 2008, revised selected papers / by: (書目-電子資源)

Objects, components, models and patterns47th international conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29 - July 3, 2009 : proceedings / by: (書目-電子資源)

Requirements engineering, foundation for software quality15th International Working Conference, REFSQ 2009, Amsterdam, the Netherlands, June 8-9, 2009 : proceedings / by: (書目-電子資源)

Coordination models and languages11th International Conference, COORDINATION 2009 Lisbon, Portugal, June 9-12, 2009 : proceedings / by: (書目-電子資源)

Component-based software engineering12th international symposium, CBSE 2009, East Stroudsburg, Pa, USA, June 24-26, 2009 : proceedings / by: (書目-電子資源)

Bio-inspired systems : computational and ambient intelligence10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009 : proceedings, Part I / by: (書目-電子資源)

Distributed computing, artificial intelligence, bioinformatics, soft computing and ambient assisted living10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009 : Proceedings, part II / by: (書目-電子資源)

Computer performance engineering6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009 ; proceedings / by: (書目-電子資源)

Rough sets and knowledge technology4th international conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009 ; proceedings / by: (書目-電子資源)

Verification and control of hybrid systemsa symbolic approach / by: (書目-電子資源)

Enterprise architecture at workmodelling, communication and analysis / by: (書目-電子資源)

Learning Network Services for Professional Development by: (書目-電子資源)

Software process improvement16th European conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009 : proceedings / by: (書目-電子資源)

Advances in neuro-information processing15th international conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008 ; revised selected papers.Part I / by: (書目-電子資源)

Computational logic in multi-agent systemsb9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 ; revised selected and invited papers / by: (書目-電子資源)

Advances in neuro-information processing15th international conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008 ; revised selected papers.Part II / by: (書目-電子資源)

Theorem proving in higher order logics22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : Proceedings / by: (書目-電子資源)

Algebra and coalgebra in computer sciencethird international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings / by: (書目-電子資源)

Unconventional computation8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009 : proceedings / by: (書目-電子資源)

Spatial information theory9th international conference, COSIT 2009, Aber Wrac'h, France, September 21-25, 2009 : proceedings / by: (書目-電子資源)

CONCUR 2009 - concurrency theory20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings / by: (書目-電子資源)

Formal foundations of reuse and domain engineering11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009 : proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systems7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / by: (書目-電子資源)

Algorithmic learning theory20th International Conference, ALT 2009, Porto, Portugal, October 3-5, 2009 : proceedings / by: (書目-電子資源)

Transactions on aspect-oriented software development VIspecial issue on aspects and model-driven engineering / by: (書目-電子資源)

Computational collective intelligencesemantic web, social networks and multiagent systems : first International Conference, ICCCI 2009, Wrocaw, Poland, October 5-7, 2009 : proceedings / by: (書目-電子資源)

Algorithmic game theorysecond international symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009 : proceedings / by: (書目-電子資源)

Architecting dependable systems VI by: (書目-電子資源)

Nano-Net4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009 : proceedings / by: (書目-電子資源)

Conceptual Modeling - ER 200928th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009 : Proceedings / by: (書目-電子資源)

Transactions on petri nets and other models of concurrency III by: (書目-電子資源)

Rule interchange and applicationsinternational symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5 - 7, 2009 : proceedings / by: (書目-電子資源)

Advances in machine learningFirst Asian Conference on Machine Learning, ACML 2009, Nanjing, China, November 2-4, 2009 : proceedings / by: (書目-電子資源)

Formal methods and software engineering11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings / by: (書目-電子資源)

Journal on data semantics XIV by: (書目-電子資源)

Learning and intelligent optimizationthird international conference, LION 3, Trento, Italy, January 14-18, 2009 : selected papers / by: (書目-語言資料,印刷品)

Computational Intelligence and Intelligent Systems4th International Symposium, ISICA 2009, Huangshi, China, October 23-25, 2009 : proceedings / by: (書目-電子資源)

Advances in Software EngineeringInternational Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers / by: (書目-電子資源)

The semantic Webfourth Asian conference, ASWC 2009, Shanghai, China, December 6-9, 2009 : proceedings / by: (書目-電子資源)

Intelligent infrastructures by: (書目-電子資源)

The engineering of mixed reality systems by: (書目-電子資源)

Declarative agent languages and technologies VII7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 : revised selected and invited papers / by: (書目-電子資源)

Evolution of 3G networksthe concept, architecture and realization of mobile networks beyond UMTS / by: (書目-電子資源)

Fundamentals of software engineeringthird IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009 : revised selected papers / by: (書目-電子資源)

Engineering secure software and systemssecond international symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010 : proceedings / by: (書目-電子資源)

Graph drawing17th international symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009 : revised papers / by: (書目-電子資源)

The integrated architecture framework explainedwhy, what, how / by: (書目-電子資源)

Languages, methodologies, and development tools for multi-agent systemssecond international workshop, LADS 2009, Torino, Italy, September 7-9, 2009 : revised selected papers / by: (書目-電子資源)

Languages and compilers for parallel computing22nd international workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009 : revised selected papers / by: (書目-電子資源)

Coordination models and languages12th international conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010 : proceedings / by: (書目-電子資源)

Modelling and management of engineering processes by: (書目-電子資源)

Engineering Web applications by: (書目-電子資源)

Design research in information systemstheory and practice / by: (書目-電子資源)

Agent-based service-oriented computing by: (書目-電子資源)

A practical guide to brain-computer interfacing with BCI2000general-purpose software for brain-computer interface research, data acquisition, stimulus presentation, and brain monitoring / by: (書目-電子資源)

Temporal information systems in medicine by: (書目-電子資源)

Replicationtheory and practice / by: (書目-電子資源)

Queueing theory for telecommunicationsdiscrete time modelling of a single node system / by: (書目-電子資源)

Composing software componentsa software-testing perspective / by: (書目-電子資源)

Canadian semantic webtechnologies and applications / by: (書目-語言資料,印刷品)

Business process management8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, proceedings / by: (書目-電子資源)

Transactions on computational science IXspecial issue on voronoi diagrams in science and engineering / by: (書目-電子資源)

Testing software and systems22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings / by: (書目-電子資源)

Rewriting logic and its applications8th international workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers / by: (書目-電子資源)

Algorithmic game theorythird international symposium, SAGT 2010, Athens, Greece, October 18-20, 2010 : proceedings / by: (書目-電子資源)

Architecting dependable systems VII by: (書目-電子資源)

Run-time models for self-managing systems and applications by: (書目-電子資源)

Transactions on Petri nets and other models of concurrency IV by: (書目-電子資源)

M8.0 Wenchuan earthquake by: (書目-電子資源)

Engineering secure software and systemsthird International symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011 : proceedings / by: (書目-電子資源)

The evolution of conceptual modelingfrom a historical perspective towards the future of conceptual modeling / by: (書目-電子資源)

Dynamic formal epistemology by: (書目-電子資源)

Graph drawing18th international symposium, GD 2010, Konstanz, Germany, September 21-24, 2010 : revised selected papers / by: (書目-電子資源)

Languages and compilers for parallel computing23rd international workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010 : revised selected papers / by: (書目-電子資源)

Architecture principlesthe cornerstones of enterprise architecture / by: (書目-電子資源)

Declarative Agent Languages and Technologies VIII8th international workshop, DALT 2010, Toronto, Canada, May 10, 2010 : revised, selected and invited papers / by: (書目-電子資源)

Digital privacyPRIME - privacy and identity management for Europe / by: (書目-電子資源)

Advances in computational intelligence11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Malaga, Spain, June 8-10, 2011 : proceedings.Part I / by: (書目-電子資源)

Advances in Computational Intelligence11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Malaga, Spain, June 8-10, 2011 : proceedings.Part II / by: (書目-電子資源)

Coordination models and languages13th international conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings / by: (書目-電子資源)

Top productivity through software reuse12th international conference on software reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011 : proceedings / by: (書目-電子資源)

Ontologies in urban development projects by: (書目-電子資源)

Dependability of networked computer-based systems by: (書目-電子資源)

Languages, methodologies, and development tools for multi-agent systemsthird international workshop, LADS 2010, Lyon, France, August 30 - September 1, 2010 : revised selected papers / by: (書目-電子資源)

Algebra and coalgebra in computer science4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings / by: (書目-電子資源)

Spatial information theory10th international conference, COSIT 2011, Belfast, ME, USA, September 12-16, 2011 : proceedings / by: (書目-電子資源)

Ontology-based application integration by: (書目-電子資源)

Theory-guided modeling and empiricism in information systems research by: (書目-電子資源)

Algorithmic game theory4th international symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011 : proceedings / by: (書目-電子資源)

Testing software and systems23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7-10, 2011 : proceedings / by: (書目-電子資源)

Designing sorting networksa new paradigm / by: (書目-電子資源)

Distributed user interfacesdesigning interfaces for the distributed ecosystem / by: (書目-電子資源)

Speech enhancement in the STFT domain by: (書目-電子資源)

Haptic systems architecture modeling by: (書目-電子資源)

Graph drawing19th international symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011 : revised selected papers / by: (書目-電子資源)

Interactive 3D multimedia contentmodels for creation, management, search and presentation / by: (書目-電子資源)

Modeling dynamic economic systems by: (書目-電子資源)

Engineering secure software and systems4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings / by: (書目-電子資源)

Conceptual modelling and its theoretical foundationsessays dedicated to Bernhard Thalheim n the occasion of his 60th birthday / by: (書目-電子資源)

Transactions on petri nets and other models of concurrency V by: (書目-電子資源)

Declarative agent languages and technologies IX9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011 : revised selected and invited papers / by: (書目-電子資源)

Business processes for business communitiesmodeling languages, methods, tools / by: (書目-電子資源)

Utility maximization in nonconvex wireless systems by: (書目-電子資源)

Agile service developmentcombining adaptive methods and flexible solutions / by: (書目-電子資源)

Fundamentals of software engineering4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers / by: (書目-電子資源)

Behavior computingmodeling, analysis, mining and decision / by: (書目-電子資源)

The semantic webJoint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011 : proceedings / by: (書目-電子資源)

Coordination models and languages14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012 : proceedings / by: (書目-電子資源)

ITIL 2011 at a glance by: (書目-電子資源)

On the mathematics of modelling, metamodelling, ontologies and modelling languages by: (書目-電子資源)

Information from processesabout the nature of information creation, use, and representation / by: (書目-電子資源)

Haptic and audio interaction design 7th international conference, HAID 2012, Lund, Sweden, August 23-24, 2012 : proceedings / by: (書目-電子資源)

Theoretical foundations of artificial general intelligence by: (書目-電子資源)

Practical aspects of design scienceEuropean Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011 : revised selected papers / by: (書目-電子資源)

Informing digital futuresstrategies for citizen engagement / by: (書目-語言資料,印刷品)

Computational intelligence and intelligent systems6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012 : proceedings / by: (書目-電子資源)

Algorithmic game theory5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012 : proceedings / by: (書目-電子資源)

Rewriting logic and its applications9th International Workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24-25, 2012 : revised selected papers / by: (書目-電子資源)

Cognitive behavioural systemsCOST 2102 International Training School, Dresden, Germany, February 21-26, 2011 : revised selected papers / by: (書目-電子資源)

Advances in artificial intelligence - IBERAMIA 200811th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008 : proceedings / by: (書目-電子資源)

Component-based software engineering11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings / by: (書目-電子資源)

Conceptual modeling - ER 200827th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008 : proceedings / by: (書目-電子資源)

Formal methods and software engineering10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings / by: (書目-電子資源)

Learning classifier systems10th international workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006, and 11th international workshop, IWLCS 2007, London, UK, July 8, 2007 : revised selected papers / by: (書目-電子資源)

Network and parallel computingIFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008 : proceedings / by: (書目-電子資源)

Rule representation, interchange and reasoning on the webinternational symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008 : proceedings / by: (書目-電子資源)

Self-sustaining systemsfirst workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 : revised selected papers / by: (書目-電子資源)

Incomplete information system and rough set theorymodels and attribute reductions / by: (書目-電子資源)

Shaping the future of ICT researchmethods and approaches : IFIP WG 8.2, Working Conference, Tampa, FL, USA, December 13-14, 2012 : proceedings / by: (書目-電子資源)

Resource-adaptive cognitive processes by: (書目-電子資源)

Multi tenancy for cloud-based in-memory column databasesworkload management and data placement / by: (書目-電子資源)

Benchmarking transaction and analytical processing systemsthe creation of a mixed workload benchmark and its application / by: (書目-電子資源)

Handbook of human centric visualization by: (書目-電子資源)

Compliance management in financial industriesa model-based business process and reporting perspective / by: (書目-電子資源)

Multiagent schedulingmodels and algorithms / by: (書目-電子資源)

Post-optimal analysis in linear semi-infinite optimization by: (書目-電子資源)

Cloud computing patternsfundamentals to design, build, and manage cloud applications / by: (書目-電子資源)

Engineering secure software and systems6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014 : proceedings / by: (書目-電子資源)

Bas van Fraassen's approach to representation and models in science by: (書目-電子資源)

Parallel Computational Fluid Dynamics25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers / by: (書目-電子資源)

Beyond databases, architectures, and structures10th International Conference, BDAS 2014, Ustron, Poland, May 27-30, 2014 : proceedings / by: (書目-電子資源)

Engineering psychology and cognitive ergonomics11th International Conference, EPCE 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014 : proceedings / by: (書目-電子資源)

Human aspects of information security, privacy, and trustsecond International Conference, HAS 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014. Proceedings / by: (書目-電子資源)

Modeling dynamic biological systems by: (書目-電子資源)

Autonomy requirements engineering for space missions by: (書目-電子資源)

Solving the dynamic complexity dilemmapredictive and prescriptive business management : answering the need for a new paradigm / by: (書目-電子資源)

Process design for natural scientistsan agile model-driven approach / by: (書目-語言資料,印刷品)

AsiaSim 201414th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014 : proceedings / by: (書目-語言資料,印刷品)

Algorithmic game theory7th International Symposium, SAGT 2014, Haifa, Israel, September 30 - October 2, 2014 : proceedings / by: (書目-語言資料,印刷品)

An introduction to design science by: (書目-語言資料,印刷品)

Natural and artificial reasoningan exploration of modelling human thinking / by: (書目-語言資料,印刷品)

Advances in image and graphics technologiesChinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014 : proceedings / by: (書目-語言資料,印刷品)

Hapticsneuroscience, devices, modeling, and applications : 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014 : proceedings.Part I / by: (書目-電子資源)

Hapticsneuroscience, devices, modeling, and applications : 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014 : proceedings.Part II / by: (書目-電子資源)

Design science methodology for information systems and software engineering by: (書目-電子資源)

Rewriting logic and its applications10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014 : revised selected papers / by: (書目-電子資源)

Nutrient use efficiencyfrom basics to advances / by: (書目-電子資源)

Engineering secure software and systems7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015 : proceedings / by: (書目-電子資源)

Pattern and security requirementsengineering-based establishment of security standards / by: (書目-電子資源)

Beyond databases, architectures and structures11th International Conference, BDAS 2015, Ustron, Poland, May 26-29, 2015 : proceedings / by: (書目-電子資源)

New horizons in design sciencebroadening the research agenda : 10th International Conference, DESRIST 2015, Dublin, Ireland, May 20-22, 2015 : proceedings / by: (書目-電子資源)

Patterns of HCI design and HCI design of patternsbridging HCI design and model-driven software engineering / by: (書目-電子資源)

Advances in computational intelligence13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 10-12, 2015 : proceedings.Part II / by: (書目-電子資源)

Advances in computational intelligence13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 10-12, 2015 : proceedings.Part I / by: (書目-電子資源)

Empirical philosophy of scienceintroducing qualitative methods into philosophy of science / by: (書目-電子資源)

Designing socially embedded technologies in the real-world by: (書目-電子資源)

Engineering psychology and cognitive ergonomics12th International Conference, EPCE 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015 : proceedings / by: (書目-電子資源)

Human aspects of information security, privacy, and trustthird International Conference, HAS 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015 : proceedings / by: (書目-電子資源)

Broad scale coastal simulationnew techniques to understand and manage shorelines in the third millennium / by: (書目-電子資源)

Requirements engineering in the big data eraSecond Asia Pacific Symposium, APRES 2015, Wuhan, China, October 18-20, 2015 : proceedings / by: (書目-電子資源)

Algorithmic game theory8th International Symposium, SAGT 2015, Saarbrucken, Germany, September 28-30, 2015 : proceedings / by: (書目-電子資源)

Modeling of tropospheric delays using ANFIS by: (書目-電子資源)

Distributed simulationa model driven engineering approach / by: (書目-電子資源)

Big data technology and applicationsfirst National Conference, BDTA 2015, Harbin, China, December 25-26, 2015 : proceedings / by: (書目-電子資源)

Engineering secure software and systems8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016 : proceedings / by: (書目-電子資源)

Human aspects of information security, privacy, and trust4th international conference, HAS 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016 : proceedings / by: (書目-電子資源)

Engineering psychology and cognitive ergonomics13th International Conference, EPCE 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016 : proceedings / by: (書目-電子資源)

Seminal contributions to modelling and simulation30 years of the European Council of Modelling and Simulation / by: (書目-電子資源)

Domain-specific conceptual modelingconcepts, methods and tools / by: (書目-電子資源)

Hapticsperception, devices, control, and applications : 10th Iternational Conference, EuroHaptics 2016, London, UK, July 4-7, 2016 : proceedings.Part I / by: (書目-電子資源)

Hapticsperception, devices, control, and applications : 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016 : proceedings.Part II / by: (書目-電子資源)

Information technologies and mathematical modellingqueueing theory and applications : 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016 : proceedings / by: (書目-電子資源)

Rewriting logic and its applications11th International Workshop, WRLA 2016, held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016 : revised selected papers / by: (書目-電子資源)

Algorithmic game theory9th International Symposium, SAGT 2016, Liverpool, UK, September 19-21, 2016 : proceedings / by: (書目-電子資源)

Concise guide to computing foundationscore concepts and select scientific applications / by: (書目-電子資源)

Scalafrom a functional programming perspective : an introduction to the programming language / by: (書目-電子資源)

Software developers as userssemiotic investigations in human-centered software development / by: (書目-電子資源)

Smart collaborative identifier networka promising design of future internet / by: (書目-電子資源)

Self-aware computing systems by: (書目-電子資源)

Pervasive computingengineering smart systems / by: (書目-電子資源)

Evolutionary multi-criterion optimization9th International Conference, EMO 2017, Munster, Germany, March 19-22, 2017 : proceedings / by: (書目-電子資源)

Forecast error correction using dynamic data assimilation by: (書目-電子資源)

Provably correct systems by: (書目-電子資源)

Enterprise architecture at workmodelling, communication and analysis / by: (書目-電子資源)

Complexity in information systems developmentproceedings of the 25th International Conference on Information Systems Development / by: (書目-電子資源)

Software project management for distributed computinglife-cycle methods for developing scalable and reliable tools / by: (書目-電子資源)

Designing the digital transformation12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017 : proceedings / by: (書目-電子資源)

Human mental workloadmodels and applications : first International Symposium, H-WORKLOAD 2017, Dublin, Ireland, June 28-30, 2017 : revised selected papers / by: (書目-電子資源)

TRIZ - the theory of inventive problem solvingcurrent research and trends in French academic institutions / by: (書目-電子資源)

Pro continuous deliverywith Jenkins 2.0 / by: (書目-電子資源)

Software engineeringspecification, implementation, verification / by: (書目-電子資源)

Artificial intelligence and economic theorySkynet in the market / by: (書目-電子資源)

Fetal, infant and ophthalmic medical image analysisInternational Workshop, FIFI 2017, and 4th International Workshop, OMIA 2017, held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14 : proceedings / by: (書目-電子資源)

Conceptual modeling perspectives by: (書目-電子資源)

Social media processing6th National Conference, SMP 2017, Beijing, China, September 14-17, 2017 : proceedings / by: (書目-電子資源)

Simulated evolution and learning11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017 : proceedings / by: (書目-電子資源)

Scientific metricstowards analytical and quantitative sciences / by: (書目-電子資源)

Prioritising business processesdesign and evaluation of the prioritisation and categorisation method (PCM) / by: (書目-電子資源)

International proceedings on advances in soft computing, intelligent systems and applicationsASISA 2016 / by: (書目-電子資源)

Advances in information systems developmentmethods, tools and management / by: (書目-電子資源)

Linked datastoring, querying, and reasoning / by: (書目-電子資源)

Modelling and simulation for autonomous systems4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017 : revised selected papers / by: (書目-電子資源)

Bioinspired optimization methods and their applications8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018 : proceedings / by: (書目-電子資源)

Cyber securitypower and technology / by: (書目-電子資源)

Operations Research and Enterprise Systems6th International Conference, ICORES 2017, Porto, Portugal, February 23-25, 2017 : revised selected papers / by: (書目-電子資源)

Advances in swarm intelligence9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018 : proceedings.Part I / by: (書目-電子資源)

Parallel problem solving from nature - PPSN XV15th International Conference, Coimbra, Portugal, September 8-12, 2018 : proceedings.Part I / by: (書目-電子資源)

Parallel problem solving from nature - PPSN XV15th International Conference, Coimbra, Portugal, September 8-12, 2018 : proceedings.Part II / by: (書目-電子資源)

Graph data managementfundamental issues and recent developments / by: (書目-電子資源)

Models of computation for big data by: (書目-電子資源)

Handbook of dynamic data driven applications systems by: (書目-電子資源)

AI 2018advances in artificial intelligence : 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018 : proceedings / by: (書目-電子資源)

Human mental workloadmodels and applications : second International Symposium, H-WORKLOAD 2018, Amsterdam, The Netherlands, September 20-21, 2018 : revised selected papers / by: (書目-電子資源)

Designing thriving systemsmarrying technical rationality and appreciative systems / by: (書目-電子資源)

Engineering psychology and cognitive ergonomicscognition and design : 14th International Conference, EPCE 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part II / by: (書目-電子資源)

Engineering psychology and cognitive ergonomicscognition and design : 14th International Conference, EPCE 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.Part I / by: (書目-電子資源)

Human aspects of information security, privacy and trust5th International Conference, HAS 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings / by: (書目-電子資源)

Artificial life and evolutionary computation13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10-12, 2018 : revised selected papers / by: (書目-電子資源)

Information processing in medical imaging26th International Conference, IPMI 2019, Hong Kong, China, June 2-7, 2019 : proceedings / by: (書目-電子資源)

Models, mindsets, metathe what, the how, and the why not? : essays dedicated to Bernhard Steffen on the occasion of his 60th birthday / by: (書目-電子資源)

Neural modeling of speech processing and speech learningan introduction / by: (書目-電子資源)

The Internet of Things in the industrial sectorsecurity and device connectivity, smart environments, and industry 4.0 / by: (書目-電子資源)

Advances in information systems developmentdesigning digitalization / by: (書目-電子資源)

Trustworthy cyber-physical systemsa systematic framework towards design and evaluation of trust and trustworthiness / by: (書目-電子資源)

Mathematical optimization theory and operations research18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019 : revised selected papers / by: (書目-電子資源)

Human mental workloadmodels and applications : third International Symposium, H-WORKLOAD 2019, Rome, Italy, November 14-15, 2019 : proceedings / by: (書目-電子資源)

Connectomics in neuroImagingthird International Workshop, CNI 2019, held in conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019 : proceedings / by: (書目-電子資源)

Accelerator programming using directives4th International Workshop, WACCPD 2017, held in conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017 : proceedings / by: (書目-電子資源)

Advances in artificial intelligence18th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2018, Granada, Spain, October 23-26, 2018 : proceedings / by: (書目-電子資源)

Evolving OpenMP for evolving architectures14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018 : proceedings / by: (書目-電子資源)

Intelligence science and big data engineeringvisual data engineering : 9th International Conference, IScIDE 2019, Nanjing, China, October 17-20, 2019 : proceedings.Part I / by: (書目-電子資源)

Intelligence science and big data engineeringbig data and machine learning : 9th International Conference, IScIDE 2019, Nanjing, China, October 17-20, 2019 : proceedings.Part II / by: (書目-電子資源)

Brain informatics12th International Conference, BI 2019, Haikou, China, December 13-15, 2019 : proceedings / by: (書目-電子資源)

Guide to software systems developmentconnecting novel theory and current practice / by: (書目-電子資源)

Real-time linked dataspacesenabling data ecosystems for intelligent systems / by: (書目-電子資源)

Cognitive underwater acoustic networking techniques by: (書目-電子資源)

Computational color imaging7th International Workshop, CCIW 2019, Chiba, Japan, March 27-29, 2019 : proceedings / by: (書目-電子資源)

Evolutionary multi-criterion optimization10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019 : proceedings / by: (書目-電子資源)

Extending the boundaries of design science theory and practice14th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2019, Worcester, MA, USA, June 4-6, 2019 : proceedings / by: (書目-電子資源)

Integration of constraint programming, artificial intelligence, and operations research16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019 : proceedings / by: (書目-電子資源)

Cryptography with shrinking generatorsfundamentals and applications of keystream sequence generators based on irregular decimation / by: (書目-電子資源)

Advances in information systems developmentinformation systems beyond 2020 / by: (書目-電子資源)

Interacting complexities of herds and social organizationsagent based modeling / by: (書目-電子資源)

Advances in simulation and process modellingproceedings of the Second International Symposium on Simulation and Process Modelling (ISSPM 2020) / by: (書目-電子資源)