Theory of Computation.

Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part III / by: (Language materials, printed)

Probing Experience = From Assessment of User Emotions and Behaviour to Development of Products / by: (Language materials, printed)

Optical SuperComputing = first international workshop, OSC 2008, Vienna, Austria, August 26, 2008 : proceedings / by: (Language materials, printed)

Language and automata theory and applications = second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 ; revised papers / by: (Language materials, printed)

Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part I / by: (Language materials, printed)

Artificial Intelligence in Theory and Practice II = IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy / by: (Language materials, printed)

Genetic Programming Theory and Practice.. V by: (Language materials, printed)

Pillars of Computer Science = Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday / by: (Language materials, printed)

Logic, Language, Information and Computation = 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / by: (Language materials, printed)

Open Source Development, Communities and Quality = IFIP 20th World Computer Congress, Working Group 2.3 on Open Source Software, September 7-10, 2008, Milano, Italy / by: (Language materials, printed)

Learning to Live in the Knowledge Society = IFIP 20th World Computer Congress, IFIP TC 3 ED-L2L Conference September 7-10, 2008, Milano, Italy / by: (Language materials, printed)

CONCUR 2008 - Concurrency Theory = 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings / by: (Language materials, printed)

Deduction, computation, experiment = exploring the effectiveness of proof / by: (Language materials, printed)

Introduction to evolutionary computing by: (Language materials, printed)

Behavior modeling = foundations and applications : International Workshops, BM-FA 2009-2014 : revised selected papers / by: (Language materials, printed)

Biomimetic and biohybrid systems = 4th International Conference, Living Machines 2015, Barcelona, Spain, July 28 - 31, 2015 : proceedings / by: (Language materials, printed)

Bridging constraint satisfaction and Boolean satisfiability by: (Language materials, printed)

Energy time series forecasting = efficient and accurate forecasting of evolving time series from the energy domain / by: (Language materials, printed)

Unconventional computation and natural computation = 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 - September 3, 2015 : proceedings / by: (Language materials, printed)

Genetic Programming Theory and Practice II by: (Language materials, printed)

Super-Recursive Algorithms by: (Language materials, printed)

Dissemination of Information in Communication Networks = Broadcasting, Gossiping, Leader Election, and Fault-Tolerance / by: (Language materials, printed)

Machines, computations, and universality = 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings / by: (Language materials, printed)

SOFSEM 2005: Theory and Practice of Computer Science = 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovsky Jan, Slovakia, January 22-28, 2005, Proceedings / by: (Language materials, printed)

Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings.. IV / by: (Language materials, printed)

Combinatorics on words = 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015 : proceedings / by: (Language materials, printed)

Logic and Theory of Algorithms = 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings / by: (Language materials, printed)

Transactions on Computational Science I by: (Language materials, printed)

Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I / by: (Language materials, printed)

Euro-Par 2008 -- Parallel Processing = 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings / by: (Language materials, printed)

Time-Dependent scheduling by: (Language materials, printed)

Deterministic extraction from weak random sources by: (Language materials, printed)

Genetic programming theory and practice VIII by: (Language materials, printed)

Metaheuristics: Progress as Real Problem Solvers by: (Language materials, printed)

Handbook of Biomedical Image Analysis.. Volume I,. Segmentation Models Part A by: (Language materials, printed)

Handbook of Biomedical Image Analysis.. Volume II,. Segmentation Models Part B by: (Language materials, printed)

Handbook of Biomedical Image Analysis.. Volume III,. Registration Models by: (Language materials, printed)

Introduction to the theory of programming languages by: (Language materials, printed)

Event-Triggered and Time-Triggered Control Paradigms by: (Language materials, printed)

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: (Language materials, printed)

Universal Artificial Intellegence = Sequential Decisions Based on Algorithmic Probability / by: (Language materials, printed)

Contemporary Cryptology by: (Language materials, printed)

Theory of quantum computation, communication and cryptography = 5th conference, TQC 2010, Leeds, UK, April 13-15, 2010 : revised selected papers / by: (Language materials, printed)

Computer science - theory and applications = 3rd International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008 : proceedings / by: (Language materials, printed)

Theoretical aspects of distributed computing in sensor networks by: (Language materials, printed)

Proofs and algorithms = an introduction to logic and computability / by: (Language materials, printed)

Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings.. I / by: (Language materials, printed)

Theoretical Aspects of Computing - ICTAC 2008 = 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / by: (Language materials, printed)

Automata, Languages and Programming = 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings / by: (Language materials, printed)

Euro-Par 2005 Parallel Processing = 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings / by: (Language materials, printed)

New structures for physics by: (Language materials, printed)

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

New Computational Paradigms = Changing Conceptions of What is Computable / by: (Language materials, printed)

Advances in Applied Self-organizing Systems by: (Language materials, printed)

High performance computing for computational science = VECPAR 2010 : 9th international conference, Berkeley, CA, USA, June 22-25, 2010 : revised selected papers / by: (Language materials, printed)

Logics of Specification Languages by: (Language materials, printed)

Unfoldings = A Partial-Order Approach to Model Checking / by: (Language materials, printed)

Genetic Programming IV = Routine Human-Competitive Machine Intelligence / by: (Language materials, printed)

Principles of the Spin model checker by: (Language materials, printed)

Decision Procedures = An Algorithmic Point of View / by: (Language materials, printed)

Search computing = trends and developments / by: (Language materials, printed)

Fifth Ifip International Conference On Theoretical Computer Science-Tcs 2008 by: (Language materials, printed)

STACS 2005 = 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2004, Proceedings / by: (Language materials, printed)

High Performance Computing for Computational Science - VECPAR 2004 = 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers / by: (Language materials, printed)

Theoretical and Experimental DNA Computation by: (Language materials, printed)

Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. I / by: (Language materials, printed)

New Computational Paradigms = First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings / by: (Language materials, printed)

Applications and Theory of Petri Nets 2005 = 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / by: (Language materials, printed)

Dissemination of Information in Optical Networks = From Technology to Algorithms In Cooperation with Ralf Klasing / by: (Language materials, printed)

Multiobjective Problem Solving from Nature = From Concepts to Applications / by: (Language materials, printed)

Systems Approaches and Their Application = Examples from Sweden / by: (Language materials, printed)

Theory and applications of models of computation = 8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 : proceedings / by: (Language materials, printed)

Rainbow of computer science = dedicated to Hermann Maurer on the occasion of his 70th birthday / by: (Language materials, printed)

Concise guide to computation theory by: (Language materials, printed)

Applications and Theory of Petri Nets = 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings / by: (Language materials, printed)

Encyclopedia of Algorithms by: (Language materials, printed)

Computer-Aided Innovation (CAI) = IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy / by: (Language materials, printed)

Computational science and its applications, ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings .. II by: (Language materials, printed)

Computer and Information Sciences - ISCIS 2005 : = 20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings by: (Language materials, printed)

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

Optical supercomputing = third international workshop, OSC 2010, Bertinoro, Italy, November 17-19 2010 : revised selected papers / by: (Language materials, printed)

Euro-Par 2007 Workshops: Parallel Processing = HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers / by: (Language materials, printed)

Theory and applications of models of computation = 5th international conference, TAMC 2008, Xi'an, China, April 25-29, 2008 ; proceedings / by: (Language materials, printed)

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

Advances in Information Systems Research, Education and Practice = IFIP 20th World Computer Congress, TC 8, Information Systems, September 7-10, 2008, Milano, Italy / by: (Language materials, printed)

Theoretical computer science = lectures given at the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 9-14, 1975 / by: (Language materials, printed)

Transactions on computational science II by: (Language materials, printed)

A short course in quantum information theory = an approach from theoretical physics / by: (Language materials, printed)

Frontiers in algorithmics and algorithmic aspects in information and management = joint international conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011 : proceedings / by: (Language materials, printed)

Semistructured Database Design by: (Language materials, printed)

Do-All Computing in Distributed Systems = Cooperation in the Presence of Adversity / by: (Language materials, printed)

Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / by: (Language materials, printed)

Hypercomputation = computing beyond the Church-Turing barrier / by: (Language materials, printed)

Rigorous methods for software construction and analysis = essays dedicated to Egon Borger on the occasion of his 60th birthday / by: (Language materials, printed)

Transactions on petri nets and other models of concurrency III by: (Language materials, printed)

Optical SuperComputing = second international workshop, OSC 2009, Bertinoro, Italy, November 18-20, 2009 : proceedings / by: (Language materials, printed)

Parameterized and exact computation = 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009 : revised selected papers / by: (Language materials, printed)

Advanced functional programming = 6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008 : revised lectures / by: (Language materials, printed)

Infinity in Logic and Computation = International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers / by: (Language materials, printed)

Logic, rationality, and interaction = second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings / by: (Language materials, printed)

Recent trends in algebraic development techniques = 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers / by: (Language materials, printed)

CONCUR 2009 - concurrency theory = 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings / by: (Language materials, printed)

Formal modeling and analysis of timed systems = 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / by: (Language materials, printed)

Reachability problems = 3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings / by: (Language materials, printed)

Algorithmic bioprocesses by: (Language materials, printed)

Computational logic in multi-agent systems = b9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 ; revised selected and invited papers / by: (Language materials, printed)

Computer science - theory and applications = 4th International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009 : Proceedings / by: (Language materials, printed)

Theoretical aspects of computing - ICTAC 2009 = 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings / by: (Language materials, printed)

Computable models by: (Language materials, printed)

Information computing and applications = second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings.. Part I / by: (Language materials, printed)

Computer science = the hardware, software and heart of it / by: (Language materials, printed)

Computability and complexity theory by: (Language materials, printed)

Information computing and applications = second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings.. Part II / by: (Language materials, printed)

Mobility in process calculi and natural computing by: (Language materials, printed)

Logic, rationality, and interaction = third international workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings / by: (Language materials, printed)

Quantum interaction = 5th international symposium, QI 2011, Aberdeen, UK, June 26-29, 2011 : revised selected papers / by: (Language materials, printed)

Genetic programming theory and practice IX by: (Language materials, printed)

Universal semantic communication by: (Language materials, printed)

The mathematics of language = 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings / by: (Language materials, printed)

Cartesian genetic programming by: (Language materials, printed)

Apartness and uniformity = a constructive development / by: (Language materials, printed)

Applied informatics and communication = international conference, ICAIC 2011, Xi'an, China, August 20-21, 2011 : proceedings.. Part II / by: (Language materials, printed)

Patterns in permutations and words by: (Language materials, printed)

Applied informatics and communication = international conference, ICAIC 2011, Xi'an, China, August 20-21, 2011 : proceedings.. Part V / by: (Language materials, printed)

Applied informatics and communication = international conference, ICAIC 2011, Xi'an, China, August 20-21, 2011 : proceedings.. Part IV / by: (Language materials, printed)

Applied informatics and communication = international conference, ICAIC 2011,Xi'an, China, August 20-21, 2011 : proceedings.. Part I / by: (Language materials, printed)

Extremal combinatorics = with applications in computer science / by: (Language materials, printed)

Applied informatics and communication = international conference, ICAIC 2011, Xi'an, China, August 20-21, 2011 : proceedings.. Part III / by: (Language materials, printed)

Perspectives on Soviet and Russian computing = first IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006 : revised selected papers / by: (Language materials, printed)

Quantum computational number theory by: (Language materials, printed)

Graph and model transformation = general framework and applications / by: (Language materials, printed)

Agents and artificial intelligence = 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015 : revised selected papers / by: (Language materials, printed)

Advances in cryptology - ASIACRYPT 2015 = 21st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29 - December 3, 2015 : proceedings.. Part I / by: (Language materials, printed)

Advances in cryptology - ASIACRYPT 2015 = 21st International Conference on the Theory and Application of Cryptology and Information Security Auckland, New Zealand, November 29 - December 3, 2015 : proceedings.. Part II / by: (Language materials, printed)

Algorithmic learning theory = 26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015 : proceedings / by: (Language materials, printed)

Carl Adam Petri = life and science / by: (Language materials, printed)

Constraint solving and planning with Picat by: (Language materials, printed)

CryptoSchool by: (Language materials, printed)

Encyclopedia of applied and computational mathematics by: (Language materials, printed)

The foundations of computability theory by: (Language materials, printed)

Higher-order computability by: (Language materials, printed)

Introduction to concurrency theory = transition systems and CCS / by: (Language materials, printed)

Natural computing algorithms by: (Language materials, printed)

Petri net synthesis by: (Language materials, printed)

Theory and applications of satisfiability testing - SAT 2015 = 18th International Conference, Austin, TX, USA, September 24-27, 2015 : proceedings / by: (Language materials, printed)

Words and graphs by: (Language materials, printed)

Applied cryptography and network security = 13th International Conference, ACNS 2015, New York, NY, USA, June 2-5, 2015 : revised selected papers / by: (Language materials, printed)

Theory and applications of formal argumentation = third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015 : revised selected papers / by: (Language materials, printed)

Decentralized spatial computing = foundations of geosensor networks / by: (Language materials, printed)

The courant-friedrichs-lewy (cfl) condition = 80 years after its discovery / by: (Language materials, printed)

Modeling and optimization in space engineering by: (Language materials, printed)

Concurrent programming = algorithms, principles, and foundations / by: (Language materials, printed)

Analyzing evolutionary algorithms = the computer science perspective / by: (Language materials, printed)

Theory of quantum computation, communication, and cryptography = 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012 : revised selected papers / by: (Language materials, printed)

Logical foundations of computer science = International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013 : proceedings / by: (Language materials, printed)

Quantum walks and search algorithms by: (Language materials, printed)

Computing nature = Turing centenary perspective / by: (Language materials, printed)

Theory and applications of models of computation = 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings / by: (Language materials, printed)

Recent trends in algebraic development techniques = 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers / by: (Language materials, printed)

Advances in applied self-organizing systems by: (Language materials, printed)

Genetic programming theory and practice X by: (Language materials, printed)

Frontiers in algorithmics and algorithmic aspects in information and management = third joint international conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013 : proceedings / by: (Language materials, printed)

Theory and practice of computation = 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012 : proceedings / by: (Language materials, printed)

Optical supercomputing = 4th International Workshop, OSC 2012, in memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012 : revised selected papers / by: (Language materials, printed)

Understanding petri nets = modeling techniques, analysis methods, case studies / by: (Language materials, printed)

Distributed algorithms for message-passing systems by: (Language materials, printed)

Theories of programming and formal methods = essays dedicated to Jifeng He on the Occasion of His 70th Birthday / by: (Language materials, printed)

Fundamentals of computation theory = 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013 : proceedings / by: (Language materials, printed)

Algebra and coalgebra in computer science = 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013 : proceedings / by: (Language materials, printed)

Unifying theories of programming and formal engineering methods = International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013 : advanced lectures / by: (Language materials, printed)

Combinatorics on words = 9th international conference, WORDS 2013, Turku, Finland, September 16-20 : proceedings / by: (Language materials, printed)

Natural computing = 2nd international workshop on natural computing, Nagoya, Japan, December 2007 : proceedings / by: (Language materials, printed)

Robust intelligent systems by: (Language materials, printed)

Provable security = second international conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008 : proceedings / by: (Language materials, printed)

Theory of quantum computation, communication, and cryptography = third workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008 : revised selected papers / by: (Language materials, printed)

Quantum interaction = 6th international symposium, QI 2012, Paris, France, June 27-29, 2012 : revised selected papers / by: (Language materials, printed)

Search computing = broadening web search / by: (Language materials, printed)

Network control and engineering for QOS, security and mobility, III = IFIP TC6/WG6.2, 6.6, 6.7 and 6.8 Third International Conference on Network Control and Engineering for QoS, Security and Mobility, NetCon 2004 on November 2-5, 2004, Palma de Mallorca, Spain / by: (Language materials, printed)

Mathematics of discrete structures for computer science by: (Language materials, printed)

Theoretical computer science = 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012 : proceedings / by: (Language materials, printed)

Mathematics, computer science and logic = a never ending story / by: (Language materials, printed)

Handbook of natural computing by: (Language materials, printed)

Theoretical aspects of computing - ICTAC 2012 = 9th International Colloquium, Bangalore, India, September 24-27, 2012 : proceedings / by: (Language materials, printed)

Languages alive = essays dedicated to Jurgen Dassow on the occasion of his 65th birthday / by: (Language materials, printed)

Grobner bases, coding, and cryptography by: (Language materials, printed)

Theory and applications of models of computation = 9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings / by: (Language materials, printed)

Combinatorial search = from algorithms to systems / by: (Language materials, printed)

Logic, rationality, and interaction = 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013 : proceedings / by: (Language materials, printed)

Transactions on computational science XXI = special issue on innovations in nature-inspired computing and applications / by: (Language materials, printed)

Complex sciences = second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012 : revised selected papers / by: (Language materials, printed)

Fault-tolerant search algorithms = reliable computation with unreliable information / by: (Language materials, printed)

Massively parallel evolutionary computation on GPGPUs by: (Language materials, printed)

People, problems, and proofs = essays from Godel's Lost Letter: 2010 / by: (Language materials, printed)

The realism-antirealism debate in the age of alternative logics by: (Language materials, printed)

The universe as automaton = from simplicity and symmetry to complexity / by: (Language materials, printed)

Computational complexity = theory, techniques, and applications / by: (Language materials, printed)

Approximation algorithms and semidefinite programming by: (Language materials, printed)

Boolean function complexity = advances and frontiers / by: (Language materials, printed)

Computation, physics and beyond = International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012 : revised selected and invited papers / by: (Language materials, printed)

Mathematical modeling and computational science = international conference, MMCP 2011, Stara Lesna, Slovakia, July 4-8, 2011 : revised selected papers / by: (Language materials, printed)

Recent trends in algebraic development techniques = 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers / by: (Language materials, printed)

Parameterized and exact computation = 6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 6-8, 2011 : revised selected papers / by: (Language materials, printed)

Transactions on petri nets and other models of concurrency V by: (Language materials, printed)

Frontiers in algorithmics and algorithmic aspects in information and management = joint international conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012 : proceedings / by: (Language materials, printed)

Theory and practice of computation = Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 : proceedings / by: (Language materials, printed)

Neural-symbolic cognitive reasoning by: (Language materials, printed)

Information theory and statistical learning by: (Language materials, printed)

Logic and its applications = third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009, proceedings / by: (Language materials, printed)

SOFSEM 2009 = theory and practice of computer science: 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Republic, January 24-30, 2009 : proceedings / by: (Language materials, printed)

Logical foundations of computer science = International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings / by: (Language materials, printed)

Computability of Julia sets by: (Language materials, printed)

Post-quantum cryptography by: (Language materials, printed)

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

Programming languages and systems = 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / by: (Language materials, printed)

Foundations of Software Science and Computational Structures = 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / by: (Language materials, printed)

Compiler construction = 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / by: (Language materials, printed)

Quantum interaction = third international symposium, QI 2009, Saarbrucken, Germany, March 25-27, 2009 ; proceedings / by: (Language materials, printed)

Language and automata theory and applications = third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 ; proceedings / by: (Language materials, printed)

Formal theories of information = from Shannon to semantic information theory and general concepts of information / by: (Language materials, printed)

Euro-Par 2008 workshops - parallel processing = VHPC 2008,UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008 ; revised selected papers / by: (Language materials, printed)

Models of computation = an introduction to computability theory / by: (Language materials, printed)

Elements of Computation Theory by: (Language materials, printed)

Languages: from formal to natural = essays dedicated to Nissim Francez on the occasion of his 65th birthday / by: (Language materials, printed)

Computational science - ICCS 2009 = 9th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.. Part I / by: (Language materials, printed)

Computational science - ICCS 2009 = 9th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.. Part II / by: (Language materials, printed)

Theory and applications of models of computation = 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings / by: (Language materials, printed)

Hagenberg research by: (Language materials, printed)

An introduction to Kolmogorov complexity and its applications by: (Language materials, printed)

A concise introduction to languages and machines by: (Language materials, printed)

Memristor networks by: (Language materials, printed)

Theory and principled methods for the design of metaheuristics by: (Language materials, printed)

Discrete and topological models in molecular biology by: (Language materials, printed)

Guided self-organization = Inception / by: (Language materials, printed)

Pairing-based cryptography - Pairing 2013 = 6th International Conference, Beijing, China, November 22-24, 2013 : revised selected papers / by: (Language materials, printed)

Transactions on computational science XXII by: (Language materials, printed)

Theory and applications of formal argumentation = second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013 : revised selected papers / by: (Language materials, printed)

Programming languages and operational semantics = a concise overview / by: (Language materials, printed)

Regulated grammars and automata by: (Language materials, printed)

Computer games = Workshop on Computer Games, CGW 2013, Held in Conjunction with the 23rd International Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3, 2013 : revised selected papers / by: (Language materials, printed)

Model-driven software migration = a methodology : Reengineering, recovery and modernization of legacy systems / by: (Language materials, printed)

Theory of quantum computation, communication, and cryptography = 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011 : revised selected papers / by: (Language materials, printed)

Nature of computation and communication = International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014 : revised selected papers / by: (Language materials, printed)

Principles and methods of quantum information technologies by: (Language materials, printed)

The digital synaptic neural substrate = a new approach to computational creativity / by: (Language materials, printed)

Encyclopedia of algorithms by: (Language materials, printed)

Advances in artificial life, evolutionary computation and systems chemistry = 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015 : revised selected papers / by: (Language materials, printed)

Hybrid metaheuristics = powerful tools for optimization / by: (Language materials, printed)

Computer games = fourth Workshop on Computer Games, CGW 2015, and the fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, held in conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015 : revised selected papers / by: (Language materials, printed)

Topics in grammatical inference by: (Language materials, printed)

Turing computability = theory and applications / by: (Language materials, printed)

Applied cryptography and network security = 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016 : proceedings / by: (Language materials, printed)

Theory and applications of satisfiability testing - SAT 2016 = 19th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings / by: (Language materials, printed)

High performance computing = 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016 : proceedings / by: (Language materials, printed)

Self-aware computing systems = an engineering approach / by: (Language materials, printed)

Finitely supported mathematics = an introduction / by: (Language materials, printed)

Biomimetic and biohybrid systems = 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016 : proceedings / by: (Language materials, printed)

Evolutionary computer vision = the first footprints / by: (Language materials, printed)

An introduction to online computation = determinism, randomization, advice / by: (Language materials, printed)

Decision diagrams for optimization by: (Language materials, printed)

Semantic web challenges = third SemWebEval Challenge at ESWC 2016, Heraklion, Crete, Greece, May 29 - June 2, 2016 : revised selected papers / by: (Language materials, printed)

Nature of computation and communication = second International Conference, ICTCC 2016, Rach Gia, Vietnam, March 17-18, 2016 : revised selected papers / by: (Language materials, printed)

History and philosophy of computing = third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015 : revised selected papers / by: (Language materials, printed)

High performance computing = ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19-23, 2016 : revised selected papers / by: (Language materials, printed)

Convex analysis and global optimization by: (Language materials, printed)

An introduction to transfer entropy = information flow in complex systems / by: (Language materials, printed)

Wireless power transfer algorithms, technologies and applications in ad hoc communication networks by: (Language materials, printed)

Decision procedures = an algorithmic point of view / by: (Language materials, printed)

Advances in cryptology - ASIACRYPT 2016 = 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016 : proceedings.. Part I / by: (Language materials, printed)

Advances in cryptology - ASIACRYPT 2016 = 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016 : proceedings.. Part II / by: (Language materials, printed)

Models of computation by: (Language materials, printed)

Process algebras for Petri nets = the alphabetization of distributed systems / by: (Language materials, printed)

Tutorials on the foundations of cryptography = dedicated to Oded Goldreich / by: (Language materials, printed)

Computer games = 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016 : revised selected papers / by: (Language materials, printed)

Structured object-oriented formal language and method = 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papers / by: (Language materials, printed)

The incomputable = journeys beyond the Turing barrier / by: (Language materials, printed)

Philosophical explorations of the legacy of Alan Turing = Turing 100 / by: (Language materials, printed)

The semantic web = 14th International Conference, ESWC 2017, Portoroz, Slovenia, May 28 - June 1, 2017 : proceedings.. Part I / by: (Language materials, printed)

The semantic web = 14th International Conference, ESWC 2017, Portoroz, Slovenia, May 28 - June 1, 2017 : proceedings.. Part II / by: (Language materials, printed)

Designing the digital transformation = 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017 : proceedings / by: (Language materials, printed)

Modern language models and computation = theory with applications / by: (Language materials, printed)

Automated technology for verification and analysis = 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017 : proceedings / by: (Language materials, printed)

The semantic web - ISWC 2017 = 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017 : proceedings.. Part II / by: (Language materials, printed)

The semantic web - ISWC 2017 = 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017 : proceedings.. Part I / by: (Language materials, printed)

Foundations of intelligent systems = 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017 : proceedings / by: (Language materials, printed)

Adventures in computer science = from classical bits to quantum bits / by: (Language materials, printed)

Theory of reversible computing by: (Language materials, printed)

The semantic web = ESWC 2017 Satellite Events : ESWC 2017 Satellite Events, Portoroz, Slovenia, May 28 - June 1, 2017 : revised selected papers / by: (Language materials, printed)

Advances in cryptology - ASIACRYPT 2017 = 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017 : proceedings.. Part I / by: (Language materials, printed)

Advances in cryptology - ASIACRYPT 2017 = 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017 : proceedings.. Part II / by: (Language materials, printed)

Advances in cryptology - ASIACRYPT 2017 = 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017 : proceedings.. Part III / by: (Language materials, printed)

Formal methods = foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017 : proceedings / by: (Language materials, printed)

Programming languages and systems = 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings / by: (Language materials, printed)

Autonomous agents and multiagent systems = AAMAS 2017 Workshops, Best Papers, Sao Paulo, Brazil, May 8-12, 2017 : revised selected papers / by: (Language materials, printed)

Verified software = theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017 : revised selected papers / by: (Language materials, printed)

Bridging the gap between life and physics by: (Language materials, printed)

Space in weak propositional proof systems by: (Language materials, printed)

Raymond Smullyan on self reference by: (Language materials, printed)

High performance computing for computational science - VECPAR 2016 = 12th International Conference, Porto, Portugal, June 28-30, 2016 : revised selected papers / by: (Language materials, printed)

Biomimetic and biohybrid systems = 6th International Conference, Living Machines 2017, Stanford, CA, USA, July 26-28, 2017 : proceedings / by: (Language materials, printed)

Creativity in intelligent technologies and data science = Second Conference, CIT&DS 2017, Volgograd, Russia, September 12-14, 2017 : proceedings / by: (Language materials, printed)

Introduction to learning classifier systems by: (Language materials, printed)

Software engineering and formal methods = 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings / by: (Language materials, printed)

Theory and applications of satisfiability testing - SAT 2017 = 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings / by: (Language materials, printed)

Computational intelligence for network structure analytics by: (Language materials, printed)

Handbook of parallel constraint reasoning by: (Language materials, printed)

Mathematical foundations of advanced informatics.. Volume 1,. Inductive approaches by: (Language materials, printed)

NASA formal methods = 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings / by: (Language materials, printed)

Fundamental approaches to software engineering = 21st International Conference, FASE 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings / by: (Language materials, printed)

Parallel processing and applied mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017 : revised selected papers.. Part II / by: (Language materials, printed)

Principles of security and trust = 7th International Conference, POST 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings / by: (Language materials, printed)

Programming languages and systems = 27th European Symposium on Programming, ESOP 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings / by: (Language materials, printed)

Handbook of model checking by: (Language materials, printed)

Computational Science - ICCS 2018 = 18th International Conference, Wuxi, China, June 11-13, 2018 : proceedings.. Part I / by: (Language materials, printed)

Computational Science - ICCS 2018 = 18th International Conference, Wuxi, China, June 11-13, 2018 : proceedings.. Part II / by: (Language materials, printed)

Theory and applications of satisfiability testing - SAT 2018 = 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings / by: (Language materials, printed)

Social, cultural and behavioral modeling = 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018 : proceedings / by: (Language materials, printed)

Computational science - ICCS 2018 = 18th International Conference, Wuxi, China, June 11-13, 2018 : proceedings.. Part III / by: (Language materials, printed)

Computational matter by: (Language materials, printed)

Computational artifacts = towards a philosophy of computer science / by: (Language materials, printed)

Machine learning for dynamic software analysis = potentials and limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016 : revised papers / by: (Language materials, printed)

Formal methods = 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings / by: (Language materials, printed)

Sailing routes in the world of computation = 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018 : proceedings / by: (Language materials, printed)

The making of a new science = a personal journey through the early years of theoretical computer science / by: (Language materials, printed)

Fault-tolerant message-passing distributed systems = an algorithmic approach / by: (Language materials, printed)

Formal methods for industrial critical systems = 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018 : proceedings / by: (Language materials, printed)

Adventures between lower bounds and higher altitudes = essays dedicated to Juraj Hromkovic on the occasion of his 60th birthday / by: (Language materials, printed)

Quantum walks and search algorithms by: (Language materials, printed)

Hyper-heuristics = theory and applications / by: (Language materials, printed)

Foraging-inspired optimisation algorithms by: (Language materials, printed)

Software process improvement and capability determination = 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9-10, 2018 : proceedings / by: (Language materials, printed)

Transactions on computational science XXXIII by: (Language materials, printed)

Transactions on computational collective intelligence XXX by: (Language materials, printed)

Symposium on real-time and hybrid systems = essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday / by: (Language materials, printed)

Scientific computing = a historical perspective / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part II / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part III / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part IV / by: (Language materials, printed)

New trends in model and data engineering = MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018 : proceedings / by: (Language materials, printed)

An introduction to metaheuristics for optimization by: (Language materials, printed)

Semantics, analytics, visualization = 3rd International Workshop, SAVE-SD 2017, Perth, Australia, April 3, 2017, and 4th International Workshop, SAVE-SD 2018, Lyon, France, April 24, 2018 : revised selected papers / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part I / by: (Language materials, printed)

Technology and mathematics = philosophical and historical investigations / by: (Language materials, printed)

Principles in noisy optimization = applied to multi-agent coordination / by: (Language materials, printed)

Intelligent data engineering and automated learning - IDEAL 2018 = 19th International Conference, Madrid, Spain, November 21-23, 2018 : proceedings.. Part I / by: (Language materials, printed)

Transactions on petri nets and other models of concurrency XIII by: (Language materials, printed)

Models, algorithms, logics and tools = essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th Birthday / by: (Language materials, printed)

Advances in computational intelligence = 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017 : proceedings.. Part II / by: (Language materials, printed)

Advances in computational intelligence = 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017 : proceedings.. Part I / by: (Language materials, printed)

Data Integration in the Life Sciences = 12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017 : proceedings / by: (Language materials, printed)

High performance computing = 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18-22, 2017 : proceedings / by: (Language materials, printed)

Integrated formal methods = 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings / by: (Language materials, printed)

Reliability, safety, and security of railway systems = modelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017 : proceedings / by: (Language materials, printed)

Knowledge graphs and semantic web = first Iberoamerican Conference, KGSWC 2019, Villa Clara, Cuba, June 23-30, 2019 : proceedings / by: (Language materials, printed)

Carl Adam Petri = ideas, personality, impact / by: (Language materials, printed)

Computer Vision - ACCV 2018 = 14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018 : revised selected papers.. Part V / by: (Language materials, printed)

NASA formal methods = 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019 : proceedings / by: (Language materials, printed)

Managed software evolution by: (Language materials, printed)

An introduction to Kolmogorov complexity and its applications by: (Language materials, printed)

Natural language processing and information systems = 24th International Conference on Applications of Natural Language to Information Systems, NLDB 2019, Salford, UK, June 26-28, 2019 : proceedings / by: (Language materials, printed)

Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part I / by: (Language materials, printed)

Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part III / by: (Language materials, printed)

Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part V / by: (Language materials, printed)

Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part II / by: (Language materials, printed)

Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part IV / by: (Language materials, printed)

Advances and trends in artificial intelligence = from theory to practice : 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9-11, 2019 : proceedings / by: (Language materials, printed)

Theory and applications of satisfiability testing - SAT 2019 = 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019 : proceedings / by: (Language materials, printed)

Big data - BigData 2019 = 8th International Congress, held as part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019 : proceedings / by: (Language materials, printed)

Simplicity is complex = foundations of cyber-physical system design / by: (Language materials, printed)

Formal methods = an appetizer / by: (Language materials, printed)

Representation theorems in computer science = a treatment in logic engineering / by: (Language materials, printed)

Bio-inspired information and communication technologies = 11th EAI International Conference, BICT 2019, Pittsburgh, PA, USA, March 13-14, 2019 : proceedings / by: (Language materials, printed)

Computer aided verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.. Part I / by: (Language materials, printed)

Intelligent computing theories and application = 15th International Conference, ICIC 2019, Nanchang, China, August 3-6, 2019 : proceedings.. Part II / by: (Language materials, printed)

Optical SuperComputing = first international workshop, OSC 2008, Vienna, Austria, August 26, 2008 : proceedings / by: (Language materials, printed)

Logic, Language, Information and Computation = 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / by: (Language materials, printed)

Computational Science and Its Applications ICCSA 2008 = International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part II / by: (Language materials, printed)

Computational Science and Its Applications ICCSA 2008 = International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I / by: (Language materials, printed)

Bridging Constraint Satisfaction and Boolean Satisfiability by: (Language materials, printed)

Introduction to Concurrency Theory = Transition Systems and CCS / by: (Language materials, printed)

Advances in Cryptology -- ASIACRYPT 2015 = 21st International Conference on the Theory and Application of Cryptology and Information Security,Auckland, New Zealand, November 29 -- December 3, 2015, Proceedings, Part I / by: (Language materials, printed)

High Performance Computing for Computational Science -- VECPAR 2014 = 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers / by: (Language materials, printed)

Combinatorics on Words = 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings / by: (Language materials, printed)

Unconventional Computation and Natural Computation = 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings / by: (Language materials, printed)

Biomimetic and Biohybrid Systems = 4th International Conference, Living Machines 2015, Barcelona, Spain, July 28 - 31, 2015, Proceedings / by: (Language materials, printed)

Nature of Computation and Communication = International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers / by: (Language materials, printed)

Behavior Modeling -- Foundations and Applications = International Workshops, BM-FA 2009-2014, Revised Selected Papers / by: (Language materials, printed)

Constraint Solving and Planning with Picat by: (Language materials, printed)

Introduction to Evolutionary Computing by: (Language materials, printed)

Graph and Model Transformation = General Framework and Applications / by: (Language materials, printed)

The Foundations of Computability Theory by: (Language materials, printed)

Quantum Computational Number Theory by: (Language materials, printed)

Energy Time Series Forecasting = Efficient and Accurate Forecasting of Evolving Time Series from the Energy Domain / by: (Language materials, printed)

CryptoSchool by: (Language materials, printed)

Higher-Order Computability by: (Language materials, printed)

Petri Net Synthesis by: (Language materials, printed)

Hybride Optimierung für Dimensionsreduktion = Unüberwachte Regression mit Gradientenabstieg und evolutionären Algorithmen / by: (Language materials, printed)

Words and Graphs by: (Language materials, printed)

Natural Computing Algorithms by: (Language materials, printed)

Encyclopedia of Applied and Computational Mathematics by: (Language materials, printed)

Advances in Cryptology – ASIACRYPT 2015 = 21st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29 -- December 3, 2015, Proceedings, Part II / by: (Language materials, printed)

Theory and Applications of Satisfiability Testing -- SAT 2015 = 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings / by: (Language materials, printed)

High Performance Computing = 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings / by: (Language materials, printed)

Applied Cryptography and Network Security = 13th International Conference, ACNS 2015, New York, NY, USA, June 2-5, 2015, Revised Selected Papers / by: (Language materials, printed)

Theory and Applications of Formal Argumentation = Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers / by: (Language materials, printed)

Agents and Artificial Intelligence = 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers / by: (Language materials, printed)

Carl Adam Petri = Life and Science / by: (Language materials, printed)

Parametrisierte uniforme Berechnungskomplexität in Geometrie und Numerik by: (Language materials, printed)

Algorithmic Learning Theory = 26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015, Proceedings / by: (Language materials, printed)

Computer Games = Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers / by: (Language materials, printed)

The Digital Synaptic Neural Substrate = A New Approach to Computational Creativity / by: (Language materials, printed)

High Performance Computing = 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings / by: (Language materials, printed)

Algorithmic Learning Theory = 27th International Conference, ALT 2016, Bari, Italy, October 19-21, 2016, Proceedings / by: (Language materials, printed)

Nature of Computation and Communication = Second International Conference, ICTCC 2016, Rach Gia, Vietnam, March 17-18, 2016, Revised Selected Papers / by: (Language materials, printed)

Advances in Artificial Life, Evolutionary Computation and Systems Chemistry = 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers / by: (Language materials, printed)

Biomimetic and Biohybrid Systems = 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016. Proceedings / by: (Language materials, printed)

Verteilte Laufzeitverifikation auf eingebetteten Systemen = Logiken und Monitorkonstruktionen für asynchrone Prozesse / by: (Language materials, printed)

Applied Cryptography and Network Security = 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings / by: (Language materials, printed)

An Introduction to Online Computation = Determinism, Randomization, Advice / by: (Language materials, printed)

Semantic Web Challenges = Third SemWebEval Challenge at ESWC 2016, Heraklion, Crete, Greece, May 29 - June 2, 2016, Revised Selected Papers / by: (Language materials, printed)

Decision Diagrams for Optimization by: (Language materials, printed)

Energie- und Paritätsgewinnbedingungen auf Spielstrukturen by: (Language materials, printed)

Encyclopedia of Algorithms by: (Language materials, printed)

History and Philosophy of Computing = Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers / by: (Language materials, printed)

Grundkurs Theoretische Informatik = Eine anwendungsbezogene Einführung - Für Studierende in allen Informatik-Studiengängen / by: (Language materials, printed)

Self-aware Computing Systems = An Engineering Approach / by: (Language materials, printed)

Evolutionary Computer Vision = The First Footprints / by: (Language materials, printed)

Turing Computability = Theory and Applications / by: (Language materials, printed)

Principles and Methods of Quantum Information Technologies by: (Language materials, printed)

Decision Procedures = An Algorithmic Point of View / by: (Language materials, printed)

An Introduction to Transfer Entropy = Information Flow in Complex Systems / by: (Language materials, printed)

Topics in Grammatical Inference by: (Language materials, printed)

Finitely Supported Mathematics = An Introduction / by: (Language materials, printed)

Big Data = Grundlagen, Systeme und Nutzungspotenziale / by: (Language materials, printed)

Convex Analysis and Global Optimization by: (Language materials, printed)

Advances in Cryptology – ASIACRYPT 2016 = 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II / by: (Language materials, printed)

Theory and Applications of Satisfiability Testing – SAT 2016 = 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings / by: (Language materials, printed)

Wireless Power Transfer Algorithms, Technologies and Applications in Ad Hoc Communication Networks by: (Language materials, printed)

Hybrid Metaheuristics = Powerful Tools for Optimization / by: (Language materials, printed)

Advances in Cryptology – ASIACRYPT 2016 = 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part I / by: (Language materials, printed)

High Performance Computing = ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19–23, 2016, Revised Selected Papers / by: (Language materials, printed)

Scientific Computing = A Historical Perspective / by: (Language materials, printed)

Transactions on Petri Nets and Other Models of Concurrency XIII by: (Language materials, printed)

Hyper-Heuristics: Theory and Applications by: (Language materials, printed)

Quantum Computing verstehen = Grundlagen – Anwendungen – Perspektiven / by: (Language materials, printed)

Computational Matter by: (Language materials, printed)

Semantics, Analytics, Visualization = 3rd International Workshop, SAVE-SD 2017, Perth, Australia, April 3, 2017, and 4th International Workshop, SAVE-SD 2018, Lyon, France, April 24, 2018, Revised Selected Papers / by: (Language materials, printed)

Software Engineering and Formal Methods = 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings / by: (Language materials, printed)

Mathematical Foundations of Advanced Informatics = Volume 1: Inductive Approaches / by: (Language materials, printed)

Theoretische Informatik = Eine umfassende Einführung / by: (Language materials, printed)

The Making of a New Science = A Personal Journey Through the Early Years of Theoretical Computer Science / by: (Language materials, printed)

Principles in Noisy Optimization = Applied to Multi-agent Coordination / by: (Language materials, printed)

Social, Cultural, and Behavioral Modeling = 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings / by: (Language materials, printed)

Formal Methods = 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / by: (Language materials, printed)

Programming Languages and Systems = 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings / by: (Language materials, printed)

NASA Formal Methods = 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / by: (Language materials, printed)

Parallel Processing and Applied Mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II / by: (Language materials, printed)

An Introduction to Metaheuristics for Optimization by: (Language materials, printed)

Quantum Walks and Search Algorithms by: (Language materials, printed)

Fault-Tolerant Message-Passing Distributed Systems = An Algorithmic Approach / by: (Language materials, printed)

Sailing Routes in the World of Computation = 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings / by: (Language materials, printed)

Foraging-Inspired Optimisation Algorithms by: (Language materials, printed)

Leveraging Applications of Formal Methods, Verification and Validation. Modeling = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I / by: (Language materials, printed)

Leveraging Applications of Formal Methods, Verification and Validation. Verification = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II / by: (Language materials, printed)

Symposium on Real-Time and Hybrid Systems = Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday / by: (Language materials, printed)

Fundamental Approaches to Software Engineering = 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / by: (Language materials, printed)

Machine Learning for Dynamic Software Analysis: Potentials and Limits = International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers / by: (Language materials, printed)

Wie berechenbar ist unsere Welt = Herausforderungen für Mathematik, Informatik und Philosophie im Zeitalter der Digitalisierung / by: (Language materials, printed)

Software Process Improvement and Capability Determination = 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings / by: (Language materials, printed)

New Trends in Model and Data Engineering = MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings / by: (Language materials, printed)

Transactions on Computational Science XXXIII by: (Language materials, printed)

Handbook of Parallel Constraint Reasoning by: (Language materials, printed)

Intelligent Data Engineering and Automated Learning – IDEAL 2018 = 19th International Conference, Madrid, Spain, November 21–23, 2018, Proceedings, Part I / by: (Language materials, printed)

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV / by: (Language materials, printed)

Formal Methods for Industrial Critical Systems = 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / by: (Language materials, printed)

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III / by: (Language materials, printed)

Knowledge Engineering and Knowledge Management = 21st International Conference, EKAW 2018, Nancy, France, November 12-16, 2018, Proceedings / by: (Language materials, printed)

Principles of Security and Trust = 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / by: (Language materials, printed)

Programming Languages and Systems = 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / by: (Language materials, printed)

Transactions on Computational Collective Intelligence XXX by: (Language materials, printed)

Technology and Mathematics = Philosophical and Historical Investigations / by: (Language materials, printed)

Adventures Between Lower Bounds and Higher Altitudes = Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday / by: (Language materials, printed)

Handbook of Model Checking by: (Language materials, printed)

Computational Science – ICCS 2018 = 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II / by: (Language materials, printed)

Computational Science – ICCS 2018 = 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I / by: (Language materials, printed)

Kryptographie = Grundlagen, Algorithmen, Protokolle / by: (Language materials, printed)

Optimization Problems and Their Applications = 7th International Conference, OPTA 2018, Omsk, Russia, July 8-14, 2018, Revised Selected Papers / by: (Language materials, printed)

Theory and Applications of Satisfiability Testing – SAT 2018 = 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings / by: (Language materials, printed)

Computational Science – ICCS 2018 = 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III / by: (Language materials, printed)

Computational Artifacts = Towards a Philosophy of Computer Science / by: (Language materials, printed)

Graphical Models for Security = 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers / by: (Language materials, printed)

Programming Languages and Systems = 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / by: (Language materials, printed)

Knowledge Graphs and Semantic Web = First Iberoamerican Conference, KGSWC 2019, Villa Clara, Cuba, June 23-30, 2019, Proceedings / by: (Language materials, printed)

Software Challenges to Exascale Computing = Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings / by: (Language materials, printed)

Applied Computer Sciences in Engineering = 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings / by: (Language materials, printed)

Computer and Communication Engineering = First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings / by: (Language materials, printed)

AI 2019: Advances in Artificial Intelligence = 32nd Australasian Joint Conference, Adelaide, SA, Australia, December 2–5, 2019, Proceedings / by: (Language materials, printed)

Computer Vision – ACCV 2018 = 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part V / by: (Language materials, printed)

An Introduction to Kolmogorov Complexity and Its Applications by: (Language materials, printed)

Carl Adam Petri: Ideas, Personality, Impact by: (Language materials, printed)

Bio-inspired Information and Communication Technologies = 11th EAI International Conference, BICT 2019, Pittsburgh, PA, USA, March 13–14, 2019, Proceedings / by: (Language materials, printed)

Artificial Intelligence = 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures / by: (Language materials, printed)

Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II / by: (Language materials, printed)

Handbook of Memristor Networks by: (Language materials, printed)

Web Information Systems Engineering – WISE 2019 = 20th International Conference, Hong Kong, China, January 19–22, 2020, Proceedings / by: (Language materials, printed)

Integrated Formal Methods = 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings / by: (Language materials, printed)

PRICAI 2019: Trends in Artificial Intelligence = 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, Part I / by: (Language materials, printed)

Software Engineering and Formal Methods = 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings / by: (Language materials, printed)

Formal Methods for Industrial Critical Systems = 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings / by: (Language materials, printed)

Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I / by: (Language materials, printed)

Conceptual Modeling = 38th International Conference, ER 2019, Salvador, Brazil, November 4–7, 2019, Proceedings / by: (Language materials, printed)

Hypothesis-Driven Simulation Studies = Assistance for the Systematic Design and Conducting of Computer Simulation Experiments / by: (Language materials, printed)

Principles of Security and Trust = 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / by: (Language materials, printed)

Managed Software Evolution by: (Language materials, printed)

Theory and Applications of Satisfiability Testing – SAT 2019 = 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings / by: (Language materials, printed)

Practical Aspects of Declarative Languages = 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings / by: (Language materials, printed)

Digital Libraries for Open Knowledge = 23rd International Conference on Theory and Practice of Digital Libraries, TPDL 2019, Oslo, Norway, September 9-12, 2019, Proceedings / by: (Language materials, printed)

Formal Methods and Software Engineering = 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings / by: (Language materials, printed)

Innovations and Interdisciplinary Solutions for Underserved Areas = Third EAI International Conference, InterSol 2019, Cairo, Egypt, February 14–15, 2019, Proceedings / by: (Language materials, printed)

NASA Formal Methods = 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings / by: (Language materials, printed)

Intelligent Computer Mathematics = 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings / by: (Language materials, printed)

Knowledge Graph and Semantic Computing: Knowledge Computing and Language Understanding = 4th China Conference, CCKS 2019, Hangzhou, China, August 24–27, 2019, Revised Selected Papers / by: (Language materials, printed)

Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV / by: (Language materials, printed)

Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V / by: (Language materials, printed)

Advances and Trends in Artificial Intelligence. From Theory to Practice = 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings / by: (Language materials, printed)

Informatik-Bausteine = Eine komprimierte Einführung / by: (Language materials, printed)

Model-Driven Engineering and Software Development = 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers / by: (Language materials, printed)

Aspekte des Unendlichen = Eine kleine Erzählung für Nichtmathematiker / by: (Language materials, printed)

Structured Object-Oriented Formal Language and Method = 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers / by: (Language materials, printed)

Mathematics of Quantum Computing = An Introduction / by: (Language materials, printed)

Modeling and Using Context = 11th International and Interdisciplinary Conference, CONTEXT 2019, Trento, Italy, November 20–22, 2019, Proceedings / by: (Language materials, printed)

Fundamentals of Software Engineering = 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers / by: (Language materials, printed)

Fundamental Approaches to Software Engineering = 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / by: (Language materials, printed)

Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III / by: (Language materials, printed)

Arto Salomaa: Mathematician, Computer Scientist, and Teacher = A Thematic Biography / by: (Language materials, printed)

Simplicity is Complex = Foundations of Cyber-Physical System Design / by: (Language materials, printed)

Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I / by: (Language materials, printed)

Big Data – BigData 2019 = 8th International Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings / by: (Language materials, printed)

Formal Methods = An Appetizer / by: (Language materials, printed)

Representation Theorems in Computer Science = A Treatment in Logic Engineering / by: (Language materials, printed)

Discovery Science = 22nd International Conference, DS 2019, Split, Croatia, October 28–30, 2019, Proceedings / by: (Language materials, printed)

Intelligent Computing Theories and Application = 15th International Conference, ICIC 2019, Nanchang, China, August 3–6, 2019, Proceedings, Part II / by: (Language materials, printed)

Membrane Computing = 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers / by: (Language materials, printed)

Natural Language Processing and Information Systems = 24th International Conference on Applications of Natural Language to Information Systems, NLDB 2019, Salford, UK, June 26–28, 2019, Proceedings / by: (Language materials, printed)

Intelligent Data Engineering and Automated Learning – IDEAL 2019 = 20th International Conference, Manchester, UK, November 14–16, 2019, Proceedings, Part I / by: (Language materials, printed)

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy = Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday / by: (Language materials, printed)

New Frontiers in Artificial Intelligence = JSAI-isAI 2018 Workshops, JURISIN, AI-Biz, SKL, LENLS, IDAA, Yokohama, Japan, November 12–14, 2018, Revised Selected Papers / by: (Language materials, printed)

Transactions on Petri Nets and Other Models of Concurrency XIV by: (Language materials, printed)

Intelligent Data Engineering and Automated Learning – IDEAL 2019 = 20th International Conference, Manchester, UK, November 14–16, 2019, Proceedings, Part II / by: (Language materials, printed)

Cellular Automata and Discrete Complex Systems = 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020, Proceedings / by: (Language materials, printed)

Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part I / by: (Language materials, printed)

Open Semantic Technologies for Intelligent System = 10th International Conference, OSTIS 2020, Minsk, Belarus, February 19–22, 2020, Revised Selected Papers / by: (Language materials, printed)

Options and Derivatives Programming in C++20 = Algorithms and Programming Techniques for the Financial Industry / by: (Language materials, printed)

Practical Aspects of Declarative Languages = 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings / by: (Language materials, printed)

Rough Sets = International Joint Conference, IJCRS 2020, Havana, Cuba, June 29 – July 3, 2020, Proceedings / by: (Language materials, printed)

Algorithms and Discrete Applied Mathematics = 6th International Conference, CALDAM 2020, Hyderabad, India, February 13–15, 2020, Proceedings / by: (Language materials, printed)

Formal Methods for Industrial Critical Systems = 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings / by: (Language materials, printed)

Convergent Cognitive Information Technologies = Third International Conference, Convergent 2018, Moscow, Russia, November 29 – December 2, 2018, Revised Selected Papers / by: (Language materials, printed)

Chatbot Research and Design = Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19–20, 2019, Revised Selected Papers / by: (Language materials, printed)

Genetic Programming = 23rd European Conference, EuroGP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings / by: (Language materials, printed)

Programming Languages and Systems = 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / by: (Language materials, printed)

Information Processing and Management of Uncertainty in Knowledge-Based Systems = 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings, Part II / by: (Language materials, printed)

Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part III / by: (Language materials, printed)

Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part IV / by: (Language materials, printed)

A Guided Tour of Artificial Intelligence Research = Volume II: AI Algorithms / by: (Language materials, printed)

Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part II / by: (Language materials, printed)

Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part V / by: (Language materials, printed)

Approximation and Online Algorithms = 17th International Workshop, WAOA 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers / by: (Language materials, printed)

Natural Language Processing and Information Systems = 25th International Conference on Applications of Natural Language to Information Systems, NLDB 2020, Saarbrücken, Germany, June 24–26, 2020, Proceedings / by: (Language materials, printed)

Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part VI / by: (Language materials, printed)

Computer Aided Verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I / by: (Language materials, printed)

Conceptual Modeling = 39th International Conference, ER 2020, Vienna, Austria, November 3–6, 2020, Proceedings / by: (Language materials, printed)

Algorithms and Models for the Web Graph = 17th International Workshop, WAW 2020, Warsaw, Poland, September 21–22, 2020, Proceedings / by: (Language materials, printed)

Variable Domain-specific Software Languages with DjDSL = Design and Implementation / by: (Language materials, printed)

Encyclopedia of Algorithms by: (Language materials, printed)

Artificial Life and Evolutionary Computation = 14th Italian Workshop, WIVACE 2019, Rende, Italy, September 18–20, 2019, Revised Selected Papers / by: (Language materials, printed)

Formal Modeling and Analysis of Timed Systems = 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings / by: (Language materials, printed)

NASA Formal Methods = 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings / by: (Language materials, printed)

Integrated Uncertainty in Knowledge Modelling and Decision Making = 8th International Symposium, IUKM 2020, Phuket, Thailand, November 11–13, 2020, Proceedings / by: (Language materials, printed)

Parallel Problem Solving from Nature – PPSN XVI = 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part I / by: (Language materials, printed)

Transactions on Computational Collective Intelligence XXXV by: (Language materials, printed)

Rules and Reasoning = 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings / by: (Language materials, printed)

Theory of Evolutionary Computation = Recent Developments in Discrete Optimization / by: (Language materials, printed)

Quantitative Evaluation of Systems = 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings / by: (Language materials, printed)

Computer Aided Verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / by: (Language materials, printed)

Model-Driven Engineering and Software Development = 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers / by: (Language materials, printed)

Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I / by: (Language materials, printed)

Mathematical Aspects of Computer and Information Sciences = 8th International Conference, MACIS 2019, Gebze, Turkey, November 13–15, 2019, Revised Selected Papers / by: (Language materials, printed)

Predictive Analytics und Data Mining = Eine Einführung mit R / by: (Language materials, printed)

Formal Aspects of Component Software = 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings / by: (Language materials, printed)

Artificial Intelligence. IJCAI 2019 International Workshops = Macao, China, August 10–12, 2019, Revised Selected Best Papers / by: (Language materials, printed)

Information Search, Integration, and Personalization = 13th International Workshop, ISIP 2019, Heraklion, Greece, May 9–10, 2019, Revised Selected Papers / by: (Language materials, printed)

Optimization and Learning = Third International Conference, OLA 2020, Cádiz, Spain, February 17–19, 2020, Proceedings / by: (Language materials, printed)

Modeling Decisions for Artificial Intelligence = 17th International Conference, MDAI 2020, Sant Cugat, Spain, September 2–4, 2020, Proceedings / by: (Language materials, printed)

Numerical Computations: Theory and Algorithms = Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part II / by: (Language materials, printed)

Theory and Applications of Satisfiability Testing – SAT 2020 = 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings / by: (Language materials, printed)

From Lambda Calculus to Cybersecurity Through Program Analysis = Essays Dedicated to Chris Hankin on the Occasion of His Retirement / by: (Language materials, printed)

Formal Techniques for Safety-Critical Systems = 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers / by: (Language materials, printed)

Computing and Combinatorics = 26th International Conference, COCOON 2020, Atlanta, GA, USA, August 29–31, 2020, Proceedings / by: (Language materials, printed)

Evaluation of Novel Approaches to Software Engineering = 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4–5, 2019, Revised Selected Papers / by: (Language materials, printed)

Dependable Software Engineering. Theories, Tools, and Applications = 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings / by: (Language materials, printed)

Learning and Intelligent Optimization = 14th International Conference, LION 14, Athens, Greece, May 24–28, 2020, Revised Selected Papers / by: (Language materials, printed)

Advances in Swarm Intelligence = 11th International Conference, ICSI 2020, Belgrade, Serbia, July 14–20, 2020, Proceedings / by: (Language materials, printed)

Structured Object-Oriented Formal Language and Method = 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers / by: (Language materials, printed)

The Foundations of Computability Theory by: (Language materials, printed)

Evolutionary Computation in Combinatorial Optimization = 20th European Conference, EvoCOP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings / by: (Language materials, printed)

Applications of Evolutionary Computation = 23rd European Conference, EvoApplications 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings / by: (Language materials, printed)

Intelligent Computer Mathematics = 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings / by: (Language materials, printed)

A Pipelined Multi-Core Machine with Operating System Support = Hardware Implementation and Correctness Proof / by: (Language materials, printed)

General-Purpose Optimization Through Information Maximization by: (Language materials, printed)

Variable Neighborhood Search = 7th International Conference, ICVNS 2019, Rabat, Morocco, October 3–5, 2019, Revised Selected Papers / by: (Language materials, printed)

Graph Transformation for Software Engineers = With Applications to Model-Based Development and Domain-Specific Language Engineering / by: (Language materials, printed)

Technology-Inspired Smart Learning for Future Education = 29th National Conference on Computer Science Technology and Education, NCCSTE 2019, Kaifeng, China, October 9–11, 2019, Revised Selected Papers / by: (Language materials, printed)

Understanding Programming Languages by: (Language materials, printed)

Advances in Dynamics, Optimization and Computation = A volume dedicated to Michael Dellnitz on the occasion of his 60th birthday / by: (Language materials, printed)

Computational Complexity and Property Testing = On the Interplay Between Randomness and Computation / by: (Language materials, printed)

Artificial Intelligence in Music, Sound, Art and Design = 9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings / by: (Language materials, printed)

Trends in Functional Programming = 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers / by: (Language materials, printed)

Foundations of Finitely Supported Structures = A Set Theoretical Viewpoint / by: (Language materials, printed)

Parallel Problem Solving from Nature – PPSN XVI = 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part II / by: (Language materials, printed)

KI 2020: Advances in Artificial Intelligence = 43rd German Conference on AI, Bamberg, Germany, September 21–25, 2020, Proceedings / by: (Language materials, printed)

Software Engineering and Formal Methods = SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers / by: (Language materials, printed)

Tools and Algorithms for the Construction and Analysis of Systems = 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I / by: (Language materials, printed)

Research in Computational Molecular Biology = 24th Annual International Conference, RECOMB 2020, Padua, Italy, May 10–13, 2020, Proceedings / by: (Language materials, printed)

Information Processing and Management of Uncertainty in Knowledge-Based Systems = 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings, Part I / by: (Language materials, printed)

Models and Algorithms of Time-Dependent Scheduling by: (Language materials, printed)

Computer Science – Theory and Applications = 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings / by: (Language materials, printed)

Beyond the Horizon of Computability = 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings / by: (Language materials, printed)

Mathematical Optimization Theory and Operations Research = 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020, Proceedings / by: (Language materials, printed)

New Frontiers in Artificial Intelligence = JSAI-isAI International Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, Yokohama, Japan, November 10–12, 2019, Revised Selected Papers / by: (Language materials, printed)

Bio-inspired Computing: Theories and Applications = 14th International Conference, BIC-TA 2019, Zhengzhou, China, November 22–25, 2019, Revised Selected Papers, Part II / by: (Language materials, printed)

Formalizing Natural Languages with NooJ 2019 and Its Natural Language Processing Applications = 13th International Conference, NooJ 2019, Hammamet, Tunisia, June 7–9, 2019, Revised Selected Papers / by: (Language materials, printed)

ADBIS, TPDL and EDA 2020 Common Workshops and Doctoral Consortium = International Workshops: DOING, MADEISD, SKG, BBIGAP, SIMPDA, AIMinScience 2020 and Doctoral Consortium, Lyon, France, August 25–27, 2020, Proceedings / by: (Language materials, printed)

Database and Expert Systems Applications = DEXA 2020 International Workshops BIOKDD, IWCFS and MLKgraphs, Bratislava, Slovakia, September 14–17, 2020, Proceedings / by: (Language materials, printed)

Artificial Intelligence = 18th Russian Conference, RCAI 2020, Moscow, Russia, October 10–16, 2020, Proceedings / by: (Language materials, printed)

Frontiers in Algorithmics = 14th International Workshop, FAW 2020, Haikou, China, October 19-21, 2020, Proceedings / by: (Language materials, printed)

Design Science Research. Cases by: (Language materials, printed)

Algorithmic Aspects of Cloud Computing = 5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 10, 2019, Revised Selected Papers / by: (Language materials, printed)

Universal Time-Series Forecasting with Mixture Predictors by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2–4, 2020, Proceedings, Part II / by: (Language materials, printed)

Artificial Intelligence and Natural Language = 9th Conference, AINL 2020, Helsinki, Finland, October 7–9, 2020, Proceedings / by: (Language materials, printed)

Multivariate Public Key Cryptosystems by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2–4, 2020, Proceedings, Part I / by: (Language materials, printed)

Computational Methods in Systems Biology = 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings / by: (Language materials, printed)

Theory and Practice of Natural Computing = 9th International Conference, TPNC 2020, Taoyuan, Taiwan, December 7–9, 2020, Proceedings / by: (Language materials, printed)

Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II / by: (Language materials, printed)

Data Analysis and Optimization for Engineering and Computing Problems = Proceedings of the 3rd EAI International Conference on Computer Science and Engineering and Health Services / by: (Language materials, printed)

The Algorithm Design Manual by: (Language materials, printed)

Natural Language Processing and Chinese Computing = 9th CCF International Conference, NLPCC 2020, Zhengzhou, China, October 14–18, 2020, Proceedings, Part I / by: (Language materials, printed)

Natural Language Processing and Chinese Computing = 9th CCF International Conference, NLPCC 2020, Zhengzhou, China, October 14–18, 2020, Proceedings, Part II / by: (Language materials, printed)

Construction of Fundamental Data Structures for Strings by: (Language materials, printed)

Applied Computer Sciences in Engineering = 7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7–9, 2020, Proceedings / by: (Language materials, printed)

LATIN 2020: Theoretical Informatics = 14th Latin American Symposium, São Paulo, Brazil, January 5-8, 2021, Proceedings / by: (Language materials, printed)

Intelligent Computing Theories and Application = 16th International Conference, ICIC 2020, Bari, Italy, October 2–5, 2020, Proceedings, Part I / by: (Language materials, printed)

Reachability Problems = 14th International Conference, RP 2020, Paris, France, October 19–21, 2020, Proceedings / by: (Language materials, printed)

Combinatorial Optimization and Applications = 14th International Conference, COCOA 2020, Dallas, TX, USA, December 11–13, 2020, Proceedings / by: (Language materials, printed)

Intelligent Systems = 9th Brazilian Conference, BRACIS 2020, Rio Grande, Brazil, October 20–23, 2020, Proceedings, Part II / by: (Language materials, printed)

Web Information Systems Engineering – WISE 2020 = 21st International Conference, Amsterdam, The Netherlands, October 20–24, 2020, Proceedings, Part I / by: (Language materials, printed)

Understand Mathematics, Understand Computing = Discrete Mathematics That All Computing Students Should Know / by: (Language materials, printed)

Software Verification = 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers / by: (Language materials, printed)

Knowledge Graphs and Semantic Web = Second Iberoamerican Conference and First Indo-American Conference, KGSWC 2020, Mérida, Mexico, November 26–27, 2020, Proceedings / by: (Language materials, printed)

Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part VII / by: (Language materials, printed)

Formal Methods and Software Engineering = 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings / by: (Language materials, printed)

Advances in Computer Games = 16th International Conference, ACG 2019, Macao, China, August 11–13, 2019, Revised Selected Papers / by: (Language materials, printed)

Design Patterns in .NET Core 3 = Reusable Approaches in C# and F# for Object-Oriented Software Design / by: (Language materials, printed)

Advanced Data Mining and Applications = 16th International Conference, ADMA 2020, Foshan, China, November 12–14, 2020, Proceedings / by: (Language materials, printed)

Knowledge Discovery, Knowledge Engineering and Knowledge Management = 11th International Joint Conference, IC3K 2019, Vienna, Austria, September 17-19, 2019, Revised Selected Papers / by: (Language materials, printed)

Graph Drawing and Network Visualization = 28th International Symposium, GD 2020, Vancouver, BC, Canada, September 16–18, 2020, Revised Selected Papers / by: (Language materials, printed)

Computer Algebra in Scientific Computing = 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings / by: (Language materials, printed)

Computational Methods in Systems Biology = 19th International Conference, CMSB 2021, Bordeaux, France, September 22–24, 2021, Proceedings / by: (Language materials, printed)

Introduction to Algorithmic Government by: (Language materials, printed)

Formal Modeling and Analysis of Timed Systems = 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings / by: (Language materials, printed)

Concise Guide to Quantum Computing = Algorithms, Exercises, and Implementations / by: (Language materials, printed)

Evolutionary Multi-Criterion Optimization = 11th International Conference, EMO 2021, Shenzhen, China, March 28–31, 2021, Proceedings / by: (Language materials, printed)

Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings / by: (Language materials, printed)

Formal Methods for Industrial Critical Systems = 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings / by: (Language materials, printed)

Transactions on Petri Nets and Other Models of Concurrency XV by: (Language materials, printed)

Advances in Artificial Intelligence, Computation, and Data Science = For Medicine and Life Science / by: (Language materials, printed)

Formalising Natural Languages: Applications to Natural Language Processing and Digital Humanities = 14th International Conference, NooJ 2020, Zagreb, Croatia, June 5–7, 2020, Revised Selected Papers / by: (Language materials, printed)

Connecting with Computability = 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings / by: (Language materials, printed)

Theory and Applications of Satisfiability Testing – SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings / by: (Language materials, printed)

Tools and Methods of Program Analysis = 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers / by: (Language materials, printed)

Approximation and Online Algorithms = 18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers / by: (Language materials, printed)

Language and Automata Theory and Applications = 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings / by: (Language materials, printed)

From Data to Models and Back = 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers / by: (Language materials, printed)

Advances in Swarm Intelligence = 12th International Conference, ICSI 2021, Qingdao, China, July 17–21, 2021, Proceedings, Part I / by: (Language materials, printed)

Agents and Artificial Intelligence = 12th International Conference, ICAART 2020, Valletta, Malta, February 22–24, 2020, Revised Selected Papers / by: (Language materials, printed)

Experimental and Computational Investigations in Engineering = Proceedings of the International Conference of Experimental and Numerical Investigations and New Technologies, CNNTech 2020 / by: (Language materials, printed)

Fundamental Approaches to Software Engineering = 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings / by: (Language materials, printed)

Tools and Algorithms for the Construction and Analysis of Systems = 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I / by: (Language materials, printed)

Attractor Dimension Estimates for Dynamical Systems: Theory and Computation = Dedicated to Gennady Leonov / by: (Language materials, printed)

Case-Based Reasoning Research and Development = 29th International Conference, ICCBR 2021, Salamanca, Spain, September 13–16, 2021, Proceedings / by: (Language materials, printed)

Stream-Tube Method = A Complex-Fluid Dynamics and Computational Approach / by: (Language materials, printed)

Modeling and Simulation of Complex Dynamical Systems = Virtual Laboratory Approach based on Wolfram SystemModeler / by: (Language materials, printed)

Cluster Analysis and Applications by: (Language materials, printed)

Tools and Algorithms for the Construction and Analysis of Systems = 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II / by: (Language materials, printed)

Analysis and Design of Nonlinear Systems in the Frequency Domain by: (Language materials, printed)

Evolutionary Computation in Combinatorial Optimization = 21st European Conference, EvoCOP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / by: (Language materials, printed)

Multi-Agent Systems = 18th European Conference, EUMAS 2021, Virtual Event, June 28–29, 2021, Revised Selected Papers / by: (Language materials, printed)

Applications of Evolutionary Computation = 24th International Conference, EvoApplications 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / by: (Language materials, printed)

Mathematical Structures of Ergodicity and Chaos in Population Dynamics by: (Language materials, printed)

Petri Nets for Modeling of Large Discrete Systems by: (Language materials, printed)

Nature-Inspired Metaheuristic Algorithms for Engineering Optimization Applications by: (Language materials, printed)

Computational Sciences - Modelling, Computing and Soft Computing = First International Conference, CSMCS 2020, Kozhikode, Kerala, India, September 10-12, 2020, Revised Selected Papers / by: (Language materials, printed)

Artificial Intelligence in Music, Sound, Art and Design = 10th International Conference, EvoMUSART 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / by: (Language materials, printed)

Advances in Information Retrieval = 43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28 – April 1, 2021, Proceedings, Part II / by: (Language materials, printed)

Machine Intelligence and Smart Systems = Proceedings of MISS 2020 / by: (Language materials, printed)

Theoretical Computer Science = 38th National Conference, NCTCS 2020, Nanning, China, November 13–15, 2020, Revised Selected Papers / by: (Language materials, printed)

Complex Systems Design & Management = Proceedings of the 4th International Conference on Complex Systems Design & Management Asia and of the 12th Conference on Complex Systems Design & Management CSD&M 2021 / by: (Language materials, printed)

Policy Decision Modeling with Fuzzy Logic = Theoretical and Computational Aspects / by: (Language materials, printed)

Foundations of Software Science and Computation Structures = 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings / by: (Language materials, printed)

Grundkurs Künstliche Intelligenz = Eine praxisorientierte Einführung / by: (Language materials, printed)

Corruption Networks = Concepts and Applications / by: (Language materials, printed)

Verification, Model Checking, and Abstract Interpretation = 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings / by: (Language materials, printed)

Algorithms as a Basis of Modern Applied Mathematics by: (Language materials, printed)

Service-Oriented Computing = 15th Symposium and Summer School, SummerSOC 2021, Virtual Event, September 13–17, 2021, Proceedings / by: (Language materials, printed)

Introduction to Quantum Computing by: (Language materials, printed)

Chatbot Research and Design = 4th International Workshop, CONVERSATIONS 2020, Virtual Event, November 23–24, 2020, Revised Selected Papers / by: (Language materials, printed)

The Zeroth Book of Graph Theory = An Annotated Translation of Les Réseaux (ou Graphes)—André Sainte-Laguë (1926) / by: (Language materials, printed)

Topological Methods in Data Analysis and Visualization VI = Theory, Applications, and Software / by: (Language materials, printed)

Modelling and Development of Intelligent Systems = 7th International Conference, MDIS 2020, Sibiu, Romania, October 22–24, 2020, Revised Selected Papers / by: (Language materials, printed)

Cellular Automata = 14th International Conference on Cellular Automata for Research and Industry, ACRI 2020, Lodz, Poland, December 2–4, 2020, Proceedings / by: (Language materials, printed)

WALCOM: Algorithms and Computation = 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 – March 2, 2021, Proceedings / by: (Language materials, printed)

PRIMA 2020: Principles and Practice of Multi-Agent Systems = 23rd International Conference, Nagoya, Japan, November 18–20, 2020, Proceedings / by: (Language materials, printed)

Parallel and Distributed Computing, Applications and Technologies = 21st International Conference, PDCAT 2020, Shenzhen, China, December 28–30, 2020, Proceedings / by: (Language materials, printed)

Computational Reconstruction of Missing Data in Biological Research by: (Language materials, printed)

Computational Collective Intelligence = 13th International Conference, ICCCI 2021, Rhodes, Greece, September 29 – October 1, 2021, Proceedings / by: (Language materials, printed)

NASA Formal Methods = 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings / by: (Language materials, printed)

Artificial Intelligence and Machine Learning = 32nd Benelux Conference, BNAIC/Benelearn 2020, Leiden, The Netherlands, November 19–20, 2020, Revised Selected Papers / by: (Language materials, printed)

AIxIA 2020 – Advances in Artificial Intelligence = XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25–27, 2020, Revised Selected Papers / by: (Language materials, printed)

Search-Based Software Engineering = 13th International Symposium, SSBSE 2021, Bari, Italy, October 11–12, 2021, Proceedings / by: (Language materials, printed)

Signalverarbeitung = Analoge und digitale Signale, Systeme und Filter / by: (Language materials, printed)

Artificial Intelligence = 19th Russian Conference, RCAI 2021, Taganrog, Russia, October 11–16, 2021, Proceedings / by: (Language materials, printed)

New Medical Diagnosis Models Based on Generalized Type-2 Fuzzy Logic by: (Language materials, printed)

Logic, Computation and Rigorous Methods = Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday / by: (Language materials, printed)

Membrane Computing = 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers / by: (Language materials, printed)

Handbook of Computability and Complexity in Analysis by: (Language materials, printed)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part V / by: (Language materials, printed)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part VI / by: (Language materials, printed)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part I / by: (Language materials, printed)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part III / by: (Language materials, printed)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part IV / by: (Language materials, printed)

Artificial Intelligence in Education = 22nd International Conference, AIED 2021, Utrecht, The Netherlands, June 14–18, 2021, Proceedings, Part I / by: (Language materials, printed)

SOFSEM 2021: Theory and Practice of Computer Science = 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021, Proceedings / by: (Language materials, printed)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part II / by: (Language materials, printed)

Fundamentals of Cryptography = Introducing Mathematical and Algorithmic Foundations / by: (Language materials, printed)

Integration of Constraint Programming, Artificial Intelligence, and Operations Research = 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings / by: (Language materials, printed)

Computer Science – Theory and Applications = 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28–July 2, 2021, Proceedings / by: (Language materials, printed)

Artificial Intelligence and Soft Computing = 20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part II / by: (Language materials, printed)

Interpretability of Machine Intelligence in Medical Image Computing, and Topological Data Analysis and Its Applications for Medical Data = 4th International Workshop, iMIMIC 2021, and 1st International Workshop, TDA4MedicalData 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021, Proceedings / by: (Language materials, printed)

Structural Information and Communication Complexity = 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings / by: (Language materials, printed)

Fundamentals of Quantum Computing = Theory and Practice / by: (Language materials, printed)

Formal Concept Analysis = 16th International Conference, ICFCA 2021, Strasbourg, France, June 29 – July 2, 2021, Proceedings / by: (Language materials, printed)

Stability Analysis and Controller Design of Local Model Networks by: (Language materials, printed)

Guide to Graph Colouring = Algorithms and Applications / by: (Language materials, printed)

Implementation and Application of Automata = 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings / by: (Language materials, printed)

Reversible Computation = 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings / by: (Language materials, printed)

Formal Methods in Outer Space = Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday / by: (Language materials, printed)

Fundamentals of Software Engineering = 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers / by: (Language materials, printed)

The Physics of Computing by: (Language materials, printed)

Computing and Combinatorics = 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24–26, 2021, Proceedings / by: (Language materials, printed)

New Frontiers in Artificial Intelligence = JSAI-isAI 2020 Workshops, JURISIN, LENLS 2020 Workshops, Virtual Event, November 15–17, 2020, Revised Selected Papers / by: (Language materials, printed)

Advances in Computational Intelligence = 20th Mexican International Conference on Artificial Intelligence, MICAI 2021, Mexico City, Mexico, October 25–30, 2021, Proceedings, Part I / by: (Language materials, printed)

Relational and Algebraic Methods in Computer Science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings / by: (Language materials, printed)

Metaheuristics for Finding Multiple Solutions by: (Language materials, printed)

Reachability Problems = 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings / by: (Language materials, printed)

Discrete and Computational Geometry, Graphs, and Games = 21st Japanese Conference, JCDCGGG 2018, Quezon City, Philippines, September 1-3, 2018, Revised Selected Papers / by: (Language materials, printed)

Guide to Discrete Mathematics = An Accessible Introduction to the History, Theory, Logic and Applications / by: (Language materials, printed)

Theory and Practice of Natural Computing = 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings / by: (Language materials, printed)

Domain Science and Engineering = A Foundation for Software Development / by: (Language materials, printed)

Formal Methods = 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings / by: (Language materials, printed)

Theoretical Computer Science = 39th National Conference of Theoretical Computer Science, NCTCS 2021, Yinchuan, China, July 23–25, 2021, Revised Selected Papers / by: (Language materials, printed)

Knowledge Graphs and Semantic Web = Third Iberoamerican Conference and Second Indo-American Conference, KGSWC 2021, Kingsville, Texas, USA, November 22–24, 2021, Proceedings / by: (Language materials, printed)

Rules and Reasoning = 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13–15, 2021, Proceedings / by: (Language materials, printed)

Software Engineering and Formal Methods = 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings / by: (Language materials, printed)

Fundamentals of Logic and Computation = With Practical Automated Reasoning and Verification / by: (Language materials, printed)

Algorithmic Aspects of Cloud Computing = 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6–7, 2021, Revised Selected Papers / by: (Language materials, printed)

Advances in Optimization and Applications = 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021, Revised Selected Papers / by: (Language materials, printed)

Combinatorial Optimization and Applications = 15th International Conference, COCOA 2021, Tianjin, China, December 17–19, 2021, Proceedings / by: (Language materials, printed)

Algorithmic Aspects in Information and Management = 15th International Conference, AAIM 2021, Virtual Event, December 20–22, 2021, Proceedings / by: (Language materials, printed)

Graph Drawing and Network Visualization = 29th International Symposium, GD 2021, Tübingen, Germany, September 14–17, 2021, Revised Selected Papers / by: (Language materials, printed)

Realizing an Andreev Spin Qubit = Exploring Sub-gap Structure in Josephson Nanowires Using Circuit QED / by: (Language materials, printed)

Computational Thinking: A Perspective on Computer Science by: (Language materials, printed)

Computer Algebra in Scientific Computing = 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings / by: (Language materials, printed)

Computational Methods in Systems Biology = 19th International Conference, CMSB 2021, Bordeaux, France, September 22–24, 2021, Proceedings / by: (Language materials, printed)

Formal Modeling and Analysis of Timed Systems = 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings / by: (Language materials, printed)

Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings / by: (Language materials, printed)

Formal Methods for Industrial Critical Systems = 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings / by: (Language materials, printed)

Approximation and Online Algorithms = 18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers / by: (Language materials, printed)

Connecting with Computability = 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings / by: (Language materials, printed)

Theory and Applications of Satisfiability Testing – SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings / by: (Language materials, printed)

Language and Automata Theory and Applications = 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings / by: (Language materials, printed)

From Data to Models and Back = 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers / by: (Language materials, printed)

Advances in Swarm Intelligence = 12th International Conference, ICSI 2021, Qingdao, China, July 17–21, 2021, Proceedings, Part I / by: (Language materials, printed)

Fundamental Approaches to Software Engineering = 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings / by: (Language materials, printed)

Tools and Algorithms for the Construction and Analysis of Systems = 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I / by: (Language materials, printed)

Tools and Algorithms for the Construction and Analysis of Systems = 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II / by: (Language materials, printed)

Evolutionary Computation in Combinatorial Optimization = 21st European Conference, EvoCOP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / by: (Language materials, printed)

Applications of Evolutionary Computation = 24th International Conference, EvoApplications 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / by: (Language materials, printed)

Logic, Computation and Rigorous Methods = Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday / by: (Language materials, printed)

Membrane Computing = 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers / by: (Language materials, printed)

Artificial Intelligence in Music, Sound, Art and Design = 10th International Conference, EvoMUSART 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / by: (Language materials, printed)

Foundations of Software Science and Computation Structures = 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings / by: (Language materials, printed)

Verification, Model Checking, and Abstract Interpretation = 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings / by: (Language materials, printed)

Cellular Automata = 14th International Conference on Cellular Automata for Research and Industry, ACRI 2020, Lodz, Poland, December 2–4, 2020, Proceedings / by: (Language materials, printed)

WALCOM: Algorithms and Computation = 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 – March 2, 2021, Proceedings / by: (Language materials, printed)

Parallel and Distributed Computing, Applications and Technologies = 21st International Conference, PDCAT 2020, Shenzhen, China, December 28–30, 2020, Proceedings / by: (Language materials, printed)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part I / by: (Language materials, printed)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part III / by: (Language materials, printed)

NASA Formal Methods = 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings / by: (Language materials, printed)

Search-Based Software Engineering = 13th International Symposium, SSBSE 2021, Bari, Italy, October 11–12, 2021, Proceedings / by: (Language materials, printed)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part V / by: (Language materials, printed)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part VI / by: (Language materials, printed)

Integration of Constraint Programming, Artificial Intelligence, and Operations Research = 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings / by: (Language materials, printed)

Computer Science – Theory and Applications = 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28–July 2, 2021, Proceedings / by: (Language materials, printed)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part II / by: (Language materials, printed)

SOFSEM 2021: Theory and Practice of Computer Science = 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021, Proceedings / by: (Language materials, printed)

Structural Information and Communication Complexity = 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings / by: (Language materials, printed)

Implementation and Application of Automata = 25th International Conference, CIAA 2021, Virtual Event, July 19-22, 2021, Proceedings / by: (Language materials, printed)

Reversible Computation = 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings / by: (Language materials, printed)

Formal Methods in Outer Space = Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday / by: (Language materials, printed)

Fundamentals of Software Engineering = 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers / by: (Language materials, printed)

Relational and Algebraic Methods in Computer Science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings / by: (Language materials, printed)

Computing and Combinatorics = 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24–26, 2021, Proceedings / by: (Language materials, printed)

Reachability Problems = 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings / by: (Language materials, printed)

Discrete and Computational Geometry, Graphs, and Games = 21st Japanese Conference, JCDCGGG 2018, Quezon City, Philippines, September 1-3, 2018, Revised Selected Papers / by: (Language materials, printed)

Arithmetic Geometry, Number Theory, and Computation by: (Language materials, printed)

Theory and Practice of Natural Computing = 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings / by: (Language materials, printed)

Formal Methods = 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings / by: (Language materials, printed)

Rules and Reasoning = 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13–15, 2021, Proceedings / by: (Language materials, printed)

Software Engineering and Formal Methods = 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings / by: (Language materials, printed)

Algorithmic Aspects in Information and Management = 15th International Conference, AAIM 2021, Virtual Event, December 20–22, 2021, Proceedings / by: (Language materials, printed)

Algorithmic Aspects of Cloud Computing = 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6–7, 2021, Revised Selected Papers / by: (Language materials, printed)

Combinatorial Optimization and Applications = 15th International Conference, COCOA 2021, Tianjin, China, December 17–19, 2021, Proceedings / by: (Language materials, printed)

Techniques for Searching, Parsing, and Matching by: (Language materials, printed)

Formalizing Natural Languages: Applications to Natural Language Processing and Digital Humanities = 15th International Conference, NooJ 2021, Besançon, France, June 9–11, 2021, Revised Selected Papers / by: (Language materials, printed)

Introduction to Computation = Haskell, Logic and Automata / by: (Language materials, printed)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part IV / by: (Language materials, printed)

Computer Safety, Reliability, and Security = 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings / by: (Language materials, printed)

Formal Modeling and Analysis of Timed Systems = 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings / by: (Language materials, printed)

Formal Methods for Industrial Critical Systems = 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings / by: (Language materials, printed)

Knowledge Discovery, Knowledge Engineering and Knowledge Management = 12th International Joint Conference, IC3K 2020, Virtual Event, November 2-4, 2020, Revised Selected Papers / by: (Language materials, printed)

Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops = DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6–9, 2022, Proceedings / by: (Language materials, printed)

Diagrammatic Representation and Inference = 13th International Conference, Diagrams 2022, Rome, Italy, September 14–16, 2022, Proceedings / by: (Language materials, printed)

A Journey from Process Algebra via Timed Automata to Model Learning = Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday / by: (Language materials, printed)

Quantitative Evaluation of Systems = 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings / by: (Language materials, printed)

Advances in Swarm Intelligence = 13th International Conference, ICSI 2022, Xi'an, China, July 15–19, 2022, Proceedings, Part I / by: (Language materials, printed)

Algorithmic Aspects in Information and Management = 16th International Conference, AAIM 2022, Guangzhou, China, August 13–14, 2022, Proceedings / by: (Language materials, printed)

Graph-Based Representation and Reasoning = 27th International Conference on Conceptual Structures, ICCS 2022, Münster, Germany, September 12–15, 2022, Proceedings / by: (Language materials, printed)

Explainable and Transparent AI and Multi-Agent Systems = 4th International Workshop, EXTRAAMAS 2022, Virtual Event, May 9–10, 2022, Revised Selected Papers / by: (Language materials, printed)

Introduction to Combinatorial Optimization by: (Language materials, printed)

Grundlagen der Theoretischen Informatik by: (Language materials, printed)

Formal Methods and Software Engineering = 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings / by: (Language materials, printed)

From Data to Models and Back = 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers / by: (Language materials, printed)

The Semantic Web – ISWC 2022 = 21st International Semantic Web Conference, Virtual Event, October 23–27, 2022, Proceedings / by: (Language materials, printed)

Discrete Geometry and Mathematical Morphology = Second International Joint Conference, DGMM 2022, Strasbourg, France, October 24–27, 2022, Proceedings / by: (Language materials, printed)

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning = 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III / by: (Language materials, printed)

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering = 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II / by: (Language materials, printed)

Automated Technology for Verification and Analysis = 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings / by: (Language materials, printed)

Swarm Intelligence = 13th International Conference, ANTS 2022, Málaga, Spain, November 2–4, 2022, Proceedings / by: (Language materials, printed)

LATIN 2022: Theoretical Informatics = 15th Latin American Symposium, Guanajuato, Mexico, November 7–11, 2022, Proceedings / by: (Language materials, printed)

Handbook of Logical Thought in India by: (Language materials, printed)

Search-Based Software Engineering = 14th International Symposium, SSBSE 2022, Singapore, November 17–18, 2022, Proceedings / by: (Language materials, printed)

Knowledge Graph and Semantic Computing: Knowledge Graph Empowers the Digital Economy = 7th China Conference, CCKS 2022, Qinhuangdao, China, August 24–27, 2022, Revised Selected Papers / by: (Language materials, printed)

Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XV = International Workshop, COINE 2022, Virtual Event, May 9, 2022, Revised Selected Papers / by: (Language materials, printed)

Programming Languages and Systems = 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings / by: (Language materials, printed)

Formal Methods: Foundations and Applications = 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings / by: (Language materials, printed)

Rules and Reasoning = 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings / by: (Language materials, printed)

Bio-inspired Systems and Applications: from Robotics to Ambient Intelligence = 9th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2022, Puerto de la Cruz, Tenerife, Spain, May 31 – June 3, 2022, Proceedings, Part II / by: (Language materials, printed)

Research in Computational Molecular Biology = 26th Annual International Conference, RECOMB 2022, San Diego, CA, USA, May 22–25, 2022, Proceedings / by: (Language materials, printed)

Advanced Information Systems Engineering = 34th International Conference, CAiSE 2022, Leuven, Belgium, June 6–10, 2022, Proceedings / by: (Language materials, printed)

Integration of Constraint Programming, Artificial Intelligence, and Operations Research = 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings / by: (Language materials, printed)

Encyclopedia of Computational Neuroscience by: (Language materials, printed)

Formal Techniques for Distributed Objects, Components, and Systems = 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings / by: (Language materials, printed)

Culture and Computing = 10th International Conference, C&C 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings / by: (Language materials, printed)

Algorithmische Geometrie = Grundlagen, Methoden, Anwendungen / by: (Language materials, printed)

Computational Science – ICCS 2022 = 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part II / by: (Language materials, printed)

Computational Science – ICCS 2022 = 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part III / by: (Language materials, printed)

Computational Science – ICCS 2022 = 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part I / by: (Language materials, printed)

Computational Science – ICCS 2022 = 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part IV / by: (Language materials, printed)

Formal Methods for Software Engineering = Languages, Methods, Application Domains / by: (Language materials, printed)

Computer Science – Theory and Applications = 17th International Computer Science Symposium in Russia, CSR 2022, Virtual Event, June 29 – July 1, 2022, Proceedings / by: (Language materials, printed)

Advances in Swarm Intelligence = 13th International Conference, ICSI 2022, Xi'an, China, July 15–19, 2022, Proceedings, Part II / by: (Language materials, printed)

Z2Z4-Linear Codes by: (Language materials, printed)

Nature Inspired Optimisation for Delivery Problems = From Theory to the Real World / by: (Language materials, printed)

The Logic of Software. A Tasting Menu of Formal Methods = Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday / by: (Language materials, printed)

Runtime Verification = A Hands-On Approach in Java / by: (Language materials, printed)

Agents and Artificial Intelligence = 13th International Conference, ICAART 2021, Virtual Event, February 4–6, 2021, Revised Selected Papers / by: (Language materials, printed)

Knowledge Science, Engineering and Management = 15th International Conference, KSEM 2022, Singapore, August 6–8, 2022, Proceedings, Part I / by: (Language materials, printed)

Advances in Computer Games = 17th International Conference, ACG 2021, Virtual Event, November 23–25, 2021, Revised Selected Papers / by: (Language materials, printed)

Computability by: (Language materials, printed)

Computer Aided Verification = 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II / by: (Language materials, printed)

Blockchain Scalability and its Foundations in Distributed Systems by: (Language materials, printed)

Understanding Computation = Pillars, Paradigms, Principles / by: (Language materials, printed)

Cellular Automata = 15th International Conference on Cellular Automata for Research and Industry, ACRI 2022, Geneva, Switzerland, September 12–15, 2022, Proceedings / by: (Language materials, printed)

Parallel Problem Solving from Nature – PPSN XVII = 17th International Conference, PPSN 2022, Dortmund, Germany, September 10–14, 2022, Proceedings, Part I / by: (Language materials, printed)

Engineering Multi-Agent Systems = 9th International Workshop, EMAS 2021, Virtual Event, May 3–4, 2021, Revised Selected Papers / by: (Language materials, printed)

Consciousness, Cognition and Crosstalk: The Evolutionary Exaptation of Nonergodic Groupoid Symmetry-Breaking by: (Language materials, printed)

Sublinear Computation Paradigm = Algorithmic Revolution in the Big Data Era / by: (Language materials, printed)

WALCOM: Algorithms and Computation = 16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24–26, 2022, Proceedings / by: (Language materials, printed)

Parallel and Distributed Computing, Applications and Technologies = 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17–19, 2021, Proceedings / by: (Language materials, printed)

Large-Scale Scientific Computing = 13th International Conference, LSSC 2021, Sozopol, Bulgaria, June 7–11, 2021, Revised Selected Papers / by: (Language materials, printed)

Data, Information, and Time = The DIT Model / by: (Language materials, printed)

Bio-Inspired Computing: Theories and Applications = 16th International Conference, BIC-TA 2021, Taiyuan, China, December 17–19, 2021, Revised Selected Papers, Part I / by: (Language materials, printed)

Foundations of Software Science and Computation Structures = 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings / by: (Language materials, printed)

Programming Languages and Systems = 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings / by: (Language materials, printed)

Fundamental Approaches to Software Engineering = 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings / by: (Language materials, printed)

Tools and Algorithms for the Construction and Analysis of Systems = 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I / by: (Language materials, printed)

Tools and Algorithms for the Construction and Analysis of Systems = 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II / by: (Language materials, printed)

Application of Intelligent Control Algorithms to Study the Dynamics of Hybrid Power System by: (Language materials, printed)

Observer Design for Control and Fault Diagnosis of Boolean Networks by: (Language materials, printed)

Practical Aspects of Declarative Languages = 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings / by: (Language materials, printed)

Verification, Model Checking, and Abstract Interpretation = 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings / by: (Language materials, printed)

Applications of Evolutionary Computation = 25th European Conference, EvoApplications 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings / by: (Language materials, printed)

Artificial Intelligence in Music, Sound, Art and Design = 11th International Conference, EvoMUSART 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings / by: (Language materials, printed)

Transactions on Petri Nets and Other Models of Concurrency XVI by: (Language materials, printed)

Chatbot Research and Design = 5th International Workshop, CONVERSATIONS 2021, Virtual Event, November 23–24, 2021, Revised Selected Papers / by: (Language materials, printed)

Database Systems for Advanced Applications = 27th International Conference, DASFAA 2022, Virtual Event, April 11–14, 2022, Proceedings, Part I / by: (Language materials, printed)

Artificial Intelligence and Evolutionary Computations in Engineering Systems = Computational Algorithm for AI Technology, Proceedings of ICAIECES 2020 / by: (Language materials, printed)

Formale Sprachen, abstrakte Automaten und Compiler = Lehr- und Arbeitsbuch mit FLACI für Grundstudium und Fortbildung / by: (Language materials, printed)

Metaheuristics and Nature Inspired Computing = 8th International Conference, META 2021, Marrakech, Morocco, October 27-30, 2021, Proceedings / by: (Language materials, printed)

Philosophy of Computing = Themes from IACAP 2019 / by: (Language materials, printed)

Artificial intelligence and natural language = 11th Conference, AINL 2022, Saint Petersburg, Russia, April 14-15, 2022 : revised selected papers / by: (Language materials, printed)

Artificial life and evolutionary computation = 15th Italian Workshop, WIVACE 2021, Winterthur, Switzerland, September 15-17, 2021 : revised selected papers / by: (Language materials, printed)

Transactions on computational collective intelligence XXXVII by: (Language materials, printed)

Learning and intelligent optimization = 16th International Conference, LION 16, Milos Island, Greece, June 5-10, 2022 : revised selected papers / by: (Language materials, printed)

Advanced information systems engineering = 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12-16, 2023 : proceedings / by: (Language materials, printed)

Computational science - ICCS 2023 = 23rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.. Part III / by: (Language materials, printed)

Computational science - ICCS 2023 = 23rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.. Part I / by: (Language materials, printed)

Computational science - ICCS 2023 = 23rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.. Part V / by: (Language materials, printed)

Computational science - ICCS 2023 = 23rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.. Part IV / by: (Language materials, printed)

Computational science - ICCS 2023 = 23rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.. Part II / by: (Language materials, printed)

Information is energy = definition of a physically based concept of information / by: (Language materials, printed)

Applied analysis, optimization and soft computing = ICNAAO-2021, Varanasi, India, December 21-23 / by: (Language materials, printed)

Walcom = algorithms and computation : 16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24-26, 2022 : proceedings / by: (Language materials, printed)

Formal methods for industrial critical systems = 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022 : proceedings / by: (Language materials, printed)

Diagrammatic representation and inference = 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022 : proceedings / by: (Language materials, printed)

Culture and computing = 10th International Conference, C&C 2022, held as part of the 24th HCI International Conference, HCII 2022, virtual event, June 26 - July 1, 2022 : proceedings / by: (Language materials, printed)

The logic of software = a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday / by: (Language materials, printed)

Philosophy of computing = themes from IACAP 2019 / by: (Language materials, printed)

Formal modeling and analysis of timed systems = 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings / by: (Language materials, printed)

Fundamentals of software engineering = 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023 : revised selected papers / by: (Language materials, printed)

Knowledge science, engineering and management = 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023 : proceedings.. Part II / by: (Language materials, printed)

Implementation and application of automata = 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023 : proceedings / by: (Language materials, printed)

Graph-based representation and reasoning = 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023 : proceedings / by: (Language materials, printed)

Cellular automata and discrete complex systems = 29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 - September 1, 2023 : proceedings / by: (Language materials, printed)

Explainable and transparent AI and multi-agent systems = 5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023 : revised selected papers / by: (Language materials, printed)

Programs as diagrams = from categorical computability to computable categories / by: (Language materials, printed)

Computer safety, reliability, and security = SAFECOMP 2023 Workshops, ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023 : proceedings / by: (Language materials, printed)

Quantitative evaluation of systems = 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings / by: (Language materials, printed)

Formal methods for industrial critical systems = 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings / by: (Language materials, printed)

Colored petri nets for modeling of discrete systems = a practical approach with GPenSIM / by: (Language materials, printed)

Programming languages = principles and paradigms / by: (Language materials, printed)

Automated technology for verification and analysis = 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings.. Part II / by: (Language materials, printed)

Rules and reasoning = 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023 : proceedings / by: (Language materials, printed)

Automated technology for verification and analysis = 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings.. Part I / by: (Language materials, printed)

Complex computational ecosystems = first International Conference, CCE 2023, Baku, Azerbaijan, April 25-27, 2023 : proceedings / by: (Language materials, printed)

Advances in conceptual modeling = ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6-9, 2023 : proceedings / by: (Language materials, printed)

The semantic web - ISWC 2023 = 22nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023 : proceedings.. Part I / by: (Language materials, printed)

The semantic web - ISWC 2023 = 22nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023 : proceedings.. Part II / by: (Language materials, printed)

AIxIA 2023 - Advances in Artificial Intelligence = XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023 : proceedings / by: (Language materials, printed)

Solvable cellular automata = methods and applications / by: (Language materials, printed)

Artificial intelligence logic and applications = the 3rd International Conference, AILA 2023, Changchun, China, august 5-6, 2023 : proceedings / by: (Language materials, printed)

Scheduling and reconfiguration of real-time systems = a supervisory control approach / by: (Language materials, printed)

Programming languages and systems = 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023 : proceedings / by: (Language materials, printed)

Engineering multi-agent systems = 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023 : revised selected papers / by: (Language materials, printed)

Coordination, organizations, institutions, norms, and ethics for governance of multi-agent systems XVI = 27th International Workshop, COINE 2023, London, UK, May 29, 2023 : revised selected papers / by: (Language materials, printed)

Graph drawing and network visualization = 31st international symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20-22, 2023 : revised selected papers.. Part II / by: (Language materials, printed)

Practical aspects of declarative languages = 26th international symposium, PADL 2024, London, UK, January 15-16, 2024 : proceedings / by: (Language materials, printed)

Graph drawing and network visualization = 31st international symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20-22, 2023 : revised selected papers.. Part I / by: (Language materials, printed)

Intelligent software defect prediction by: (Language materials, printed)

WALCOM = algorithms and computation : 17th International Conference and Workshops, WALCOM 2023, Hsinchu, Taiwan, March 22-24, 2023 : proceedings / by: (Language materials, printed)

Algorithms and models for the web graph = 18th International Workshop, WAW 2023, Toronto, ON, Canada, May 23-26, 2023 : proceedings / by: (Language materials, printed)

Formal concept analysis = 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023 : proceedings / by: (Language materials, printed)

Computational collective intelligence = 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023 : proceedings / by: (Language materials, printed)

Generalizing from limited resources in the open world = second International Workshop, GLOW 2024, held in conjunction with IJCAI 2024, Jeju, South Korea, August 3, 2024 : proceedings / by: (Language materials, printed)

Cellular automata and discrete complex systems = 30th IFIP WG 1.5 International Workshop, AUTOMATA 2024, Durham, UK, July 22-24, 2024 : proceedings / by: (Language materials, printed)

Robust argumentation machines = first International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024 : proceedings / by: (Language materials, printed)

Conceptual knowledge structures = first International Joint Conference, CONCEPTS 2024, Cádiz, Spain, September 9-13, 2024 : proceedings / by: (Language materials, printed)

Software engineering and formal methods = SEFM 2023 Collocated Workshops : CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023 : revised selected papers / by: (Language materials, printed)

Advanced spiking neural P systems = models and applications / by: (Language materials, printed)

Modeling decisions for artificial intelligence = 21st International Conference, MDAI 2024, Tokyo, Japan, August 27-31, 2024 : proceedings / by: (Language materials, printed)

Formal methods for industrial critical systems = 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024 : proceedings / by: (Language materials, printed)

Advances in swarm intelligence = 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024 : proceedings.. Part I / by: (Language materials, printed)

Advances in swarm intelligence = 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024 : proceedings.. Part II / by: (Language materials, printed)

Quantitative evaluation of systems and formal modeling and analysis of timed systems = first International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024 : proceedings / by: (Language materials, printed)

Symbolic computation in software science = 10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024 : proceedings / by: (Language materials, printed)

Cellular automata = 16th International Conference on Cellular Automata for Research and Industry, ACRI 2024, Florence, Italy, September 9-11, 2024 : proceedings / by: (Language materials, printed)

Implementation and application of automata = 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024 : proceedings / by: (Language materials, printed)

Advances in swarm intelligence = 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023 : proceedings.. Part II / by: (Language materials, printed)

Advances in swarm intelligence = 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023 : proceedings.. Part I / by: (Language materials, printed)

The logic, philosophy, and history of the lambda-calculus = theory and applications / by: (Language materials, printed)

Metaheuristics and nature inspired computing = 9th International Conference, META 2023, Marrakech, Morocco, November 1-4, 2023 : revised selected papers / by: (Language materials, printed)

Rules and reasoning = 8th international joint conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024 : proceedings / by: (Language materials, printed)

Computational collective intelligence = 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024 : proceedings.. Part I / by: (Language materials, printed)

Computational collective intelligence = 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024 : proceedings.. Part II / by: (Language materials, printed)

Computer safety, reliability, and security = SAFECOMP 2024 Workshops, DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024 : proceedings / by: (Language materials, printed)

Diagrammatic representation and inference = 14th International Conference, Diagrams 2024, Münster, Germany, September 27-October 1, 2024 : proceedings / by: (Language materials, printed)

Algorithmic aspects in information and management = 18th International Conference, AAIM 2024, virtual event, September 21-23, 2024 : proceedings.. Part II / by: (Language materials, printed)

Algorithmic aspects in information and management = 18th International Conference, AAIM 2024, virtual event, September 21-23, 2024 : proceedings.. Part I / by: (Language materials, printed)

Explainable and transparent AI and multi-agent systems = 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6-10, 2024 : revised selected papers / by: (Language materials, printed)

SOFSEM 2024 = theory and practice of computer science : 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024 : proceedings / by: (Language materials, printed)

Formal techniques for distributed objects, components, and systems = 45th IFIP WG 6.1 International Conference, FORTE 2025, held as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025 : proceedings / by: (Language materials, printed)

Nasa formal methods = 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025 : proceedings / by: (Language materials, printed)

Languages of cooperation and communication = essays dedicated to Erzsébet Csuhaj-Varjú to celebrate her scientific career / by: (Language materials, printed)

Computational science - ICCS 2025 Workshops = 25th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.. Part IV / by: (Language materials, printed)

Advanced information systems engineering = 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025 : proceedings.. Part I / by: (Language materials, printed)

Advanced information systems engineering = 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025 : proceedings.. Part II / by: (Language materials, printed)

Crossroads of computability and logic = insights, inspirations, and innovations : 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025 : proceedings / by: (Language materials, printed)

Algorithmic aspects of cloud computing = 9th International Symposium, ALGOCLOUD 2024, London, UK, September 2-3, 2024 : revised selected papers / by: (Language materials, printed)

Integration of constraint programming, artificial intelligence, and operations research = 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025 : proceedings.. Part I / by: (Language materials, printed)

Integration of constraint programming, artificial intelligence, and operations research = 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025 : proceedings.. Part II / by: (Language materials, printed)

Principles and practices of building parallel software = essays dedicated to Vivek Sarkar on the occasion of his 64th birthday / by: (Language materials, printed)

Computational science - ICCS 2025 = 25th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.. Part I / by: (Language materials, printed)

Computational science - ICCS 2025 Workshops = 25th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.. Part VI / by: (Language materials, printed)

Restarting automata = the standard type of restarting automaton and its variants / by: (Language materials, printed)

Principle of Petri nets by: (Language materials, printed)

Programming languages and systems = 22nd Asian symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024 : proceedings / by: (Language materials, printed)

TOOLympics challenge 2023 = updates, results, successes of the formal-methods competitions / by: (Language materials, printed)

Principles of verification = cycling the probabilistic landscape : essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday.. Part II / by: (Language materials, printed)

Principles of verification = cycling the probabilistic landscape : essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday.. Part I / by: (Language materials, printed)

PRIMA 2024 = principles and practice of multi-agent systems : 25th International Conference, Kyoto, Japan, November 18-24, 2024 : proceedings / by: (Language materials, printed)

Principles of verification: cycling the probabilistic landscape = essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday.. Part III / by: (Language materials, printed)

The semantic web - ISWC 2024 = 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024 : proceedings.. Part I / by: (Language materials, printed)

The semantic web - ISWC 2024 = 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024 : proceedings.. Part III / by: (Language materials, printed)

Dependable software engineering = theories, tools, and applications : 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024 : proceedings / by: (Language materials, printed)

The semantic web - ISWC 2024 = 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024 : proceedings.. Part II / by: (Language materials, printed)

Formal methods = foundations and applications : 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024 : proceedings / by: (Language materials, printed)

Progress in Cryptology - INDOCRYPT 2024 = 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024 : proceedings.. Part I / by: (Language materials, printed)

Progress in Cryptology - INDOCRYPT 2024 = 25th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024 : proceedings.. Part II / by: (Language materials, printed)

AIxIA 2024 - advances in artificial intelligence = XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024 Bolzano, Italy, November 25-28, 2024 : proceedings / by: (Language materials, printed)

Theoretical computer science = 42nd National Conference, NCTCS 2024, Qingdao, China, July 19-21, 2024 : revised selected papers / by: (Language materials, printed)

Restarting automata = extensions and generalizations / by: (Language materials, printed)

Theory of computation = automata, formal languages, computation and complexity / by: (Language materials, printed)

Advances in computer graphics = 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024 : proceedings.. Part II / by: (Language materials, printed)

Coordination, organizations, institutions, norms, and ethics for governance of multi-agent systems XVII = International Workshop, COINE 2024, Auckland, New Zealand, May 7, 2024 : revised selected papers / by: (Language materials, printed)

Verification, model checking, and abstract interpretation = 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025 : proceedings.. Part II / by: (Language materials, printed)

Verification, model checking, and abstract interpretation = 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025 : proceedings.. Part I / by: (Language materials, printed)

Reasoning web. declarative artificial intelligence: knowledge, rules, logic = 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, tutorial lectures / by: (Language materials, printed)

Automated technology for verification and analysis = 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024 : proceedings.. Part I / by: (Language materials, printed)

SOFSEM 2025 = theory and practice of computer science : 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025 : proceedings.. Part I / by: (Language materials, printed)

Automated technology for verification and analysis = 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024 : proceedings.. Part II / by: (Language materials, printed)

SOFSEM 2025 = theory and practice of computer science : 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025 : proceedings.. Part II / by: (Language materials, printed)

Computing and combinatorics = 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024 : proceedings.. Part III / by: (Language materials, printed)

Advances in computer graphics = 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024 : proceedings.. Part III / by: (Language materials, printed)

Advances in computer graphics = 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024 : proceedings.. Part I / by: (Language materials, printed)

Advances in computational intelligence = MICAI 2024 International Workshops : HIS 2024, WILE 2024, and CIAPP 2024, Tonantzintla, Mexico, October 21-25, 2024 : proceedings.. Part II / by: (Language materials, printed)

Computing and combinatorics = 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024 : proceedings.. Part II / by: (Language materials, printed)

WALCOM = algorithms and computation : 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025 : proceedings / by: (Language materials, printed)

Advances in brain inspired cognitive systems = 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024 : proceedings.. Part I / by: (Language materials, printed)

Advances in computational intelligence = MICAI 2024 International Workshops : HIS 2024, WILE 2024, and CIAPP 2024, Tonantzintla, Mexico, October 21-25, 2024 : proceedings.. Part I / by: (Language materials, printed)

Advances in brain inspired cognitive systems = 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024 : proceedings.. Part II / by: (Language materials, printed)

Practical aspects of declarative languages = 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025 : proceedings / by: (Language materials, printed)

Fundamentals of software engineering = 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025 : proceedings / by: (Language materials, printed)

Human and artificial rationalities = advances in cognition, computation, and consciousness : third International Conference, HAR 2024, Paris, France, September 17-20, 2024 : proceedings / by: (Language materials, printed)

Evolutionary computation in combinatorial optimization = 25th European Conference, EvoCOP 2025, held as part of EvoStar 2025, Trieste, Italy, April 23-25, 2025 : proceedings / by: (Language materials, printed)

Parallel and distributed computing, applications and technologies = 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024 : proceedings / by: (Language materials, printed)

An introduction to theory of computation = an algorithmic approach / by: (Language materials, printed)

Knowledge discovery, knowledge engineering and knowledge management = 15th International Joint Conference, IC3K 2023, Rome, Italy, November 13-15, 2023 : revised selected papers / by: (Language materials, printed)

Simulating the brain = a four-step method using ordinary differential equations and Python / by: (Language materials, printed)

From data to models and back = 11th International Symposium, DataMod 2023, Eindhoven, the Netherlands, November 6-7, 2023 : revised selected papers / by: (Language materials, printed)

From data to models and back = 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4-5, 2024 : revised selected papers / by: (Language materials, printed)

Artificial intelligence in music, sound, art and design = 14th International Conference, EvoMUSART 2025, held as part of EvoStar 2025, Trieste, Italy, April 23-25, 2025 : proceedings / by: (Language materials, printed)

Applications of evolutionary computation = 28th European Conference, EvoApplications 2025, held as part of EvoStar 2025, Trieste, Italy, April 23-25, 2025 : proceedings.. Part I / by: (Language materials, printed)

Applications of evolutionary computation = 28th European Conference, EvoApplications 2025, held as part of EvoStar 2025, Trieste, Italy, April 23-25, 2025 : proceedings.. Part II / by: (Language materials, printed)

Agents and artificial intelligence = 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024 : revised selected papers.. Part I / by: (Language materials, printed)

Combinatorial optimization and applications = 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024 : proceedings.. Part I / by: (Language materials, printed)

Agents and artificial intelligence = 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024 : revised selected papers.. Part II / by: (Language materials, printed)

Tools and algorithms for the construction and analysis of systems = 31st International Conference, TACAS 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings.. Part III / by: (Language materials, printed)

Foundations of software science and computation structures = 28th International Conference, FoSSaCS 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings / by: (Language materials, printed)

Tools and algorithms for the construction and analysis of systems = 31st International Conference, TACAS 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings.. Part I / by: (Language materials, printed)

Fundamental approaches to software engineering = 28th International Conference, FASE 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings / by: (Language materials, printed)

Combinatorial optimization and applications = 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024 : proceedings.. Part II / by: (Language materials, printed)

Modelling and mining networks = 20th International Workshop, WAW 2025, Vilnius, Lithuania, June 30 - July 3, 2025 : proceedings / by: (Language materials, printed)

New frontiers in artificial intelligence = JSAI International Symposium on Artificial Intelligence, JSAI-isAI 2025, Osaka, Japan, May 26-27, 2025 : proceedings / by: (Language materials, printed)

Applications of computational intelligence in management and mathematics. = 9th ICCM 2023, NERIST, Arunachal Pradesh, India, August 04-05 /. II by: (Language materials, printed)

Face method = toward the new generation of linear programming / by: (Language materials, printed)

Computational science - ICCS 2025 = 25th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.. Part IV / by: (Language materials, printed)

Computational science - ICCS 2025 Workshops = 25th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.. Part II / by: (Language materials, printed)

Computational science - ICCS 2025 Workshops = 25th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.. Part III / by: (Language materials, printed)

Computational science - ICCS 2025 Workshops = 25th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.. Part V / by: (Language materials, printed)

Computational science - ICCS 2025 = 25th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.. Part II / by: (Language materials, printed)

Computational science - ICCS 2025 = 25th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.. Part III / by: (Language materials, printed)

Computational science - ICCS 2025 Workshops = 25th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.. Part I / by: (Language materials, printed)