Models and Principles.

Content Delivery Networks by: (Electronic resources)

Languages, Methodologies and Development Tools for Multi-Agent SystemsFirst International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers / by: (Electronic resources)

Transactions on Rough Sets VIII by: (Electronic resources)

Languages and Compilers for Parallel Computing20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers / by: (Electronic resources)

The Common Component Modeling ExampleComparing Software Component Models / by: (Electronic resources)

Architecting Dependable Systems V by: (Electronic resources)

ARIS design platformadvanced process modelling and administration / by: (Language materials, printed)

Formal modeling and analysis of timed systems6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings / by: (Language materials, printed)

Computer performance engineering5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008 : proceedings / by: (Language materials, printed)

The challenge of anticipationa unifying framework for the analysis and design of artificial cognitive systems / by: (Language materials, printed)

Verified software: theories, tools, experimentssecond international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings / by: (Language materials, printed)

Artificial intelligence : theories, models and applications5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008 ; proceedings / by: (Language materials, printed)

Software architecturesecond European conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 proceedings / by: (Language materials, printed)

Software Process Improvement15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings / by: (Language materials, printed)

Languages and compilers for parallel computing21st international workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008 : revised selected papers / by: (Language materials, printed)

Uncertainty reasoning for the semantic web IISWC international workshops, URSW 2005-2007 : revised selected and invited papers / by: (Language materials, printed)

Innovations for requirements analysis :from stakeholders' needs to formal designs14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007, revised selected papers / by: (Language materials, printed)

Transactions on rough sets IX by: (Language materials, printed)

Advances in computation and intelligencethird international symposium, ISICA 2008 Wuhan, China, December 19-21, 2008, proceedings / by: (Language materials, printed)

Systems and virtualization managementstandards and new technologies : second international workshop, SVM 2008, Munich, Germany, October 21-22, 2008, proceedings / by: (Language materials, printed)

Data mining for business applications by: (Electronic resources)

(Re)searching the digital Bauhaus by: (Electronic resources)

Dynamic modeling of diseases and pests by: (Electronic resources)

Declarative agent languages and technologies VI6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 : revised selected and invited papers / by: (Electronic resources)

Argumentation in multi-agent systemsfifth international workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008 ; revised selected and invited papers / by: (Electronic resources)

Transactions on petri nets and other models of concurrency.II,Special issue on concurrency in process-aware information systems by: (Electronic resources)

Turbulence nature and the inverse problem by: (Electronic resources)

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: (Electronic resources)

Web services and formal methods5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers / by: (Electronic resources)

Trustworthy software development processesInternational Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 ; Proceedings / by: (Electronic resources)

Object oriented simulationa modeling and programming perspective / by: (Electronic resources)

Knowledge management and organizational learning by: (Electronic resources)

Representation and management of narrative informationtheoretical principles and implementation / by: (Electronic resources)

Nano-NetThird International ICST Conference, NanoNet 2008, Boston, MA, USA, September 14-16, 2008, revised selected papers / by: (Electronic resources)

Objects, components, models and patterns47th international conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29 - July 3, 2009 : proceedings / by: (Electronic resources)

Requirements engineering, foundation for software quality15th International Working Conference, REFSQ 2009, Amsterdam, the Netherlands, June 8-9, 2009 : proceedings / by: (Electronic resources)

Coordination models and languages11th International Conference, COORDINATION 2009 Lisbon, Portugal, June 9-12, 2009 : proceedings / by: (Electronic resources)

Component-based software engineering12th international symposium, CBSE 2009, East Stroudsburg, Pa, USA, June 24-26, 2009 : proceedings / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Computer performance engineering6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009 ; proceedings / by: (Electronic resources)

Rough sets and knowledge technology4th international conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009 ; proceedings / by: (Electronic resources)

Verification and control of hybrid systemsa symbolic approach / by: (Electronic resources)

Enterprise architecture at workmodelling, communication and analysis / by: (Electronic resources)

Learning Network Services for Professional Development by: (Electronic resources)

Software process improvement16th European conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009 : proceedings / by: (Electronic resources)

Advances in neuro-information processing15th international conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008 ; revised selected papers.Part I / by: (Electronic resources)

Computational logic in multi-agent systemsb9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 ; revised selected and invited papers / by: (Electronic resources)

Advances in neuro-information processing15th international conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008 ; revised selected papers.Part II / by: (Electronic resources)

Theorem proving in higher order logics22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : Proceedings / by: (Electronic resources)

Algebra and coalgebra in computer sciencethird international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings / by: (Electronic resources)

Unconventional computation8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009 : proceedings / by: (Electronic resources)

Spatial information theory9th international conference, COSIT 2009, Aber Wrac'h, France, September 21-25, 2009 : proceedings / by: (Electronic resources)

CONCUR 2009 - concurrency theory20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings / by: (Electronic resources)

Formal foundations of reuse and domain engineering11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009 : proceedings / by: (Electronic resources)

Formal modeling and analysis of timed systems7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / by: (Electronic resources)

Algorithmic learning theory20th International Conference, ALT 2009, Porto, Portugal, October 3-5, 2009 : proceedings / by: (Electronic resources)

Transactions on aspect-oriented software development VIspecial issue on aspects and model-driven engineering / by: (Electronic resources)

Computational collective intelligencesemantic web, social networks and multiagent systems : first International Conference, ICCCI 2009, Wrocaw, Poland, October 5-7, 2009 : proceedings / by: (Electronic resources)

Algorithmic game theorysecond international symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009 : proceedings / by: (Electronic resources)

Architecting dependable systems VI by: (Electronic resources)

Nano-Net4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009 : proceedings / by: (Electronic resources)

Conceptual Modeling - ER 200928th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009 : Proceedings / by: (Electronic resources)

Transactions on petri nets and other models of concurrency III by: (Electronic resources)

Rule interchange and applicationsinternational symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5 - 7, 2009 : proceedings / by: (Electronic resources)

Advances in machine learningFirst Asian Conference on Machine Learning, ACML 2009, Nanjing, China, November 2-4, 2009 : proceedings / by: (Electronic resources)

Formal methods and software engineering11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings / by: (Electronic resources)

Journal on data semantics XIV by: (Electronic resources)

Learning and intelligent optimizationthird international conference, LION 3, Trento, Italy, January 14-18, 2009 : selected papers / by: (Language materials, printed)

Computational Intelligence and Intelligent Systems4th International Symposium, ISICA 2009, Huangshi, China, October 23-25, 2009 : proceedings / by: (Electronic resources)

Advances in Software EngineeringInternational Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers / by: (Electronic resources)

The semantic Webfourth Asian conference, ASWC 2009, Shanghai, China, December 6-9, 2009 : proceedings / by: (Electronic resources)

Intelligent infrastructures by: (Electronic resources)

The engineering of mixed reality systems by: (Electronic resources)

Declarative agent languages and technologies VII7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 : revised selected and invited papers / by: (Electronic resources)

Evolution of 3G networksthe concept, architecture and realization of mobile networks beyond UMTS / by: (Electronic resources)

Fundamentals of software engineeringthird IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009 : revised selected papers / by: (Electronic resources)

Engineering secure software and systemssecond international symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010 : proceedings / by: (Electronic resources)

Graph drawing17th international symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009 : revised papers / by: (Electronic resources)

The integrated architecture framework explainedwhy, what, how / by: (Electronic resources)

Languages, methodologies, and development tools for multi-agent systemssecond international workshop, LADS 2009, Torino, Italy, September 7-9, 2009 : revised selected papers / by: (Electronic resources)

Languages and compilers for parallel computing22nd international workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009 : revised selected papers / by: (Electronic resources)

Coordination models and languages12th international conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010 : proceedings / by: (Electronic resources)

Modelling and management of engineering processes by: (Electronic resources)

Engineering Web applications by: (Electronic resources)

Design research in information systemstheory and practice / by: (Electronic resources)

Agent-based service-oriented computing by: (Electronic resources)

A practical guide to brain-computer interfacing with BCI2000general-purpose software for brain-computer interface research, data acquisition, stimulus presentation, and brain monitoring / by: (Electronic resources)

Temporal information systems in medicine by: (Electronic resources)

Replicationtheory and practice / by: (Electronic resources)

Queueing theory for telecommunicationsdiscrete time modelling of a single node system / by: (Electronic resources)

Composing software componentsa software-testing perspective / by: (Electronic resources)

Canadian semantic webtechnologies and applications / by: (Language materials, printed)

Business process management8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, proceedings / by: (Electronic resources)

Transactions on computational science IXspecial issue on voronoi diagrams in science and engineering / by: (Electronic resources)

Testing software and systems22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Algorithmic game theorythird international symposium, SAGT 2010, Athens, Greece, October 18-20, 2010 : proceedings / by: (Electronic resources)

Architecting dependable systems VII by: (Electronic resources)

Run-time models for self-managing systems and applications by: (Electronic resources)

Transactions on Petri nets and other models of concurrency IV by: (Electronic resources)

M8.0 Wenchuan earthquake by: (Electronic resources)

Engineering secure software and systemsthird International symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011 : proceedings / by: (Electronic resources)

The evolution of conceptual modelingfrom a historical perspective towards the future of conceptual modeling / by: (Electronic resources)

Dynamic formal epistemology by: (Electronic resources)

Graph drawing18th international symposium, GD 2010, Konstanz, Germany, September 21-24, 2010 : revised selected papers / by: (Electronic resources)

Languages and compilers for parallel computing23rd international workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010 : revised selected papers / by: (Electronic resources)

Architecture principlesthe cornerstones of enterprise architecture / by: (Electronic resources)

Declarative Agent Languages and Technologies VIII8th international workshop, DALT 2010, Toronto, Canada, May 10, 2010 : revised, selected and invited papers / by: (Electronic resources)

Digital privacyPRIME - privacy and identity management for Europe / by: (Electronic resources)

Advances in computational intelligence11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Malaga, Spain, June 8-10, 2011 : proceedings.Part I / by: (Electronic resources)

Advances in Computational Intelligence11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Malaga, Spain, June 8-10, 2011 : proceedings.Part II / by: (Electronic resources)

Coordination models and languages13th international conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings / by: (Electronic resources)

Top productivity through software reuse12th international conference on software reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011 : proceedings / by: (Electronic resources)

Ontologies in urban development projects by: (Electronic resources)

Dependability of networked computer-based systems by: (Electronic resources)

Languages, methodologies, and development tools for multi-agent systemsthird international workshop, LADS 2010, Lyon, France, August 30 - September 1, 2010 : revised selected papers / by: (Electronic resources)

Algebra and coalgebra in computer science4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings / by: (Electronic resources)

Spatial information theory10th international conference, COSIT 2011, Belfast, ME, USA, September 12-16, 2011 : proceedings / by: (Electronic resources)

Ontology-based application integration by: (Electronic resources)

Theory-guided modeling and empiricism in information systems research by: (Electronic resources)

Algorithmic game theory4th international symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011 : proceedings / by: (Electronic resources)

Testing software and systems23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7-10, 2011 : proceedings / by: (Electronic resources)

Designing sorting networksa new paradigm / by: (Electronic resources)

Distributed user interfacesdesigning interfaces for the distributed ecosystem / by: (Electronic resources)

Speech enhancement in the STFT domain by: (Electronic resources)

Haptic systems architecture modeling by: (Electronic resources)

Graph drawing19th international symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011 : revised selected papers / by: (Electronic resources)

Interactive 3D multimedia contentmodels for creation, management, search and presentation / by: (Electronic resources)

Modeling dynamic economic systems by: (Electronic resources)

Engineering secure software and systems4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings / by: (Electronic resources)

Conceptual modelling and its theoretical foundationsessays dedicated to Bernhard Thalheim n the occasion of his 60th birthday / by: (Electronic resources)

Transactions on petri nets and other models of concurrency V by: (Electronic resources)

Declarative agent languages and technologies IX9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011 : revised selected and invited papers / by: (Electronic resources)

Business processes for business communitiesmodeling languages, methods, tools / by: (Electronic resources)

Utility maximization in nonconvex wireless systems by: (Electronic resources)

Agile service developmentcombining adaptive methods and flexible solutions / by: (Electronic resources)

Fundamentals of software engineering4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers / by: (Electronic resources)

Behavior computingmodeling, analysis, mining and decision / by: (Electronic resources)

The semantic webJoint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011 : proceedings / by: (Electronic resources)

Coordination models and languages14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012 : proceedings / by: (Electronic resources)

ITIL 2011 at a glance by: (Electronic resources)

On the mathematics of modelling, metamodelling, ontologies and modelling languages by: (Electronic resources)

Information from processesabout the nature of information creation, use, and representation / by: (Electronic resources)

Haptic and audio interaction design 7th international conference, HAID 2012, Lund, Sweden, August 23-24, 2012 : proceedings / by: (Electronic resources)

Theoretical foundations of artificial general intelligence by: (Electronic resources)

Practical aspects of design scienceEuropean Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011 : revised selected papers / by: (Electronic resources)

Informing digital futuresstrategies for citizen engagement / by: (Language materials, printed)

Computational intelligence and intelligent systems6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012 : proceedings / by: (Electronic resources)

Algorithmic game theory5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Cognitive behavioural systemsCOST 2102 International Training School, Dresden, Germany, February 21-26, 2011 : revised selected papers / by: (Electronic resources)

Advances in artificial intelligence - IBERAMIA 200811th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008 : proceedings / by: (Electronic resources)

Component-based software engineering11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings / by: (Electronic resources)

Conceptual modeling - ER 200827th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008 : proceedings / by: (Electronic resources)

Formal methods and software engineering10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Network and parallel computingIFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008 : proceedings / by: (Electronic resources)

Rule representation, interchange and reasoning on the webinternational symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008 : proceedings / by: (Electronic resources)

Self-sustaining systemsfirst workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 : revised selected papers / by: (Electronic resources)

Incomplete information system and rough set theorymodels and attribute reductions / by: (Electronic resources)

Shaping the future of ICT researchmethods and approaches : IFIP WG 8.2, Working Conference, Tampa, FL, USA, December 13-14, 2012 : proceedings / by: (Electronic resources)

Resource-adaptive cognitive processes by: (Electronic resources)

Multi tenancy for cloud-based in-memory column databasesworkload management and data placement / by: (Electronic resources)

Benchmarking transaction and analytical processing systemsthe creation of a mixed workload benchmark and its application / by: (Electronic resources)

Handbook of human centric visualization by: (Electronic resources)

Compliance management in financial industriesa model-based business process and reporting perspective / by: (Electronic resources)

Multiagent schedulingmodels and algorithms / by: (Electronic resources)

Post-optimal analysis in linear semi-infinite optimization by: (Electronic resources)

Cloud computing patternsfundamentals to design, build, and manage cloud applications / by: (Electronic resources)

Engineering secure software and systems6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014 : proceedings / by: (Electronic resources)

Bas van Fraassen's approach to representation and models in science by: (Electronic resources)

Parallel Computational Fluid Dynamics25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers / by: (Electronic resources)

Beyond databases, architectures, and structures10th International Conference, BDAS 2014, Ustron, Poland, May 27-30, 2014 : proceedings / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Modeling dynamic biological systems by: (Electronic resources)

Autonomy requirements engineering for space missions by: (Electronic resources)

Solving the dynamic complexity dilemmapredictive and prescriptive business management : answering the need for a new paradigm / by: (Electronic resources)

Process design for natural scientistsan agile model-driven approach / by: (Language materials, printed)

AsiaSim 201414th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014 : proceedings / by: (Language materials, printed)

Algorithmic game theory7th International Symposium, SAGT 2014, Haifa, Israel, September 30 - October 2, 2014 : proceedings / by: (Language materials, printed)

An introduction to design science by: (Language materials, printed)

Natural and artificial reasoningan exploration of modelling human thinking / by: (Language materials, printed)

Advances in image and graphics technologiesChinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014 : proceedings / by: (Language materials, printed)

Hapticsneuroscience, devices, modeling, and applications : 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014 : proceedings.Part I / by: (Electronic resources)

Hapticsneuroscience, devices, modeling, and applications : 9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014 : proceedings.Part II / by: (Electronic resources)

Design science methodology for information systems and software engineering by: (Electronic resources)

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: (Electronic resources)

Nutrient use efficiencyfrom basics to advances / by: (Electronic resources)

Engineering secure software and systems7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015 : proceedings / by: (Electronic resources)

Pattern and security requirementsengineering-based establishment of security standards / by: (Electronic resources)

Beyond databases, architectures and structures11th International Conference, BDAS 2015, Ustron, Poland, May 26-29, 2015 : proceedings / by: (Electronic resources)

New horizons in design sciencebroadening the research agenda : 10th International Conference, DESRIST 2015, Dublin, Ireland, May 20-22, 2015 : proceedings / by: (Electronic resources)

Patterns of HCI design and HCI design of patternsbridging HCI design and model-driven software engineering / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Empirical philosophy of scienceintroducing qualitative methods into philosophy of science / by: (Electronic resources)

Designing socially embedded technologies in the real-world by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Broad scale coastal simulationnew techniques to understand and manage shorelines in the third millennium / by: (Electronic resources)

Requirements engineering in the big data eraSecond Asia Pacific Symposium, APRES 2015, Wuhan, China, October 18-20, 2015 : proceedings / by: (Electronic resources)

Algorithmic game theory8th International Symposium, SAGT 2015, Saarbrucken, Germany, September 28-30, 2015 : proceedings / by: (Electronic resources)

Modeling of tropospheric delays using ANFIS by: (Electronic resources)

Distributed simulationa model driven engineering approach / by: (Electronic resources)

Big data technology and applicationsfirst National Conference, BDTA 2015, Harbin, China, December 25-26, 2015 : proceedings / by: (Electronic resources)

Engineering secure software and systems8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016 : proceedings / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Seminal contributions to modelling and simulation30 years of the European Council of Modelling and Simulation / by: (Electronic resources)

Domain-specific conceptual modelingconcepts, methods and tools / by: (Electronic resources)

Hapticsperception, devices, control, and applications : 10th Iternational Conference, EuroHaptics 2016, London, UK, July 4-7, 2016 : proceedings.Part I / by: (Electronic resources)

Hapticsperception, devices, control, and applications : 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016 : proceedings.Part II / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Algorithmic game theory9th International Symposium, SAGT 2016, Liverpool, UK, September 19-21, 2016 : proceedings / by: (Electronic resources)

Concise guide to computing foundationscore concepts and select scientific applications / by: (Electronic resources)

Scalafrom a functional programming perspective : an introduction to the programming language / by: (Electronic resources)

Software developers as userssemiotic investigations in human-centered software development / by: (Electronic resources)

Smart collaborative identifier networka promising design of future internet / by: (Electronic resources)

Self-aware computing systems by: (Electronic resources)

Pervasive computingengineering smart systems / by: (Electronic resources)

Evolutionary multi-criterion optimization9th International Conference, EMO 2017, Munster, Germany, March 19-22, 2017 : proceedings / by: (Electronic resources)

Forecast error correction using dynamic data assimilation by: (Electronic resources)

Provably correct systems by: (Electronic resources)

Enterprise architecture at workmodelling, communication and analysis / by: (Electronic resources)

Complexity in information systems developmentproceedings of the 25th International Conference on Information Systems Development / by: (Electronic resources)

Software project management for distributed computinglife-cycle methods for developing scalable and reliable tools / by: (Electronic resources)

Designing the digital transformation12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017 : proceedings / by: (Electronic resources)

Human mental workloadmodels and applications : first International Symposium, H-WORKLOAD 2017, Dublin, Ireland, June 28-30, 2017 : revised selected papers / by: (Electronic resources)

TRIZ - the theory of inventive problem solvingcurrent research and trends in French academic institutions / by: (Electronic resources)

Pro continuous deliverywith Jenkins 2.0 / by: (Electronic resources)

Software engineeringspecification, implementation, verification / by: (Electronic resources)

Artificial intelligence and economic theorySkynet in the market / by: (Electronic resources)

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: (Electronic resources)

Conceptual modeling perspectives by: (Electronic resources)

Social media processing6th National Conference, SMP 2017, Beijing, China, September 14-17, 2017 : proceedings / by: (Electronic resources)

Simulated evolution and learning11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017 : proceedings / by: (Electronic resources)

Scientific metricstowards analytical and quantitative sciences / by: (Electronic resources)

Prioritising business processesdesign and evaluation of the prioritisation and categorisation method (PCM) / by: (Electronic resources)

International proceedings on advances in soft computing, intelligent systems and applicationsASISA 2016 / by: (Electronic resources)

Advances in information systems developmentmethods, tools and management / by: (Electronic resources)

Linked datastoring, querying, and reasoning / by: (Electronic resources)

Modelling and simulation for autonomous systems4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017 : revised selected papers / by: (Electronic resources)

Bioinspired optimization methods and their applications8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018 : proceedings / by: (Electronic resources)

Cyber securitypower and technology / by: (Electronic resources)

Operations Research and Enterprise Systems6th International Conference, ICORES 2017, Porto, Portugal, February 23-25, 2017 : revised selected papers / by: (Electronic resources)

Advances in swarm intelligence9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018 : proceedings.Part I / by: (Electronic resources)

Parallel problem solving from nature - PPSN XV15th International Conference, Coimbra, Portugal, September 8-12, 2018 : proceedings.Part I / by: (Electronic resources)

Parallel problem solving from nature - PPSN XV15th International Conference, Coimbra, Portugal, September 8-12, 2018 : proceedings.Part II / by: (Electronic resources)

Graph data managementfundamental issues and recent developments / by: (Electronic resources)

Models of computation for big data by: (Electronic resources)

Handbook of dynamic data driven applications systems by: (Electronic resources)

AI 2018advances in artificial intelligence : 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018 : proceedings / by: (Electronic resources)

Human mental workloadmodels and applications : second International Symposium, H-WORKLOAD 2018, Amsterdam, The Netherlands, September 20-21, 2018 : revised selected papers / by: (Electronic resources)

Designing thriving systemsmarrying technical rationality and appreciative systems / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Artificial life and evolutionary computation13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10-12, 2018 : revised selected papers / by: (Electronic resources)

Information processing in medical imaging26th International Conference, IPMI 2019, Hong Kong, China, June 2-7, 2019 : proceedings / by: (Electronic resources)

Models, mindsets, metathe what, the how, and the why not? : essays dedicated to Bernhard Steffen on the occasion of his 60th birthday / by: (Electronic resources)

Neural modeling of speech processing and speech learningan introduction / by: (Electronic resources)

The Internet of Things in the industrial sectorsecurity and device connectivity, smart environments, and industry 4.0 / by: (Electronic resources)

Advances in information systems developmentdesigning digitalization / by: (Electronic resources)

Trustworthy cyber-physical systemsa systematic framework towards design and evaluation of trust and trustworthiness / by: (Electronic resources)

Mathematical optimization theory and operations research18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019 : revised selected papers / by: (Electronic resources)

Human mental workloadmodels and applications : third International Symposium, H-WORKLOAD 2019, Rome, Italy, November 14-15, 2019 : proceedings / by: (Electronic resources)

Connectomics in neuroImagingthird International Workshop, CNI 2019, held in conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Advances in artificial intelligence18th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2018, Granada, Spain, October 23-26, 2018 : proceedings / by: (Electronic resources)

Evolving OpenMP for evolving architectures14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018 : proceedings / by: (Electronic resources)

Intelligence science and big data engineeringvisual data engineering : 9th International Conference, IScIDE 2019, Nanjing, China, October 17-20, 2019 : proceedings.Part I / by: (Electronic resources)

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: (Electronic resources)

Brain informatics12th International Conference, BI 2019, Haikou, China, December 13-15, 2019 : proceedings / by: (Electronic resources)

Guide to software systems developmentconnecting novel theory and current practice / by: (Electronic resources)

Real-time linked dataspacesenabling data ecosystems for intelligent systems / by: (Electronic resources)

Cognitive underwater acoustic networking techniques by: (Electronic resources)

Computational color imaging7th International Workshop, CCIW 2019, Chiba, Japan, March 27-29, 2019 : proceedings / by: (Electronic resources)

Evolutionary multi-criterion optimization10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Integration of constraint programming, artificial intelligence, and operations research16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019 : proceedings / by: (Electronic resources)

Cryptography with shrinking generatorsfundamentals and applications of keystream sequence generators based on irregular decimation / by: (Electronic resources)

Advances in information systems developmentinformation systems beyond 2020 / by: (Electronic resources)

Interacting complexities of herds and social organizationsagent based modeling / by: (Electronic resources)

Advances in simulation and process modellingproceedings of the Second International Symposium on Simulation and Process Modelling (ISSPM 2020) / by: (Electronic resources)