Models and Principles.

A Software Process Model Handbook for Incorporating People's Capabilities 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: (書目-語言資料,印刷品)

Artificial Intelligence Applications and Innovations = IFIP TC12 WG12.5 - Second IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI2005), September 7-9, 2005, Beijing, China/ 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: (書目-語言資料,印刷品)

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

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

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

Wireless Sensor Networks and Applications by: (書目-語言資料,印刷品)

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

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

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

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

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

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

Software Process Improvement = 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. 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: (書目-語言資料,印刷品)

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

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

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

Applications of Agent Technology in Traffic and Transportation 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: (書目-語言資料,印刷品)

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

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

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

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

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

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

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

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

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

Uncertainty reasoning for the semantic web I = ISWC international workshops, URSW 2005-2007 : revised selected and invited 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: (書目-語言資料,印刷品)

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

Advances in computation and intelligence = third international symposium, ISICA 2008 Wuhan, China, December 19-21, 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 VI = 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 : revised selected and invited papers / 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: (書目-語言資料,印刷品)

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

Intelligent infrastructures by: (書目-語言資料,印刷品)

The engineering of mixed reality systems by: (書目-語言資料,印刷品)

Evolution of 3G networks = the concept, architecture and realization of mobile networks beyond UMTS / by: (書目-語言資料,印刷品)

Graph drawing = 17th international symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009 : revised papers / by: (書目-語言資料,印刷品)

Modelling and management of engineering processes by: (書目-語言資料,印刷品)

Design research in information systems = theory and practice / by: (書目-語言資料,印刷品)

Agent-based service-oriented computing by: (書目-語言資料,印刷品)

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

Business process management = 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, proceedings / by: (書目-語言資料,印刷品)

Queueing theory for telecommunications = discrete time modelling of a single node system / by: (書目-語言資料,印刷品)

Composing software components = a software-testing perspective / by: (書目-語言資料,印刷品)

Run-time models for self-managing systems and applications 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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Speech enhancement in the STFT domain 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: (書目-電子資源)

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

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

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

Behavior computing = modeling, analysis, mining and decision / 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: (書目-電子資源)

Practical aspects of design science = European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011 : 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: (書目-電子資源)

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: (書目-電子資源)

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

Handbook of human centric visualization 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: (書目-電子資源)

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

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

Engineering psychology and cognitive ergonomics = 11th 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 trust = second International Conference, HAS 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014. Proceedings / by: (書目-電子資源)

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

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

Algorithmic game theory = 7th International Symposium, SAGT 2014, Haifa, Israel, September 30 - October 2, 2014 : proceedings / by: (書目-電子資源)

An introduction to design science by: (書目-電子資源)

Natural and artificial reasoning = an exploration of modelling human thinking / by: (書目-電子資源)

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

Haptics = neuroscience, 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 applications = 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014 : revised selected papers / by: (書目-電子資源)

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

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

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

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

Empirical philosophy of science = introducing qualitative methods into philosophy of science / by: (書目-語言資料,印刷品)

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

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

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

Big data technology and applications = first National Conference, BDTA 2015, Harbin, China, December 25-26, 2015 : 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: (書目-電子資源)

Pervasive computing = engineering smart systems / by: (書目-電子資源)

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

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

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

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

Linked data = storing, querying, and reasoning / 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: (書目-電子資源)

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

Evolutionary multi-criterion optimization = 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019 : proceedings / 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: (書目-電子資源)

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

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

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

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

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

Declarative agent languages and technologies VII = 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 : revised selected and invited papers / by: (書目-語言資料,印刷品)

Fundamentals of software engineering = third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009 : revised selected papers / by: (書目-語言資料,印刷品)

Engineering secure software and systems = second international symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010 : proceedings / by: (書目-語言資料,印刷品)

The integrated architecture framework explained = why, what, how / by: (書目-語言資料,印刷品)

Languages, methodologies, and development tools for multi-agent systems = second international workshop, LADS 2009, Torino, Italy, September 7-9, 2009 : revised selected papers / by: (書目-語言資料,印刷品)

Languages and compilers for parallel computing = 22nd international workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009 : revised selected papers / by: (書目-語言資料,印刷品)

Coordination models and languages = 12th international conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010 : proceedings / by: (書目-語言資料,印刷品)

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

A practical guide to brain-computer interfacing with BCI2000 = general-purpose software for brain-computer interface research, data acquisition, stimulus presentation, and brain monitoring / by: (書目-語言資料,印刷品)

Temporal information systems in medicine by: (書目-語言資料,印刷品)

Transactions on computational science IX = special issue on voronoi diagrams in science and engineering / by: (書目-語言資料,印刷品)

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

Testing software and systems = 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings / by: (書目-語言資料,印刷品)

Rewriting logic and its applications = 8th international workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Algorithmic game theory = third international symposium, SAGT 2010, Athens, Greece, October 18-20, 2010 : proceedings / by: (書目-語言資料,印刷品)

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

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

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

Modeling dynamic economic systems 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: (書目-電子資源)

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: (書目-電子資源)

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

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

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

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

Cognitive behavioural systems = COST 2102 International Training School, Dresden, Germany, February 21-26, 2011 : revised selected papers / 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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

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

Multiagent scheduling = models and algorithms / by: (書目-電子資源)

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

Process design for natural scientists = an agile model-driven approach / by: (書目-電子資源)

AsiaSim 2014 = 14th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014 : proceedings / by: (書目-電子資源)

Advances in image and graphics technologies = Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014 : proceedings / by: (書目-電子資源)

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

Engineering secure software and systems = 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 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: (書目-語言資料,印刷品)

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

Designing socially embedded technologies in the real-world 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: (書目-電子資源)

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

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

Engineering secure software and systems = 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

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

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

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

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

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

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

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

Enterprise architecture at work = modelling, communication and analysis / 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: (書目-電子資源)

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

Pro continuous delivery = with Jenkins 2.0 / 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: (書目-電子資源)

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: (書目-電子資源)

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

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

Advances in information systems development = methods, tools and management / 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: (書目-電子資源)

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

Designing thriving systems = marrying technical rationality and appreciative systems / 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: (書目-電子資源)

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

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

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

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

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

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

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

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