Models and Principles.

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

Engineering secure software and systems = 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015 : proceedings / by: (書目-語言資料,印刷品)

Software Process Modeling by: (書目-語言資料,印刷品)

Security Management, Integrity, and Internal Control in Information Systems = IFIP TC-11 WG 11.1 & WG 11.5 Joint Working Conference / by: (書目-語言資料,印刷品)

Designing socially embedded technologies in the real-world by: (書目-語言資料,印刷品)

Architecting Dependable Systems V by: (書目-語言資料,印刷品)

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

Engineering psychology and cognitive ergonomics = 12th 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 trust = third International Conference, HAS 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015 : proceedings / by: (書目-語言資料,印刷品)

Logical Data Modeling = What it is and How to do it / by: (書目-語言資料,印刷品)

Formal Aspects in Security and Trust = IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France / by: (書目-語言資料,印刷品)

Accessible Access 2003 by: (書目-語言資料,印刷品)

Broad scale coastal simulation = new techniques to understand and manage shorelines in the third millennium / by: (書目-語言資料,印刷品)

Languages, Methodologies and Development Tools for Multi-Agent Systems = First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers / by: (書目-語言資料,印刷品)

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

Technology Enhanced Learning = IFIP TC3 Technology Enhanced Learning Workshop (TeL-04), World Computer Congress, August 22-27, 2004, Toulouse, France / by: (書目-語言資料,印刷品)

Collaborative Networks and Their Breeding Environments = IFIP TC5 WG 5.5 Sixth IFIP Working Conference on VIRTUAL ENTERPRISES, 26-28 September, 2005, Valencia, Spain / by: (書目-語言資料,印刷品)

M8.0 Wenchuan earthquake by: (書目-語言資料,印刷品)

Engineering Theories of Software Intensive Systems = Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3-15 August 2004 / by: (書目-語言資料,印刷品)

Form-Oriented Analysis = A New Methodology to Model Form-Based Applications / by: (書目-語言資料,印刷品)

Classification and Modeling with Linguistic Information Granules = Advanced Approaches to Linguistic Data Mining / by: (書目-語言資料,印刷品)

Engineering secure software and systems = third International symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011 : proceedings / by: (書目-語言資料,印刷品)

The evolution of conceptual modeling = from a historical perspective towards the future of conceptual modeling / by: (書目-語言資料,印刷品)

Dynamic formal epistemology by: (書目-語言資料,印刷品)

The Common Component Modeling Example = Comparing Software Component Models / by: (書目-語言資料,印刷品)

Spatial Information Theory : = International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005, Proceedings by: (書目-語言資料,印刷品)

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

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

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

Cognitive Engineering = A Distributed Approach to Machine Intelligence / by: (書目-語言資料,印刷品)

Graph drawing = 18th international symposium, GD 2010, Konstanz, Germany, September 21-24, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Languages and compilers for parallel computing = 23rd international workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Anatomy Ontologies for Bioinformatics = Principles and Practice / by: (書目-語言資料,印刷品)

Fuzzy Database Modeling with XML by: (書目-語言資料,印刷品)

Component-Based Software Testing with UML by: (書目-語言資料,印刷品)

Ontologies for Agents: Theory and Experiences by: (書目-語言資料,印刷品)

Enterprise Architecture at Work = Modelling, Communication, and Analysis / by: (書目-語言資料,印刷品)

A Software Process Model Handbook for Incorporating People's Capabilities by: (書目-語言資料,印刷品)

Languages and Compilers for Parallel Computing = 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers / by: (書目-語言資料,印刷品)

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

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

Architecture principles = the cornerstones of enterprise architecture / by: (書目-語言資料,印刷品)

Declarative Agent Languages and Technologies VIII = 8th international workshop, DALT 2010, Toronto, Canada, May 10, 2010 : revised, selected and invited papers / by: (書目-語言資料,印刷品)

Digital privacy = PRIME - privacy and identity management for Europe / by: (書目-語言資料,印刷品)

Content Delivery Networks by: (書目-語言資料,印刷品)

Transactions on Rough Sets VIII by: (書目-語言資料,印刷品)

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

Conceptual Modeling - ER 2005 : = 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings by: (書目-語言資料,印刷品)

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

Ontologies in urban development projects by: (書目-語言資料,印刷品)

Dependability of networked computer-based systems by: (書目-語言資料,印刷品)

Coordination models and languages = 13th international conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings / by: (書目-語言資料,印刷品)

Top productivity through software reuse = 12th international conference on software reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011 : proceedings / by: (書目-語言資料,印刷品)

ITIL Version 3 at a Glance = Information Quick Reference / by: (書目-語言資料,印刷品)

Advances in computational intelligence = 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Malaga, Spain, June 8-10, 2011 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Advances in Computational Intelligence = 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Malaga, Spain, June 8-10, 2011 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Stream Data Management by: (書目-語言資料,印刷品)

System Modeling and Optimization = Proceedings of the 21st IFIP TC7 Conference held in July 21-25, 2003, Sophia Antipolis, France / by: (書目-語言資料,印刷品)

Industrial Applications of Semantic Web = Proceedings of the 1st IFIP WG12.5 Working Conference on Industrial Applications of Semantic Web, August 25-27, 2005, Jyvaskyla, Finland / by: (書目-語言資料,印刷品)

Adapting Proofs-as-Programs = The Curry-Howard Protocol / by: (書目-語言資料,印刷品)

Objects, Components, Models and Patterns = 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings / by: (書目-語言資料,印刷品)

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

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

Conceptual Modeling - ER 2009 = 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009 : Proceedings / by: (書目-語言資料,印刷品)

The semantic Web = fourth Asian conference, ASWC 2009, Shanghai, China, December 6-9, 2009 : proceedings / by: (書目-語言資料,印刷品)

Transactions on petri nets and other models of concurrency III by: (書目-語言資料,印刷品)

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

Rule interchange and applications = international symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5 - 7, 2009 : proceedings / by: (書目-語言資料,印刷品)

Advances in machine learning = First Asian Conference on Machine Learning, ACML 2009, Nanjing, China, November 2-4, 2009 : proceedings / by: (書目-語言資料,印刷品)

Formal methods and software engineering = 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings / by: (書目-語言資料,印刷品)

Journal on data semantics XIV by: (書目-語言資料,印刷品)

Computational Intelligence and Intelligent Systems = 4th International Symposium, ISICA 2009, Huangshi, China, October 23-25, 2009 : proceedings / by: (書目-語言資料,印刷品)

Advances in Software Engineering = International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers / by: (書目-語言資料,印刷品)

Algorithmic game theory = second international symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009 : proceedings / by: (書目-語言資料,印刷品)

Transactions on aspect-oriented software development VI = special issue on aspects and model-driven engineering / by: (書目-語言資料,印刷品)

Computational collective intelligence = semantic web, social networks and multiagent systems : first International Conference, ICCCI 2009, Wrocaw, Poland, October 5-7, 2009 : proceedings / by: (書目-語言資料,印刷品)

Architecting dependable systems VI by: (書目-語言資料,印刷品)

Nano-Net = 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009 : proceedings / by: (書目-語言資料,印刷品)

Algebra and coalgebra in computer science = third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings / by: (書目-語言資料,印刷品)

Unconventional computation = 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009 : proceedings / by: (書目-語言資料,印刷品)

Spatial information theory = 9th international conference, COSIT 2009, Aber Wrac'h, France, September 21-25, 2009 : proceedings / by: (書目-語言資料,印刷品)

CONCUR 2009 - concurrency theory = 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings / by: (書目-語言資料,印刷品)

Formal foundations of reuse and domain engineering = 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009 : proceedings / by: (書目-語言資料,印刷品)

Formal modeling and analysis of timed systems = 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / by: (書目-語言資料,印刷品)

Algorithmic learning theory = 20th International Conference, ALT 2009, Porto, Portugal, October 3-5, 2009 : proceedings / by: (書目-語言資料,印刷品)

Advances in neuro-information processing = 15th international conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008 ; revised selected papers.. Part I / by: (書目-語言資料,印刷品)

Computational logic in multi-agent systems = b9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 ; revised selected and invited papers / by: (書目-語言資料,印刷品)

Advances in neuro-information processing = 15th international conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008 ; revised selected papers.. Part II / by: (書目-語言資料,印刷品)

Software process improvement = 16th European conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009 : proceedings / by: (書目-語言資料,印刷品)

Theorem proving in higher order logics = 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : Proceedings / by: (書目-語言資料,印刷品)

Engineering Web applications by: (書目-語言資料,印刷品)

Distributed user interfaces = designing interfaces for the distributed ecosystem / by: (書目-語言資料,印刷品)

Testing software and systems = 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7-10, 2011 : proceedings / by: (書目-語言資料,印刷品)

Designing sorting networks = a new paradigm / by: (書目-語言資料,印刷品)

Advances in machine learning : = First Asian Conference on Machine Learning, ACML 2009, Nanjing, China, November 2-4, 2009 : proceedings / by: (書目-語言資料,印刷品)

Advances in Software Engineering : = International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers / by: (書目-語言資料,印刷品)

Theory-guided modeling and empiricism in information systems research by: (書目-語言資料,印刷品)

Algorithmic game theory = 4th international symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011 : proceedings / by: (書目-語言資料,印刷品)

Spatial information theory = 10th international conference, COSIT 2011, Belfast, ME, USA, September 12-16, 2011 : proceedings / by: (書目-語言資料,印刷品)

Ontology-based application integration by: (書目-語言資料,印刷品)

Languages, methodologies, and development tools for multi-agent systems = third international workshop, LADS 2010, Lyon, France, August 30 - September 1, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Algebra and coalgebra in computer science = 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings / by: (書目-語言資料,印刷品)

Wireless Sensor Networks and Applications by: (書目-電子資源)

Algorithmic game theory = 8th International Symposium, SAGT 2015, Saarbrucken, Germany, September 28-30, 2015 : proceedings / by: (書目-語言資料,印刷品)

Requirements engineering in the big data era = Second Asia Pacific Symposium, APRES 2015, Wuhan, China, October 18-20, 2015 : proceedings / by: (書目-語言資料,印刷品)

Enterprise architecture at work = modelling, communication and analysis / by: (書目-語言資料,印刷品)

Distributed programming = theory and practice / by: (書目-語言資料,印刷品)

Languages and compilers for parallel computing = 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers / by: (書目-語言資料,印刷品)

Understanding statistics using R by: (書目-語言資料,印刷品)

Engineering secure software and systems = 5th international symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013 : proceedings / by: (書目-語言資料,印刷品)

Graph drawing = 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Evolution of semantic systems by: (書目-語言資料,印刷品)

Natural computing and beyond = Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012 : proceedings / by: (書目-語言資料,印刷品)

Concepts, ontologies, and knowledge representation by: (書目-語言資料,印刷品)

Advances in computational intelligence = 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Advances in computational intelligence = 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Design science at the intersection of physical and virtual design = 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013 : proceedings / by: (書目-語言資料,印刷品)

Safe and secure software reuse = 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20 : proceedings / by: (書目-語言資料,印刷品)

Virtual, augmented and mixed reality = designing and developing augmented and virtual environments : 5th International Conference, VAMR 2013, held as part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Mapping scientific frontiers = the quest for knowledge visualization / by: (書目-語言資料,印刷品)

Software engineering = a hands-on approach / by: (書目-語言資料,印刷品)

Human interface and the management of information = information and interaction for learning, culture, collaboration and business ; 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013 : proceedings.. Part III / by: (書目-語言資料,印刷品)

Design, user experience, and usability = user experience in novel technological environments : second International Conference, DUXU 2013, held as part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013 : proceedings.. Part III / by: (書目-語言資料,印刷品)

Design, user experience, and usability = web, mobile, and product design : second international Conference, DUXU 2013, held as part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013 : proceedings.. Part IV / by: (書目-語言資料,印刷品)

Distributed, ambient, and pervasive interactions = first International Conference, DAPI 2013, held as part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013 : proceedings / by: (書目-語言資料,印刷品)

Engineering psychology and cognitive ergonomics = applications and services : 10th International Conference, EPCE 2013, held as part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Engineering psychology and cognitive ergonomics = understanding human cognition : 10th International Conference, EPCE 2013, held as part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Haptic and audio interaction design = 8th International Workshop, HAID 2013, Daejeon, Korea, April 18-19, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

Advances in artificial intelligence - IBERAMIA 2008 = 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008 : proceedings / by: (書目-語言資料,印刷品)

Component-based software engineering = 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings / by: (書目-語言資料,印刷品)

Conceptual modeling - ER 2008 = 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008 : proceedings / by: (書目-語言資料,印刷品)

Formal methods and software engineering = 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings / by: (書目-語言資料,印刷品)

Learning classifier systems = 10th 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 computing = IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008 : proceedings / by: (書目-語言資料,印刷品)

Rule representation, interchange and reasoning on the web = international symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008 : proceedings / by: (書目-語言資料,印刷品)

Self-sustaining systems = first workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 : revised selected papers / by: (書目-語言資料,印刷品)

Incomplete information system and rough set theory = models and attribute reductions / by: (書目-語言資料,印刷品)

Shaping the future of ICT research = methods and approaches : IFIP WG 8.2, Working Conference, Tampa, FL, USA, December 13-14, 2012 : proceedings / by: (書目-語言資料,印刷品)

Cognitive behavioural systems = COST 2102 International Training School, Dresden, Germany, February 21-26, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Practical aspects of design science = European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Theoretical foundations of artificial general intelligence by: (書目-語言資料,印刷品)

Information from processes = about 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: (書目-語言資料,印刷品)

The semantic web = Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011 : proceedings / by: (書目-語言資料,印刷品)

Coordination models and languages = 14th 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: (書目-語言資料,印刷品)

AsiaSim 2013 = 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013 : proceedings / by: (書目-語言資料,印刷品)

Algorithmic game theory = 6th International Symposium, SAGT 2013, Aachen, Germany, October 21-23, 2013 : proceedings / by: (書目-語言資料,印刷品)

Speech enhancement in the STFT domain by: (書目-語言資料,印刷品)

Haptic systems architecture modeling by: (書目-語言資料,印刷品)

Graph drawing = 19th international symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Interactive 3D multimedia content = models for creation, management, search and presentation / by: (書目-語言資料,印刷品)

Modeling dynamic economic systems by: (書目-語言資料,印刷品)

Engineering secure software and systems = 4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings / by: (書目-語言資料,印刷品)

Conceptual modelling and its theoretical foundations = essays 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 IX = 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011 : revised selected and invited papers / by: (書目-語言資料,印刷品)

Business processes for business communities = modeling languages, methods, tools / by: (書目-語言資料,印刷品)

Utility maximization in nonconvex wireless systems by: (書目-語言資料,印刷品)

Agile service development = combining adaptive methods and flexible solutions / by: (書目-語言資料,印刷品)

Fundamentals of software engineering = 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Behavior computing = modeling, analysis, mining and decision / 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 VI = 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 : revised selected and invited papers / by: (書目-語言資料,印刷品)

Enterprise, business-process and information systems modeling = 10th International Workshop, BPMDS 2009 and 14th International Conference, EMMSAD 2009 held at CAiSE 2009 Amsterdam, The Netherlands, June 8-9, 2009 : proceedings / by: (書目-語言資料,印刷品)

Argumentation in multi-agent systems = fifth 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: (書目-語言資料,印刷品)

Web services and formal methods = 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers / by: (書目-語言資料,印刷品)

Trustworthy software development processes = International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 ; Proceedings / by: (書目-語言資料,印刷品)

Object oriented simulation = a modeling and programming perspective / by: (書目-語言資料,印刷品)

Multi tenancy for cloud-based in-memory column databases = workload management and data placement / by: (書目-語言資料,印刷品)

Benchmarking transaction and analytical processing systems = the creation of a mixed workload benchmark and its application / by: (書目-語言資料,印刷品)

Handbook of human centric visualization by: (書目-語言資料,印刷品)

Compliance management in financial industries = a model-based business process and reporting perspective / by: (書目-語言資料,印刷品)

Multiagent scheduling = models and algorithms / by: (書目-語言資料,印刷品)

Post-optimal analysis in linear semi-infinite optimization by: (書目-語言資料,印刷品)

Cloud computing patterns = fundamentals to design, build, and manage cloud applications / by: (書目-語言資料,印刷品)

Engineering secure software and systems = 6th 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 Dynamics = 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers / by: (書目-語言資料,印刷品)

Nutrient use efficiency = from basics to advances / by: (書目-語言資料,印刷品)

Modeling of tropospheric delays using ANFIS by: (書目-語言資料,印刷品)

Distributed simulation = a model driven engineering approach / by: (書目-語言資料,印刷品)

Big data technology and applications = first National Conference, BDTA 2015, Harbin, China, December 25-26, 2015 : proceedings / by: (書目-語言資料,印刷品)

Engineering secure software and systems = 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016 : proceedings / by: (書目-語言資料,印刷品)

Engineering psychology and cognitive ergonomics = 13th International Conference, EPCE 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016 : proceedings / by: (書目-語言資料,印刷品)

Human aspects of information security, privacy, and trust = 4th international conference, HAS 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016 : proceedings / by: (書目-語言資料,印刷品)

Seminal contributions to modelling and simulation = 30 years of the European Council of Modelling and Simulation / by: (書目-語言資料,印刷品)

Domain-specific conceptual modeling = concepts, methods and tools / by: (書目-語言資料,印刷品)

Haptics = perception, devices, control, and applications : 10th Iternational Conference, EuroHaptics 2016, London, UK, July 4-7, 2016 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Haptics = perception, devices, control, and applications : 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Information technologies and mathematical modelling = queueing 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 applications = 11th International Workshop, WRLA 2016, held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016 : revised selected papers / by: (書目-語言資料,印刷品)

Algorithmic game theory = 9th International Symposium, SAGT 2016, Liverpool, UK, September 19-21, 2016 : proceedings / by: (書目-語言資料,印刷品)

Concise guide to computing foundations = core concepts and select scientific applications / by: (書目-語言資料,印刷品)

Scala = from a functional programming perspective : an introduction to the programming language / by: (書目-語言資料,印刷品)

Software developers as users = semiotic investigations in human-centered software development / by: (書目-語言資料,印刷品)

Smart collaborative identifier network = a promising design of future internet / by: (書目-語言資料,印刷品)

Complexity in information systems development = proceedings of the 25th International Conference on Information Systems Development / by: (書目-語言資料,印刷品)

Software project management for distributed computing = life-cycle methods for developing scalable and reliable tools / by: (書目-語言資料,印刷品)

Designing the digital transformation = 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017 : proceedings / by: (書目-語言資料,印刷品)

Conceptual modeling perspectives by: (書目-語言資料,印刷品)

Social media processing = 6th National Conference, SMP 2017, Beijing, China, September 14-17, 2017 : proceedings / by: (書目-語言資料,印刷品)

Simulated evolution and learning = 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017 : proceedings / by: (書目-語言資料,印刷品)

Scientific metrics = towards analytical and quantitative sciences / by: (書目-語言資料,印刷品)

Human mental workload = models and applications : first International Symposium, H-WORKLOAD 2017, Dublin, Ireland, June 28-30, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

TRIZ - the theory of inventive problem solving = current research and trends in French academic institutions / by: (書目-語言資料,印刷品)

Pro continuous delivery = with Jenkins 2.0 / by: (書目-語言資料,印刷品)

Software engineering = specification, implementation, verification / by: (書目-語言資料,印刷品)

Artificial intelligence and economic theory = Skynet in the market / by: (書目-語言資料,印刷品)

Fetal, infant and ophthalmic medical image analysis = International Workshop, FIFI 2017, and 4th International Workshop, OMIA 2017, held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14 : proceedings / by: (書目-語言資料,印刷品)

Advances in information systems development = methods, tools and management / by: (書目-語言資料,印刷品)

Linked data = storing, querying, and reasoning / by: (書目-語言資料,印刷品)

Modelling and simulation for autonomous systems = 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Bioinspired optimization methods and their applications = 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018 : proceedings / by: (書目-語言資料,印刷品)

Cyber security = power and technology / by: (書目-語言資料,印刷品)

Operations Research and Enterprise Systems = 6th International Conference, ICORES 2017, Porto, Portugal, February 23-25, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Advances in swarm intelligence = 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Parallel problem solving from nature - PPSN XV = 15th International Conference, Coimbra, Portugal, September 8-12, 2018 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Parallel problem solving from nature - PPSN XV = 15th International Conference, Coimbra, Portugal, September 8-12, 2018 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Graph data management = fundamental issues and recent developments / by: (書目-語言資料,印刷品)

Handbook of dynamic data driven applications systems by: (書目-語言資料,印刷品)

AI 2018 = advances in artificial intelligence : 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018 : proceedings / by: (書目-語言資料,印刷品)

Models of computation for big data by: (書目-語言資料,印刷品)

Engineering psychology and cognitive ergonomics = cognition 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 ergonomics = cognition 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 trust = 5th International Conference, HAS 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings / by: (書目-語言資料,印刷品)

Artificial life and evolutionary computation = 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10-12, 2018 : revised selected papers / by: (書目-語言資料,印刷品)

Information processing in medical imaging = 26th International Conference, IPMI 2019, Hong Kong, China, June 2-7, 2019 : proceedings / by: (書目-語言資料,印刷品)

Models, mindsets, meta = the 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 learning = an introduction / by: (書目-語言資料,印刷品)

The Internet of Things in the industrial sector = security and device connectivity, smart environments, and industry 4.0 / by: (書目-語言資料,印刷品)

Advances in information systems development = designing digitalization / by: (書目-語言資料,印刷品)

Trustworthy cyber-physical systems = a systematic framework towards design and evaluation of trust and trustworthiness / by: (書目-語言資料,印刷品)

Forecast error correction using dynamic data assimilation by: (書目-語言資料,印刷品)

Self-aware computing systems by: (書目-語言資料,印刷品)

Pervasive computing = engineering smart systems / by: (書目-語言資料,印刷品)

Evolutionary multi-criterion optimization = 9th International Conference, EMO 2017, Munster, Germany, March 19-22, 2017 : proceedings / by: (書目-語言資料,印刷品)

Designing Socially Embedded Technologies in the Real-World by: (書目-語言資料,印刷品)

New Horizons in Design Science: Broadening the Research Agenda = 10th International Conference, DESRIST 2015, Dublin, Ireland, May 20-22, 2015, Proceedings / by: (書目-語言資料,印刷品)

Advances in Computational Intelligence = 13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 10-12, 2015. Proceedings, Part I / by: (書目-語言資料,印刷品)

Beyond Databases, Architectures and Structures = 11th International Conference, BDAS 2015, Ustroń, Poland, May 26-29, 2015, Proceedings / by: (書目-語言資料,印刷品)

Engineering Secure Software and Systems = 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings / by: (書目-語言資料,印刷品)

Broad Scale Coastal Simulation = New Techniques to Understand and Manage Shorelines in the Third Millennium / by: (書目-語言資料,印刷品)

Engineering Psychology and Cognitive Ergonomics = 12th International Conference, EPCE 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings / by: (書目-語言資料,印刷品)

Prozessmodellierung mit ARIS® = Eine beispielorientierte Einführung für Studium und Praxis in ARIS 9 / by: (書目-語言資料,印刷品)

Empirical Philosophy of Science = Introducing Qualitative Methods into Philosophy of Science / by: (書目-語言資料,印刷品)

Patterns of HCI Design and HCI Design of Patterns = Bridging HCI Design and Model-Driven Software Engineering / by: (書目-語言資料,印刷品)

Requirements Engineering in the Big Data Era = Second Asia Pacific Symposium, APRES 2015, Wuhan, China, October 18–20, 2015, Proceedings / by: (書目-語言資料,印刷品)

Nutrient Use Efficiency: from Basics to Advances by: (書目-語言資料,印刷品)

Algorithmic Game Theory = 8th International Symposium, SAGT 2015, Saarbrücken, Germany, September 28-30, 2015. Proceedings / by: (書目-語言資料,印刷品)

Advances in Computational Intelligence = 13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 10-12, 2015. Proceedings, Part II / by: (書目-語言資料,印刷品)

Human Aspects of Information Security, Privacy, and Trust = Third International Conference, HAS 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings / by: (書目-語言資料,印刷品)

Pattern and Security Requirements = Engineering-Based Establishment of Security Standards / by: (書目-語言資料,印刷品)

Information Technologies and Mathematical Modelling: Queueing Theory and Applications = 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings / by: (書目-語言資料,印刷品)

Scala: From a Functional Programming Perspective = An Introduction to the Programming Language / by: (書目-語言資料,印刷品)

Distributed Simulation = A Model Driven Engineering Approach / by: (書目-語言資料,印刷品)

Concise Guide to Computing Foundations = Core Concepts and Select Scientific Applications / by: (書目-語言資料,印刷品)

Modeling of Tropospheric Delays Using ANFIS by: (書目-語言資料,印刷品)

Seminal Contributions to Modelling and Simulation = 30 Years of the European Council of Modelling and Simulation / by: (書目-語言資料,印刷品)

Domain-Specific Conceptual Modeling = Concepts, Methods and Tools / by: (書目-語言資料,印刷品)

Software Developers as Users = Semiotic Investigations in Human-Centered Software Development / by: (書目-語言資料,印刷品)

Abbildung von Synergiepotenzialen zwischen IT-Anforderungen in Scrum by: (書目-語言資料,印刷品)

Smart Collaborative Identifier Network = A Promising Design for Future Internet / by: (書目-語言資料,印刷品)

Engineering Psychology and Cognitive Ergonomics = 13th International Conference, EPCE 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings / by: (書目-語言資料,印刷品)

Haptics: Perception, Devices, Control, and Applications = 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part I / by: (書目-語言資料,印刷品)

Tackling Society's Grand Challenges with Design Science = 11th International Conference, DESRIST 2016, St. John’s, NL, Canada, May 23-25, 2016, Proceedings / by: (書目-語言資料,印刷品)

Haptics: Perception, Devices, Control, and Applications = 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part II / by: (書目-語言資料,印刷品)

Advances in Swarm Intelligence = 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II / by: (書目-語言資料,印刷品)

Engineering Secure Software and Systems = 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings / by: (書目-語言資料,印刷品)

Advances in Swarm Intelligence = 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I / by: (書目-語言資料,印刷品)

Algorithmic Game Theory = 9th International Symposium, SAGT 2016, Liverpool, UK, September 19–21, 2016, Proceedings / by: (書目-語言資料,印刷品)

Rewriting Logic and Its Applications = 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Human Aspects of Information Security, Privacy, and Trust = 4th International Conference, HAS 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings / by: (書目-語言資料,印刷品)

Big Data Technology and Applications = First National Conference, BDTA 2015, Harbin, China, December 25-26, 2015. Proceedings / by: (書目-語言資料,印刷品)

Evolving OpenMP for Evolving Architectures = 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings / by: (書目-語言資料,印刷品)

AI 2018: Advances in Artificial Intelligence = 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings / by: (書目-語言資料,印刷品)

Models of Computation for Big Data by: (書目-語言資料,印刷品)

Advances in Artificial Intelligence = 18th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2018, Granada, Spain, October 23–26, 2018, Proceedings / by: (書目-語言資料,印刷品)

Parallel Problem Solving from Nature – PPSN XV = 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Handbook of Dynamic Data Driven Applications Systems by: (書目-語言資料,印刷品)

Graph Data Management = Fundamental Issues and Recent Developments / by: (書目-語言資料,印刷品)

Parallel Problem Solving from Nature – PPSN XV = 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

International Proceedings on Advances in Soft Computing, Intelligent Systems and Applications = ASISA 2016 / by: (書目-語言資料,印刷品)

Infrastruktur für ein Data Mining Design Framework = Eine Untersuchung mit Fallbeispielen / by: (書目-語言資料,印刷品)

Accelerator Programming Using Directives = 4th 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 Information Systems Development = Methods, Tools and Management / by: (書目-語言資料,印刷品)

Cyber Security: Power and Technology by: (書目-語言資料,印刷品)

Bioinspired Optimization Methods and Their Applications = 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings / by: (書目-語言資料,印刷品)

Modelling and Simulation for Autonomous Systems = 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Swarm Intelligence = 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Operations Research and Enterprise Systems = 6th International Conference, ICORES 2017, Porto, Portugal, February 23–25, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Linked Data = Storing, Querying, and Reasoning / by: (書目-語言資料,印刷品)

Prioritising Business Processes = Design and Evaluation of the Prioritisation and Categorisation Method (PCM) / by: (書目-語言資料,印刷品)

Neuronale Modellierung der Sprachverarbeitung und des Sprachlernens = Eine Einführung / by: (書目-語言資料,印刷品)

The Internet of Things in the Industrial Sector = Security and Device Connectivity, Smart Environments, and Industry 4.0 / by: (書目-語言資料,印刷品)

Designing Thriving Systems = Marrying Technical Rationality and Appreciative Systems / by: (書目-語言資料,印刷品)

Connectomics in NeuroImaging = Third International Workshop, CNI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings / by: (書目-語言資料,印刷品)

Models, Mindsets, Meta: The What, the How, and the Why Not? = Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday / by: (書目-語言資料,印刷品)

Evolutionary Multi-Criterion Optimization = 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings / by: (書目-語言資料,印刷品)

Entwicklung einer Methodik für die durchgängige Integration von Hardware und Softwaremodellen in Simulationen für Fahrfunktionen by: (書目-語言資料,印刷品)

Advances in Information Systems Development = Designing Digitalization / by: (書目-語言資料,印刷品)

Intelligence Science and Big Data Engineering. Visual Data Engineering = 9th International Conference, IScIDE 2019, Nanjing, China, October 17–20, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Intelligence Science and Big Data Engineering. Big Data and Machine Learning = 9th International Conference, IScIDE 2019, Nanjing, China, October 17–20, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Computational Color Imaging = 7th International Workshop, CCIW 2019, Chiba, Japan, March 27-29, 2019, Proceedings / by: (書目-語言資料,印刷品)

Artificial Life and Evolutionary Computation = 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Brain Informatics = 12th International Conference, BI 2019, Haikou, China, December 13–15, 2019, Proceedings / by: (書目-語言資料,印刷品)

Human Mental Workload: Models and Applications = Third International Symposium, H-WORKLOAD 2019, Rome, Italy, November 14–15, 2019, Proceedings / by: (書目-語言資料,印刷品)

Integration of Constraint Programming, Artificial Intelligence, and Operations Research = 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings / by: (書目-語言資料,印刷品)

Trustworthy Cyber-Physical Systems = A Systematic Framework towards Design and Evaluation of Trust and Trustworthiness / by: (書目-語言資料,印刷品)

Information Processing in Medical Imaging = 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings / by: (書目-語言資料,印刷品)

Mathematical Optimization Theory and Operations Research = 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Cryptography with Shrinking Generators = Fundamentals and Applications of Keystream Sequence Generators Based on Irregular Decimation / by: (書目-語言資料,印刷品)

Neural Modeling of Speech Processing and Speech Learning = An Introduction / by: (書目-語言資料,印刷品)

Extending the Boundaries of Design Science Theory and Practice = 14th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2019, Worcester, MA, USA, June 4–6, 2019, Proceedings / by: (書目-語言資料,印刷品)

Human Mental Workload: Models and Applications = Second International Symposium, H-WORKLOAD 2018, Amsterdam, The Netherlands, September 20-21, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)