Theory of Computation.

Logics of Specification Languages / by: (Electronic resources)

SOFSEM 2008: Theory and Practice of Computer Science :34th Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 19-25, 2008. Proceedings / by: (Electronic resources)

Pillars of Computer Science :Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday / by: (Electronic resources)

Euro-Par 2007 Workshops: Parallel ProcessingHPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers / by: (Electronic resources)

UnfoldingsA Partial-Order Approach to Model Checking / by: (Electronic resources)

Theory and applications of models of computation5th international conference, TAMC 2008, Xi'an, China, April 25-29, 2008 ; proceedings / by: (Electronic resources)

Principles of the Spin model checker by: (Electronic resources)

Decision ProceduresAn Algorithmic Point of View / by: (Electronic resources)

Concurrent Zero-KnowledgeWith Additional Background by Oded Goldreich / by: (Electronic resources)

Grammatical Picture GenerationA Tree-Based Approach / by: (Electronic resources)

SOFSEM 2006: Theory and Practice of Computer Science32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006, Proceedings / by: (Electronic resources)

Theory and Applications of Models of ComputationThird International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings / by: (Electronic resources)

Computational Science and Its Applications - ICCSA 2006 (vol. # 3980)International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part I / by: (Electronic resources)

Computational Science and Its Applications - ICCSA 2006 (vol. # 3981)International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part II / by: (Electronic resources)

Computer Science -- Theory and ApplicationsFirst International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings / by: (Electronic resources)

Computational Science - ICCS 2006 (vol. # 3991)6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I / by: (Electronic resources)

Computational Science - ICCS 2006 (vol. # 3992)6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part II / by: (Electronic resources)

Computational Science - ICCS 2006 (vol. # 3993)6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part III / by: (Electronic resources)

Computational Science - ICCS 2006 (vol. # 3994)6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV / by: (Electronic resources)

Petri Nets and Other Models of Concurrency - ICATPN 200627th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings / by: (Electronic resources)

Algebra, Meaning, and ComputationEssays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday / by: (Electronic resources)

Logical Approaches to Computational BarriersSecond Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings / by: (Electronic resources)

Automata, Languages and Programming (vol. # 4051)33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings.Part I / by: (Electronic resources)

Automata, Languages and Programming (vol. # 4052)33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings.Part II / by: (Electronic resources)

Euro-Par 2006 Parallel Processing12th International Euro-Par Conference, Dresden, Germany, August 28-September 1, 2006, Proceedings / by: (Electronic resources)

Computer and Information Seciences - ISCIS 200621th International Symposium Istanbul, Turkey, Novenber 1-3, 2006, Proceedings / by: (Electronic resources)

Applications and Theory of Petri Nets29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings / by: (Electronic resources)

Computational Science ICCS 20088th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part I / by: (Electronic resources)

Computational Science ICCS 20088th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part II / by: (Electronic resources)

Computational Science ICCS 20088th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part III / by: (Electronic resources)

Logic and Theory of Algorithms4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings / by: (Electronic resources)

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

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

Logic, Language, Information and Computation15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / by: (Electronic resources)

Transactions on Computational Science I by: (Electronic resources)

Encyclopedia of Algorithms by: (Electronic resources)

SOFSEM 2005: Theory and Practice of Computer Science31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovsky Jan, Slovakia, January 22-28, 2005, Proceedings / by: (Electronic resources)

Shared Memory Parallel Programming with Open MP5th International Workshop on Open MP Application and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004 / by: (Electronic resources)

STACS 200522nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2004, Proceedings / by: (Electronic resources)

High Performance Computing for Computational Science - VECPAR 20046th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers / by: (Electronic resources)

Computational Science and Its Applications - ICCSA 2005International Conference, Singapore, May 9-12, 2005, Proceedings.I / by: (Electronic resources)

Computational science and its applications, ICCSA 2005International Conference, Singapore, May 9-12, 2005, Proceedings .II by: (Electronic resources)

Computational Science and Its Applications - ICCSA 2005International Conference, Singapore, May 9-12. 2005, Proceedings .III by: (Electronic resources)

Computational Science and Its Applications - ICCSA 2005International Conference, Singapore, May 9-12, 2005, Proceedings.IV / by: (Electronic resources)

Computational Science -- ICCS 20055th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.I / by: (Electronic resources)

Computational Science -- ICCS 20055th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.II / by: (Electronic resources)

Computational Science -- ICCS 20055th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.III by: (Electronic resources)

New Computational ParadigmsFirst Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings / by: (Electronic resources)

Applications and Theory of Petri Nets 200526th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / by: (Electronic resources)

Automata, Languages and Programming32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings / by: (Electronic resources)

Euro-Par 2005 Parallel Processing11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings / by: (Electronic resources)

Computer and Information Sciences - ISCIS 2005 :20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings by: (Electronic resources)

Automata, Languages and Programming35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I / by: (Electronic resources)

Automata, Languages and Programming35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / by: (Electronic resources)

Fifth Ifip International Conference On Theoretical Computer Science-Tcs 2008 by: (Electronic resources)

Advances in Information Systems Research, Education and PracticeIFIP 20th World Computer Congress, TC 8, Information Systems, September 7-10, 2008, Milano, Italy / by: (Electronic resources)

Open Source Development, Communities and QualityIFIP 20th World Computer Congress, Working Group 2.3 on Open Source Software, September 7-10, 2008, Milano, Italy / by: (Electronic resources)

Artificial Intelligence in Theory and Practice IIIFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy / by: (Electronic resources)

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

Learning to Live in the Knowledge SocietyIFIP 20th World Computer Congress, IFIP TC 3 ED-L2L Conference September 7-10, 2008, Milano, Italy / by: (Electronic resources)

CONCUR 2008 - Concurrency Theory19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings / by: (Electronic resources)

Euro-Par 2008 -- Parallel Processing14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings / by: (Electronic resources)

Theoretical Aspects of Computing - ICTAC 20085th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / by: (Electronic resources)

Optical SuperComputingfirst international workshop, OSC 2008, Vienna, Austria, August 26, 2008 : proceedings / by: (Electronic resources)

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

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

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

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

Deduction, computation, experimentexploring the effectiveness of proof / by: (Language materials, printed)

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

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

Neural-symbolic cognitive reasoning by: (Electronic resources)

Information theory and statistical learning by: (Electronic resources)

Logic and its applicationsthird Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009, proceedings / by: (Electronic resources)

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

Logical foundations of computer scienceInternational Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings / by: (Electronic resources)

Computability of Julia sets by: (Electronic resources)

Post-quantum cryptography by: (Electronic resources)

Programming languages and systems18th 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: (Electronic resources)

Foundations of Software Science and Computational Structures12th 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: (Electronic resources)

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

Quantum interactionthird international symposium, QI 2009, Saarbrucken, Germany, March 25-27, 2009 ; proceedings / by: (Electronic resources)

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

Language and automata theory and applicationsthird international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 ; proceedings / by: (Electronic resources)

Formal theories of informationfrom Shannon to semantic information theory and general concepts of information / by: (Electronic resources)

Euro-Par 2008 workshops - parallel processingVHPC 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: (Electronic resources)

Models of computationan introduction to computability theory / by: (Electronic resources)

Elements of Computation Theory by: (Electronic resources)

Languages: from formal to naturalessays dedicated to Nissim Francez on the occasion of his 65th birthday / by: (Electronic resources)

Computational science - ICCS 20099th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.Part I / by: (Electronic resources)

Computational science - ICCS 20099th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.Part II / by: (Electronic resources)

Theory and applications of models of computation6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings / by: (Electronic resources)

Hagenberg research by: (Electronic resources)

Algorithmic adventuresfrom knowledge to magic / by: (Electronic resources)

Logic, language, information and computation16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings / by: (Electronic resources)

Applications and theory of petri nets30th international conference, PETRI NETS 2009, Paris, France, June 22-26, 2009 : proceedings / by: (Electronic resources)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings / by: (Electronic resources)

Computational science and its appilcations, ICCSA 2009international conference, Seoul, Korea, June 29-July 2, 2009 : Proceedings.Part I / by: (Electronic resources)

Computational science and its appilcations, ICCSA 2009international conference, Seoul, Korea, June 29-July 2, 2009 : proceedings.Part II / by: (Electronic resources)

Automata, languages and programming36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings.Part I / by: (Electronic resources)

Automata, languages and programming36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings.Part II / by: (Electronic resources)

Mathematical theory and computational practice5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : Proceedings / by: (Electronic resources)

Transactions on rough sets X by: (Electronic resources)

Algorithmic bioprocesses by: (Electronic resources)

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

Computer science - theory and applications4th International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009 : Proceedings / by: (Electronic resources)

Theoretical aspects of computing - ICTAC 20096th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings / by: (Electronic resources)

Recent trends in algebraic development techniques19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers / by: (Electronic resources)

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

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

Reachability problems3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings / by: (Electronic resources)

Infinity in Logic and ComputationInternational Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers / by: (Electronic resources)

Advanced functional programming6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008 : revised lectures / by: (Electronic resources)

Logic, rationality, and interactionsecond international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings / by: (Electronic resources)

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

Optical SuperComputingsecond international workshop, OSC 2009, Bertinoro, Italy, November 18-20, 2009 : proceedings / by: (Electronic resources)

Parameterized and exact computation4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009 : revised selected papers / by: (Electronic resources)

Rigorous methods for software construction and analysisessays dedicated to Egon Borger on the occasion of his 60th birthday / by: (Electronic resources)

Theory of quantum computation, communication, and cryptography4th Workshop,TQC 2009, Waterloo, Canada, May 11-13, 2009, revised selected papers / by: (Electronic resources)

Genetic programming theory and practice VII by: (Electronic resources)

Transactions on rough sets XI by: (Electronic resources)

Search computingchallenges and directions / by: (Electronic resources)

High performance networking, computing, communication systems, and mathematical foundationsinternational conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009 : proceedings / by: (Electronic resources)

Human benefit through the diffusion of information systems design science researchIFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30-April 1, 2010 : proceedings / by: (Electronic resources)

Algorithms and architectures for parallel processing10th international conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010 : proceedings.Part I / by: (Electronic resources)

Algorithms and architectures for parallel processing10th international conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010 : proceedings.Part II / by: (Electronic resources)

Theory and applications of models of computation7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 : proceedings / by: (Electronic resources)

A 25-Year perspective on logic programmingachievements of the Italian Association for Logic Programming, GULP / by: (Electronic resources)

Game of Life cellular automata by: (Electronic resources)

Computable models by: (Electronic resources)

Cognitive reasoninga formal approach / by: (Electronic resources)

Natural computing4th International Workshop on Natural Computing, Himeji, Japan, September 2009 : proceedings / by: (Electronic resources)

Logic and the foundations of game and decision theory - LOFT 88th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, revised selected papers / by: (Electronic resources)

Frontiers in algorithmics4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010, proceedings / by: (Electronic resources)

Transactions on rough sets XII by: (Electronic resources)

The mathematics of language10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, revised selected papers / by: (Electronic resources)

The P=NP question and Godel's lost letter by: (Electronic resources)

Mathematical software - ICMS 2010Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, proceedings / by: (Electronic resources)

Information computing and applicationsInternational Conference, ICICA 2010, Tangshan, China, October 15-18, 2010, proceedings.Part II / by: (Electronic resources)

Information computing and applicationsfirst international conference, ICICA 2010, Tangshan, China, October 15-18, 2010 : proceedings / by: (Electronic resources)

Modelling autonomic communication environments5th IEEE international workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010 : proceedings / by: (Electronic resources)

Algorithmic randomness and complexity by: (Electronic resources)

Bioinspired computation in combinatorial optimizationalgorithms and their computational complexity / by: (Electronic resources)

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

Parameterized and exact computation5th international symposium, IPEC 2010, Chennai, India, December 13-15, 2010 : proceedings / by: (Electronic resources)

Deterministic extraction from weak random sources by: (Electronic resources)

Genetic programming theory and practice VIII by: (Electronic resources)

Introduction to the theory of programming languages by: (Electronic resources)

Theory of quantum computation, communication and cryptography5th conference, TQC 2010, Leeds, UK, April 13-15, 2010 : revised selected papers / by: (Electronic resources)

Theoretical aspects of distributed computing in sensor networks by: (Electronic resources)

Proofs and algorithmsan introduction to logic and computability / by: (Electronic resources)

New structures for physics by: (Electronic resources)

High performance computing for computational scienceVECPAR 2010 : 9th international conference, Berkeley, CA, USA, June 22-25, 2010 : revised selected papers / by: (Electronic resources)

Search computingtrends and developments / by: (Electronic resources)

Theory and applications of models of computation8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 : proceedings / by: (Electronic resources)

Rainbow of computer sciencededicated to Hermann Maurer on the occasion of his 70th birthday / by: (Electronic resources)

Concise guide to computation theory by: (Electronic resources)

Frontiers in algorithmics and algorithmic aspects in information and managementjoint international conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011 : proceedings / by: (Electronic resources)

Transactions on rough sets XIV by: (Electronic resources)

Theoretical computer sciencelectures given at the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 9-14, 1975 / by: (Electronic resources)

A short course in quantum information theoryan approach from theoretical physics / by: (Electronic resources)

Optical supercomputingthird international workshop, OSC 2010, Bertinoro, Italy, November 17-19 2010 : revised selected papers / by: (Electronic resources)

Applied informatics and communicationinternational conference, ICAIC 2011, Xi'an, China, August 20-21, 2011 : proceedings.Part II / by: (Electronic resources)

Patterns in permutations and words by: (Electronic resources)

Applied informatics and communicationinternational conference, ICAIC 2011, Xi'an, China, August 20-21, 2011 : proceedings.Part V / by: (Electronic resources)

Applied informatics and communicationinternational conference, ICAIC 2011, Xi'an, China, August 20-21, 2011 : proceedings.Part IV / by: (Electronic resources)

Applied informatics and communicationinternational conference, ICAIC 2011,Xi'an, China, August 20-21, 2011 : proceedings.Part I / by: (Electronic resources)

Extremal combinatoricswith applications in computer science / by: (Electronic resources)

Applied informatics and communicationinternational conference, ICAIC 2011, Xi'an, China, August 20-21, 2011 : proceedings.Part III / by: (Electronic resources)

Perspectives on Soviet and Russian computingfirst IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006 : revised selected papers / by: (Electronic resources)

The mathematics of language12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings / by: (Electronic resources)

Cartesian genetic programming by: (Electronic resources)

Apartness and uniformitya constructive development / by: (Electronic resources)

Logic, rationality, and interactionthird international workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings / by: (Electronic resources)

Quantum interaction5th international symposium, QI 2011, Aberdeen, UK, June 26-29, 2011 : revised selected papers / by: (Electronic resources)

Genetic programming theory and practice IX by: (Electronic resources)

Universal semantic communication by: (Electronic resources)

Mobility in process calculi and natural computing by: (Electronic resources)

Computer sciencethe hardware, software and heart of it / by: (Electronic resources)

Information computing and applicationssecond international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings.Part I / by: (Electronic resources)

Computability and complexity theory by: (Electronic resources)

Information computing and applicationssecond international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings.Part II / by: (Electronic resources)

The realism-antirealism debate in the age of alternative logics by: (Electronic resources)

The universe as automatonfrom simplicity and symmetry to complexity / by: (Electronic resources)

Computational complexitytheory, techniques, and applications / by: (Electronic resources)

Approximation algorithms and semidefinite programming by: (Electronic resources)

Boolean function complexityadvances and frontiers / by: (Electronic resources)

Computation, physics and beyondInternational 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: (Electronic resources)

Mathematical modeling and computational scienceinternational conference, MMCP 2011, Stara Lesna, Slovakia, July 4-8, 2011 : revised selected papers / by: (Electronic resources)

Recent trends in algebraic development techniques20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers / by: (Electronic resources)

Parameterized and exact computation6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 6-8, 2011 : revised selected papers / by: (Electronic resources)

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

Frontiers in algorithmics and algorithmic aspects in information and managementjoint international conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012 : proceedings / by: (Electronic resources)

Theory and practice of computationWorkshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 : proceedings / by: (Electronic resources)

Grobner bases, coding, and cryptography by: (Electronic resources)

Theory and applications of models of computation9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings / by: (Electronic resources)

Languages aliveessays dedicated to Jurgen Dassow on the occasion of his 65th birthday / by: (Electronic resources)

Handbook of natural computing by: (Electronic resources)

Theoretical aspects of computing - ICTAC 20129th International Colloquium, Bangalore, India, September 24-27, 2012 : proceedings / by: (Electronic resources)

Network control and engineering for QOS, security and mobility, IIIIFIP 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: (Electronic resources)

Mathematics of discrete structures for computer science by: (Electronic resources)

Theoretical computer science7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012 : proceedings / by: (Electronic resources)

Modeling Time in Computing by: (Electronic resources)

The complexity of valued constraint satisfaction problems by: (Electronic resources)

Emerging research in artificial intelligence and computational intelligenceInternational Conference, AICI 2012, Chengdu, China, October 26-28, 2012 : proceedings / by: (Electronic resources)

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

Search computingbroadening web search / by: (Electronic resources)

Robust intelligent systems by: (Electronic resources)

Provable securitysecond international conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008 : proceedings / by: (Electronic resources)

Theory of quantum computation, communication, and cryptographythird workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008 : revised selected papers / by: (Electronic resources)

Quantum interaction6th international symposium, QI 2012, Paris, France, June 27-29, 2012 : revised selected papers / by: (Electronic resources)

Natural computing2nd international workshop on natural computing, Nagoya, Japan, December 2007 : proceedings / by: (Electronic resources)

Memristor networks by: (Electronic resources)

Theory and principled methods for the design of metaheuristics by: (Electronic resources)

Discrete and topological models in molecular biology by: (Electronic resources)

Guided self-organizationInception / by: (Electronic resources)

Pairing-based cryptography - Pairing 20136th International Conference, Beijing, China, November 22-24, 2013 : revised selected papers / by: (Electronic resources)

Transactions on computational science XXII by: (Electronic resources)

Theory and applications of formal argumentationsecond International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013 : revised selected papers / by: (Electronic resources)

Programming languages and operational semanticsa concise overview / by: (Electronic resources)

Regulated grammars and automata by: (Electronic resources)

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

Model-driven software migrationa methodology : Reengineering, recovery and modernization of legacy systems / by: (Electronic resources)

Theory of quantum computation, communication, and cryptography6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011 : revised selected papers / by: (Electronic resources)

Genetic programming theory and practice XI by: (Electronic resources)

Theory and applications of models of computation11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014 : proceedings / by: (Electronic resources)

Formal methods for executable software models14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014 : advanced lectures / by: (Electronic resources)

Field-coupled nanocomputingparadigms, progress, and perspectives / by: (Electronic resources)

Augmented marked graphs by: (Electronic resources)

Supercomputing29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014 : proceedings / by: (Electronic resources)

Applied cryptography and network security12th International Conference, ACNS 2014, Lausanne, Switzerland, June 10-13, 2014 : proceedings / by: (Electronic resources)

Transactions on computational science XXIIIspecial issue on cyberworlds / by: (Electronic resources)

Unconventional Computation and Natural Computation13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014 : proceedings / by: (Electronic resources)

Declarative programming and knowledge managementDeclarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 : revised selected papers / by: (Electronic resources)

Theory and applications of satisfiability testing - SAT 201417th International Conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / by: (Electronic resources)

Biomimetic and biohybrid systemsthird International Conference, Living Machines 2014, Milan, Italy, July 30 - August 1, 2014 : proceedings / by: (Electronic resources)

Foundations of security analysis and design VIIFOSAD 2012/2013 tutorial lectures / by: (Electronic resources)

Mathematical software - ICMS 20144th International Congress, Seoul, South Korea, August 5-9, 2014 : proceedings / by: (Electronic resources)

Constructivity and computability in historical and philosophical perspective by: (Electronic resources)

Science gateways for distributed computing infrastructuresdevelopment framework and exploitation by scientific user sommunities / by: (Language materials, printed)

Algorithmic learning theory25th International Conference, ALT 2014, Bled, Slovenia, October 8-10, 2014 : proceedings / by: (Electronic resources)

Signal processing and information technologysecond International Joint Conference, SPIT 2012, Dubai, UAE, September 20-21, 2012 : revised selected papers / by: (Electronic resources)

Advances in cryptology - ASIACRYPT 201420th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, December 7-11, 2014 : proceedings.Part II / by: (Electronic resources)

Advances in cryptology - ASIACRYPT 201420th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, December 7-11, 2014 : proceedings.Part I / by: (Electronic resources)

Computer gamesthird Workshop on Computer Games, CGW 2014, Held in Conjunction with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18, 2014 : revised selected papers / by: (Electronic resources)

Language, culture, computation.essays dedicated to Yaacov Choueka on the occasion of his 75th birthday /Part I,Computing - theory and technology by: (Electronic resources)

Language, culture, computation.essays dedicated to Yaacov Choueka on the occasion of his 75th birthday /Part II,Computing of the humanities, law, and narratives by: (Electronic resources)

Language, culture, computation.essays dedicated to Yaacov Choueka on the occasion of his 75th birthday /Part III,Computational linguistics and linguistics by: (Electronic resources)

Open problems in mathematics and computational science by: (Electronic resources)

Nature of computation and communicationInternational Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014 : revised selected papers / by: (Electronic resources)

High performance computing for computational science - VECPAR 201411th International Conference, Eugene, OR, USA, June 30-July 3, 2014 : revised selected papers / by: (Electronic resources)

High performance computing30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015 : proceedings / by: (Electronic resources)

Introduction to evolutionary computing by: (Electronic resources)

Behavior modelingfoundations and applications : International Workshops, BM-FA 2009-2014 : revised selected papers / by: (Electronic resources)

Biomimetic and biohybrid systems4th International Conference, Living Machines 2015, Barcelona, Spain, July 28 - 31, 2015 : proceedings / by: (Electronic resources)

Bridging constraint satisfaction and Boolean satisfiability by: (Electronic resources)

Energy time series forecastingefficient and accurate forecasting of evolving time series from the energy domain / by: (Electronic resources)

Unconventional computation and natural computation14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 - September 3, 2015 : proceedings / by: (Electronic resources)

Machines, computations, and universality7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings / by: (Electronic resources)

Combinatorics on words10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015 : proceedings / by: (Electronic resources)

Introduction to concurrency theorytransition systems and CCS / by: (Electronic resources)

Words and graphs by: (Electronic resources)

Constraint solving and planning with Picat by: (Electronic resources)

Natural computing algorithms by: (Electronic resources)

The foundations of computability theory by: (Electronic resources)

Petri net synthesis by: (Electronic resources)

Higher-order computability by: (Electronic resources)

Carl Adam Petrilife and science / by: (Electronic resources)

CryptoSchool by: (Electronic resources)

Theory and applications of satisfiability testing - SAT 201518th International Conference, Austin, TX, USA, September 24-27, 2015 : proceedings / by: (Electronic resources)

Algorithmic learning theory26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015 : proceedings / by: (Electronic resources)

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

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

Encyclopedia of applied and computational mathematics by: (Electronic resources)

Quantum computational number theory by: (Electronic resources)

Graph and model transformationgeneral framework and applications / by: (Electronic resources)

Agents and artificial intelligence7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015 : revised selected papers / by: (Electronic resources)

Applied cryptography and network security13th International Conference, ACNS 2015, New York, NY, USA, June 2-5, 2015 : revised selected papers / by: (Electronic resources)

Theory and applications of formal argumentationthird International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015 : revised selected papers / by: (Electronic resources)

Principles and methods of quantum information technologies by: (Electronic resources)

The digital synaptic neural substratea new approach to computational creativity / by: (Electronic resources)

Encyclopedia of algorithms by: (Electronic resources)

Advances in artificial life, evolutionary computation and systems chemistry10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015 : revised selected papers / by: (Electronic resources)

Hybrid metaheuristicspowerful tools for optimization / by: (Electronic resources)

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

Topics in grammatical inference by: (Electronic resources)

Turing computabilitytheory and applications / by: (Electronic resources)

Applied cryptography and network security14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016 : proceedings / by: (Electronic resources)

Theory and applications of satisfiability testing - SAT 201619th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings / by: (Electronic resources)

High performance computing31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016 : proceedings / by: (Electronic resources)

Self-aware computing systemsan engineering approach / by: (Electronic resources)

Finitely supported mathematicsan introduction / by: (Electronic resources)

Biomimetic and biohybrid systems5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016 : proceedings / by: (Electronic resources)

Evolutionary computer visionthe first footprints / by: (Electronic resources)

An introduction to online computationdeterminism, randomization, advice / by: (Electronic resources)

Decision diagrams for optimization by: (Electronic resources)

Semantic web challengesthird SemWebEval Challenge at ESWC 2016, Heraklion, Crete, Greece, May 29 - June 2, 2016 : revised selected papers / by: (Electronic resources)

Nature of computation and communicationsecond International Conference, ICTCC 2016, Rach Gia, Vietnam, March 17-18, 2016 : revised selected papers / by: (Electronic resources)

History and philosophy of computingthird International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015 : revised selected papers / by: (Electronic resources)

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

Convex analysis and global optimization by: (Electronic resources)

An introduction to transfer entropyinformation flow in complex systems / by: (Electronic resources)

Wireless power transfer algorithms, technologies and applications in ad hoc communication networks by: (Electronic resources)

Decision proceduresan algorithmic point of view / by: (Electronic resources)

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

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

Semantics of the probabilistic typed lambda calculusMarkov chain semantics, termination behavior, and denotational semantics / by: (Electronic resources)

Risks and security of internet and systems11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016 : revised selected papers / by: (Electronic resources)

Principles of security and trust6th International Conference, POST 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings / by: (Electronic resources)

Models of computation by: (Electronic resources)

Process algebras for Petri netsthe alphabetization of distributed systems / by: (Electronic resources)

Tutorials on the foundations of cryptographydedicated to Oded Goldreich / by: (Electronic resources)

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

Structured object-oriented formal language and method6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papers / by: (Electronic resources)

The incomputablejourneys beyond the Turing barrier / by: (Electronic resources)

The semantic web14th International Conference, ESWC 2017, Portoroz, Slovenia, May 28 - June 1, 2017 : proceedings.Part I / by: (Electronic resources)

The semantic web14th International Conference, ESWC 2017, Portoroz, Slovenia, May 28 - June 1, 2017 : proceedings.Part II / by: (Electronic resources)

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

Philosophical explorations of the legacy of Alan TuringTuring 100 / by: (Electronic resources)

Foundations of intelligent systems23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017 : proceedings / by: (Electronic resources)

High performance computing for computational science - VECPAR 201612th International Conference, Porto, Portugal, June 28-30, 2016 : revised selected papers / by: (Electronic resources)

Biomimetic and biohybrid systems6th International Conference, Living Machines 2017, Stanford, CA, USA, July 26-28, 2017 : proceedings / by: (Electronic resources)

Creativity in intelligent technologies and data scienceSecond Conference, CIT&DS 2017, Volgograd, Russia, September 12-14, 2017 : proceedings / by: (Electronic resources)

Introduction to learning classifier systems by: (Electronic resources)

Software engineering and formal methods15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings / by: (Electronic resources)

Theory and applications of satisfiability testing - SAT 201720th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings / by: (Electronic resources)

Computational intelligence for network structure analytics by: (Electronic resources)

Modern language models and computationtheory with applications / by: (Electronic resources)

Automated technology for verification and analysis15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017 : proceedings / by: (Electronic resources)

The semantic web - ISWC 201716th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017 : proceedings.Part II / by: (Electronic resources)

The semantic web - ISWC 201716th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017 : proceedings.Part I / by: (Electronic resources)

Adventures in computer sciencefrom classical bits to quantum bits / by: (Electronic resources)

Theory of reversible computing by: (Electronic resources)

The semantic webESWC 2017 Satellite Events : ESWC 2017 Satellite Events, Portoroz, Slovenia, May 28 - June 1, 2017 : revised selected papers / by: (Electronic resources)

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

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

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

Formal methodsfoundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017 : proceedings / by: (Electronic resources)

Programming languages and systems15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings / by: (Electronic resources)

Autonomous agents and multiagent systemsAAMAS 2017 Workshops, Best Papers, Sao Paulo, Brazil, May 8-12, 2017 : revised selected papers / by: (Electronic resources)

Verified softwaretheories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017 : revised selected papers / by: (Electronic resources)

Space in weak propositional proof systems by: (Electronic resources)

Raymond Smullyan on self reference by: (Electronic resources)

Bridging the gap between life and physics by: (Electronic resources)

Handbook of parallel constraint reasoning by: (Electronic resources)

Mathematical foundations of advanced informatics.Volume 1,Inductive approaches by: (Electronic resources)

NASA formal methods10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings / by: (Electronic resources)

Fundamental approaches to software engineering21st 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: (Electronic resources)

Parallel processing and applied mathematics12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017 : revised selected papers.Part II / by: (Electronic resources)

Principles of security and trust7th 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: (Electronic resources)

Programming languages and systems27th 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: (Electronic resources)

Handbook of model checking by: (Electronic resources)

Computational Science - ICCS 201818th International Conference, Wuxi, China, June 11-13, 2018 : proceedings.Part I / by: (Electronic resources)

Computational Science - ICCS 201818th International Conference, Wuxi, China, June 11-13, 2018 : proceedings.Part II / by: (Electronic resources)

Theory and applications of satisfiability testing - SAT 201821st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings / by: (Electronic resources)

Social, cultural and behavioral modeling11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018 : proceedings / by: (Electronic resources)

Computational science - ICCS 201818th International Conference, Wuxi, China, June 11-13, 2018 : proceedings.Part III / by: (Electronic resources)

Computational matter by: (Electronic resources)

Computational artifactstowards a philosophy of computer science / by: (Electronic resources)

Machine learning for dynamic software analysispotentials and limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016 : revised papers / by: (Electronic resources)

Formal methods22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings / by: (Electronic resources)

Sailing routes in the world of computation14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018 : proceedings / by: (Electronic resources)

The making of a new sciencea personal journey through the early years of theoretical computer science / by: (Electronic resources)

Fault-tolerant message-passing distributed systemsan algorithmic approach / by: (Electronic resources)

Formal methods for industrial critical systems23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018 : proceedings / by: (Electronic resources)

Adventures between lower bounds and higher altitudesessays dedicated to Juraj Hromkovic on the occasion of his 60th birthday / by: (Electronic resources)

Quantum walks and search algorithms by: (Electronic resources)

Hyper-heuristicstheory and applications / by: (Electronic resources)

Foraging-inspired optimisation algorithms by: (Electronic resources)

Software process improvement and capability determination18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9-10, 2018 : proceedings / by: (Electronic resources)

Transactions on computational science XXXIII by: (Electronic resources)

Transactions on computational collective intelligence XXX by: (Electronic resources)

Symposium on real-time and hybrid systemsessays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday / by: (Electronic resources)

Scientific computinga historical perspective / by: (Electronic resources)

New trends in model and data engineeringMEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018 : proceedings / by: (Electronic resources)

An introduction to metaheuristics for optimization by: (Electronic resources)

Semantics, analytics, visualization3rd 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: (Electronic resources)

Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part I / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part II / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part III / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part IV / by: (Electronic resources)

Technology and mathematicsphilosophical and historical investigations / by: (Electronic resources)

Principles in noisy optimizationapplied to multi-agent coordination / by: (Electronic resources)

Intelligent data engineering and automated learning - IDEAL 201819th International Conference, Madrid, Spain, November 21-23, 2018 : proceedings.Part I / by: (Electronic resources)

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

Model-driven engineering and software development6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018 : revised selected papers / by: (Electronic resources)

Membrane computing19th International Conference, CMC 2018, Dresden, Germany, September 4-7, 2018 : revised selected papers / by: (Electronic resources)

Software challenges to exascale computingsecond Workshop, SCEC 2018, Delhi, India, December 13-14, 2018 : proceedings / by: (Electronic resources)

Principles of security and trust8th 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: (Electronic resources)

Fundamental approaches to software engineering22nd 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: (Electronic resources)

Programming languages and systems28th 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: (Electronic resources)

Computer and communication engineeringfirst International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25-27, 2018 : proceedings / by: (Electronic resources)

Practical aspects of declarative languages21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019 : proceedings / by: (Electronic resources)

Advances in computational intelligence14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017 : proceedings.Part II / by: (Electronic resources)

Advances in computational intelligence14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017 : proceedings.Part I / by: (Electronic resources)

Data Integration in the Life Sciences12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017 : proceedings / by: (Electronic resources)

High performance computing32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18-22, 2017 : proceedings / by: (Electronic resources)

Integrated formal methods13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings / by: (Electronic resources)

Models, algorithms, logics and toolsessays dedicated to Kim Guldstrand Larsen on the occasion of his 60th Birthday / by: (Electronic resources)

Reliability, safety, and security of railway systemsmodelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017 : proceedings / by: (Electronic resources)

Knowledge graphs and semantic webfirst Iberoamerican Conference, KGSWC 2019, Villa Clara, Cuba, June 23-30, 2019 : proceedings / by: (Electronic resources)

Carl Adam Petriideas, personality, impact / by: (Electronic resources)

Computer Vision - ACCV 201814th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018 : revised selected papers.Part V / by: (Electronic resources)

NASA formal methods11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019 : proceedings / by: (Electronic resources)

Managed software evolution by: (Electronic resources)

An introduction to Kolmogorov complexity and its applications by: (Electronic resources)

Natural language processing and information systems24th International Conference on Applications of Natural Language to Information Systems, NLDB 2019, Salford, UK, June 26-28, 2019 : proceedings / by: (Electronic resources)

Computational science - ICCS 201919th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.Part I / by: (Electronic resources)

Computational science - ICCS 201919th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.Part III / by: (Electronic resources)

Computational science - ICCS 201919th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.Part V / by: (Electronic resources)

Computational science - ICCS 201919th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.Part II / by: (Electronic resources)

Computational science - ICCS 201919th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.Part IV / by: (Electronic resources)

Advances and trends in artificial intelligencefrom 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: (Electronic resources)

Theory and applications of satisfiability testing - SAT 201922nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019 : proceedings / by: (Electronic resources)

Big data - BigData 20198th International Congress, held as part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019 : proceedings / by: (Electronic resources)

Simplicity is complexfoundations of cyber-physical system design / by: (Electronic resources)

Formal methodsan appetizer / by: (Electronic resources)

Representation theorems in computer sciencea treatment in logic engineering / by: (Electronic resources)

Bio-inspired information and communication technologies11th EAI International Conference, BICT 2019, Pittsburgh, PA, USA, March 13-14, 2019 : proceedings / by: (Electronic resources)

Computer aided verification31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.Part I / by: (Electronic resources)

Intelligent computing theories and application15th International Conference, ICIC 2019, Nanchang, China, August 3-6, 2019 : proceedings.Part II / by: (Electronic resources)

Digital libraries for open knowledge23rd International Conference on Theory and Practice of Digital Libraries, TPDL 2019, Oslo, Norway, September 9-12, 2019 : proceedings / by: (Electronic resources)

Fundamentals of software engineering8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019 : revised selected papers / by: (Electronic resources)

Arto Salomaamathematician, computer scientist, and teacher, a thematic biography / by: (Electronic resources)

Formal methods and software engineering21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019 : proceedings / by: (Electronic resources)

Conceptual modeling38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019 : proceedings / by: (Electronic resources)

New frontiers in artificial intelligenceJSAI-isAI 2018 Workshops, JURISIN, AI-Biz, SKL, LENLS, IDAA, Yokohama, Japan, November 12-14, 2018 : revised selected papers / by: (Electronic resources)

Artificial intelligence5th RAAI Summer School, Dolgoprudny, Russia, July 4-7, 2019 : tutorial lectures / by: (Electronic resources)

Discovery science22nd International Conference, DS 2019, Split, Croatia, October 28-30, 2019 : proceedings / by: (Electronic resources)

Knowledge engineering and knowledge management21st International Conference, EKAW 2018, Nancy, France, November 12-16, 2018 : proceedings / by: (Electronic resources)

Programming languages and systems16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018 : proceedings / by: (Electronic resources)

Software engineering and formal methods16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings / by: (Electronic resources)

Innovations and interdisciplinary solutions for underserved areasthird EAI International Conference, InterSol 2019, Cairo, Egypt, February 14-15, 2019 : proceedings / by: (Electronic resources)

Handbook of memristor networks by: (Electronic resources)

Integrated formal methods15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019 : proceedings / by: (Electronic resources)

Transactions on Petri Nets and Other Models of Concurrency XIV by: (Electronic resources)

Modeling and using context11th International and Interdisciplinary Conference, CONTEXT 2019, Trento, Italy, November 20-22, 2019 : proceedings / by: (Electronic resources)

AI 2019advances in artificial intelligence : 32nd Australasian Joint Conference, Adelaide, SA, Australia, December 2-5, 2019 : proceedings / by: (Electronic resources)

Graphical models for security6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019 : revised papers / by: (Electronic resources)

Mathematics of quantum computingan introduction / by: (Electronic resources)

Formal techniques for safety-critical systems7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019 : revised selected papers / by: (Electronic resources)

Variable neighborhood search7th International Conference, ICVNS 2019, Rabat, Morocco, October 3-5, 2019 : revised selected papers / by: (Electronic resources)

Artificial intelligence in music, sound, art and design9th International Conference, EvoMUSART 2020,held as part of EvoStar 2020, Seville, Spain, April 15-17, 2020 : proceedings / by: (Electronic resources)

Programming languages and systems29th 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: (Electronic resources)

Tools and algorithms for the construction and analysis of systems26th 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: (Electronic resources)

Research in computational molecular biology24th Annual International Conference, RECOMB 2020, Padua, Italy, May 10-13, 2020 : proceedings / by: (Electronic resources)

Bio-inspired computingtheories and applications : 14th International Conference, BIC-TA 2019, Zhengzhou, China, November 22-25, 2019 : revised selected papers.Part II / by: (Electronic resources)

Information search, integration, and personalization13th International Workshop, ISIP 2019, Heraklion, Greece, May 9-10, 2019 : revised selected papers / by: (Electronic resources)

Computational complexity and property testingon the interplay between randomness and computation / by: (Electronic resources)

Formalizing natural languages with NooJ 2019 and its natural language processing applications13th International Conference, NooJ 2019, Hammamet, Tunisia, June 7-9, 2019 : revised selected papers / by: (Electronic resources)

Practical aspects of declarative languages22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020 : proceedings / by: (Electronic resources)

Algorithms and discrete applied mathematics6th International Conference, CALDAM 2020, Hyderabad, India, February 13-15, 2020 : proceedings / by: (Electronic resources)

Chatbot research and designthird International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19-20, 2019 : revised selected papers / by: (Electronic resources)

Approximation and online algorithms17th International Workshop, WAOA 2019, Munich, Germany, September 12-13, 2019, revised selected papers / by: (Electronic resources)

Theory of evolutionary computationrecent developments in discrete optimization / by: (Electronic resources)

Evaluation of novel approaches to software engineering14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019 : revised selected papers / by: (Electronic resources)

Optimization and learningthird International Conference, OLA 2020, Cadiz, Spain, February 17-19, 2020 : proceedings / by: (Electronic resources)

Formal aspects of component software16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019 : proceedings / by: (Electronic resources)

Numerical computationstheory and algorithms : third International Conference, NUMTA 2019, Crotone, Italy, June 15-21, 2019 : revised selected papers.Part II / by: (Electronic resources)

Structured object-oriented formal language and method9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019 : revised selected papers / by: (Electronic resources)

From Lambda Calculus to cybersecurity through program analysisessays dedicated to Chris Hankin on the occasion of his retirement / by: (Electronic resources)

Model-driven engineering and software development7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019 : revised selected papers / by: (Electronic resources)

Graph transformation for software engineerswith applications to model-based development and domain-specific language engineering / by: (Electronic resources)

Technology-inspired smart learning for future education29th National Conference on Computer Science Technology and Education, NCCSTE 2019, Kaifeng, China, October 9-11, 2019 : revised selected papers / by: (Electronic resources)

A pipelined multi-core machine with operating system supporthardware implementation and correctness proof / by: (Electronic resources)

Algorithms and models for the web graph17th International Workshop, WAW 2020, Warsaw, Poland, September 21-22, 2020 : proceedings / by: (Electronic resources)

A guided tour of artificial intelligence research.Volume II,AI algorithms by: (Electronic resources)

Information processing and management of uncertainty in knowledge-based systems18th International Conference, IPMU 2020, Lisbon, Portugal, June 15-19, 2020 : proceedings.Part II / by: (Electronic resources)

Information processing and management of uncertainty in knowledge-based systems18th International Conference, IPMU 2020, Lisbon, Portugal, June 15-19, 2020 : proceedings.Part I / by: (Electronic resources)

Models and algorithms of time-dependent scheduling by: (Electronic resources)

Natural language processing and information systems25th International Conference on Applications of Natural Language to Information Systems, NLDB 2020, Saarbrucken, Germany, June 24-26, 2020 : proceedings / by: (Electronic resources)

Computational science - ICCS 202020th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.Part I / by: (Electronic resources)

Computational science - ICCS 202020th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.Part V / by: (Electronic resources)

Computational science - ICCS 202020th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.Part II / by: (Electronic resources)

Computational science - ICCS 202020th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.Part III / by: (Electronic resources)

Computational science - ICCS 202020th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.Part IV / by: (Electronic resources)

Computational science - ICCS 202020th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.Part VI / by: (Electronic resources)

Computational science - ICCS 202020th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.Part VII / by: (Electronic resources)

Computer science - theory and applications15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 - July 3, 2020 : proceedings / by: (Electronic resources)

Mathematical optimization theory and operations research19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6-10, 2020, proceedings / by: (Electronic resources)

Variable domain-specific software languages with DjDSLdesign and implementation / by: (Electronic resources)

Artificial life and evolutionary computation14th Italian Workshop, WIVACE 2019, Rende, Italy, September 18-20, 2019 : revised selected papers / by: (Electronic resources)

Foundations of finitely supported structuresa set theoretical viewpoint / by: (Electronic resources)

Advances in swarm intelligence11th International Conference, ICSI 2020, Belgrade, Serbia, July 14-20, 2020 : proceedings / by: (Electronic resources)

Computer aided verification32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.Part I / by: (Electronic resources)

Computer aided verification32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.Part II / by: (Electronic resources)

Intelligent computer mathematics13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020 : proceedings / by: (Electronic resources)

Advances in dynamics, optimization and computationa volume dedicated to Michael Dellnitz on the occasion of his 60th birthday / by: (Electronic resources)

Learning and intelligent optimization14th International Conference, LION 14, Athens, Greece, May 24-28, 2020, revised selected papers / by: (Electronic resources)

General-purpose optimization through information maximization by: (Electronic resources)

ADBIS, TPDL and EDA 2020 Common Workshops and Doctoral Consortiuminternational workshops: DOING, MADEISD, SKG, BBIGAP, SIMPDA, AIMinScience 2020 and Doctoral Consortium, Lyon, France, August 25-27, 2020 : proceedings / by: (Electronic resources)

Formal methodsFM 2019 International Workshops : Porto, Portugal, October 7-11, 2019 : revised selected papers.Part II / by: (Electronic resources)

Parallel Problem Solving from Nature - PPSN XVI16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020 : proceedings.Part II / by: (Electronic resources)

NASA formal methods12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020 : proceedings / by: (Electronic resources)

Parallel problem solving from nature - PPSN XVI16th International Conference, PPSN 2020, Leiden, the Netherlands, September 5-9, 2020 : proceedings.Part I / by: (Electronic resources)

Formal modeling and analysis of timed systems18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020 : proceedings / by: (Electronic resources)

Formal methodsFM 2019 International Workshops : Porto, Portugal, October 7-11, 2019 : revised selected papers.Part I / by: (Electronic resources)

Transactions on computational collective intelligence XXXV by: (Electronic resources)

Artificial intelligenceIJCAI 2019 International Workshops : Macao, China, August 10-12, 2019 : revised selected best papers / by: (Electronic resources)

Rules and reasoning4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020 : proceedings / by: (Electronic resources)

Modeling decisions for artificial intelligence17th International Conference, MDAI 2020, Sant Cugat, Spain, September 2-4, 2020 : proceedings / by: (Electronic resources)

Computing and combinatorics26th International Conference, COCOON 2020, Atlanta, GA, USA, August 29-31, 2020 : proceedings / by: (Electronic resources)

Formal methods for industrial critical systems25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020 : proceedings / by: (Electronic resources)

Design science research.Cases by: (Electronic resources)

Database and expert systems applicationsDEXA 2020 International Workshops BIOKDD, IWCFS and MLKgraphs, Bratislava, Slovakia, September 14-17, 2020 : proceedings / by: (Electronic resources)

Universal time-series forecasting with mixture predictors by: (Electronic resources)

Artificial intelligence and natural language9th Conference, AINL 2020, Helsinki, Finland, October 7-9, 2020 : proceedings / by: (Electronic resources)

Multivariate public key cryptosystems by: (Electronic resources)

The algorithm design manual by: (Electronic resources)

Construction of fundamental data structures for strings by: (Electronic resources)

Applied computer sciences in engineering7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7-9, 2020 : proceedings / by: (Electronic resources)

KI 2020advances in artificial intelligence : 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020 : proceedings / by: (Electronic resources)

Software engineering and formal methodsSEFM 2019 collocated workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019 : revised selected papers / by: (Electronic resources)

New frontiers in artificial intelligenceJSAI-isAI International Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, Yokohama, Japan, November 10-12, 2019 : revised selected papers / by: (Electronic resources)

Artificial intelligence18th Russian Conference, RCAI 2020, Moscow, Russia, October 10-16, 2020 : proceedings / by: (Electronic resources)

Frontiers in algorithmics14th International Workshop, FAW 2020, Haikou, China, October 19-21, 2020 : proceedings / by: (Electronic resources)

Algorithmic aspects of cloud computing5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 10, 2019 : revised selected papers / by: (Electronic resources)

Computational methods in systems biology18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020 : proceedings / by: (Electronic resources)

Natural language processing and Chinese computing9th CCF International Conference, NLPCC 2020, Zhengzhou, China, October 14-18, 2020 : proceedings.Part I / by: (Electronic resources)

Natural language processing and Chinese computing9th CCF International Conference, NLPCC 2020, Zhengzhou, China, October 14-18, 2020 : proceedings.Part II / by: (Electronic resources)

Data analysis and optimization for engineering and computing problemsproceedings of the 3rd EAI International Conference on Computer Science and Engineering and Health Services / by: (Electronic resources)

Applied computer sciences in engineering6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16-18, 2019 : proceedings / by: (Electronic resources)

Hypothesis-driven simulation studiesassistance for the systematic design and conducting of computer simulation experiments / by: (Electronic resources)

Knowledge graph and semantic computingknowledge computing and language understanding : 4th China Conference, CCKS 2019, Hangzhou, China, August 24-27, 2019 : revised selected papers / by: (Electronic resources)

Formal methods for industrial critical systems24th International Conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings / by: (Electronic resources)

Intelligent computer mathematics12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019 : proceedings / by: (Electronic resources)

Intelligent data engineering and automated learning - IDEAL 201920th International Conference, Manchester, UK, November 14-16, 2019 : proceedings.Part I / by: (Electronic resources)

Intelligent data engineering and automated learning - IDEAL 201920th International Conference, Manchester, UK, November 14-16, 2019 : proceedings.Part II / by: (Electronic resources)

PRICAI 2019trends in artificial intelligence : 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019 : proceedings.Part I / by: (Electronic resources)

Software engineering and formal methods17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : proceedings / by: (Electronic resources)

Structured object-oriented formal language and method8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018 : revised selected papers / by: (Electronic resources)

The art of modelling computational systemsa journey from logic and concurrency to security and privacy : Essays dedicated to Catuscia Palamidessi on the occasion of her 60th birthday / by: (Electronic resources)

Web information systems engineering - WISE 201920th International Conference, Hong Kong, China, January 19-22, 2020 : proceedings / by: (Electronic resources)

Open semantic technologies for intelligent system10th International Conference, OSTIS 2020, Minsk, Belarus, February 19-22, 2020 : revised selected papers / by: (Electronic resources)

Cellular automata and discrete complex systems26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10-12, 2020 : proceedings / by: (Electronic resources)

Conceptual modeling39th International Conference, ER 2020, Vienna, Austria, November 3-6, 2020 : proceedings / by: (Electronic resources)

Integrated uncertainty in knowledge modelling and decision making8th International Symposium, IUKM 2020, Phuket, Thailand, November 11-13, 2020 : proceedings / by: (Electronic resources)

Intelligent computing theories and application16th International Conference, ICIC 2020, Bari, Italy, October 2-5, 2020 : proceedings.Part I / by: (Electronic resources)

Reachability problems14th International Conference, RP 2020, Paris, France, October 19-21, 2020 : proceedings / by: (Electronic resources)

Intelligent systems9th Brazilian Conference, BRACIS 2020, Rio Grande, Brazil, October 20-23, 2020 : proceedings.Part II / by: (Electronic resources)

Web information systems engineering - WISE 202021st International Conference, Amsterdam, The Netherlands, October 20-24, 2020 : proceedings.Part I / by: (Electronic resources)

Options and derivatives programming in C++20algorithms and programming techniques for the financial industry / by: (Electronic resources)

The foundations of computability theory by: (Electronic resources)

Understanding programming languages by: (Electronic resources)

Quantitative evaluation of systems17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020 : proceedings / by: (Electronic resources)

Dependable software engineeringtheories, tools, and applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020 : proceedings / by: (Electronic resources)

Theory and practice of natural computing9th International Conference, TPNC 2020, Taoyuan, Taiwan, December 7-9, 2020 : proceedings / by: (Electronic resources)

Understand mathematics, understand computingdiscrete mathematics that all computing students should know / by: (Electronic resources)

Knowledge graphs and semantic websecond Iberoamerican Conference and First Indo-American Conference, KGSWC 2020, Merida, Mexico, November 26-27, 2020 : proceedings / by: (Electronic resources)

LATIN 2020theoretical informatics : 14th Latin American Symposium, Sao Paulo, Brazil, January 5-8, 2021 : proceedings / by: (Electronic resources)

Combinatorial optimization and applications14th International Conference, COCOA 2020, Dallas, TX, USA, December 11-13, 2020 : proceedings / by: (Electronic resources)

Software verification12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020 : revised selected papers / by: (Electronic resources)

Advances in computer games16th International Conference, ACG 2019, Macao, China, August 11-13, 2019 : revised selected papers / by: (Electronic resources)

Knowledge discovery, knowledge engineering and knowledge management11th International Joint Conference, IC3K 2019, Vienna, Austria, September 17-19, 2019 : revised selected papers / by: (Electronic resources)

Advanced data mining and applications16th International Conference, ADMA 2020, Foshan, China, November 12-14, 2020 : proceedings / by: (Electronic resources)

Graph drawing and network visualization28th International Symposium, GD 2020, Vancouver, BC, Canada, September 16-18, 2020 : revised selected papers / by: (Electronic resources)

Applications of evolutionary computation23rd European Conference, EvoApplications 2020, held as part of EvoStar 2020, Seville, Spain, April 15-17, 2020 : proceedings / by: (Electronic resources)

Evolutionary computation in combinatorial optimization20th European Conference, EvoCOP 2020, held as part of EvoStar 2020, Seville, Spain, April 15-17, 2020 : proceedings / by: (Electronic resources)

Genetic programming23rd European Conference, EuroGP 2020, held as part of EvoStar 2020, Seville, Spain, April 15-17, 2020 : proceedings / by: (Electronic resources)

Mathematical aspects of computer and information sciences8th International Conference, MACIS 2019, Gebze, Turkey, November 13-15, 2019 : revised selected papers / by: (Electronic resources)

Rough setsInternational Joint Conference, IJCRS 2020, Havana, Cuba, June 29 - July 3, 2020 : proceedings / by: (Electronic resources)

Theory and applications of satisfiability testing - SAT 202023rd International Conference, Alghero, Italy, July 3-10, 2020 : proceedings / by: (Electronic resources)

Trends in functional programming20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019 : revised selected papers / by: (Electronic resources)

Mathematical structures of ergodicity and chaos in population dynamics by: (Electronic resources)

Experimental and computational investigations in engineeringproceedings of the international conference of experimental and numerical investigations and new technologies, CNNTech 2020 / by: (Electronic resources)

Policy decision modeling with fuzzy logictheoretical and computational aspects / by: (Electronic resources)

Verification, model checking, and abstract interpretation22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021 : proceedings / by: (Electronic resources)

Algorithms as a basis of modern applied mathematics by: (Electronic resources)

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

Theoretical computer science38th National Conference, NCTCS 2020, Nanning, China, November 13-15, 2020 : revised selected papers / by: (Electronic resources)

Complex systems design & managementproceedings 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: (Electronic resources)

Machine intelligence and smart systemsproceedings of MISS 2020 / by: (Electronic resources)

Artificial intelligence and machine learning32nd Benelux Conference, BNAIC/Benelearn 2020, Leiden, the Netherlands, November 19-20, 2020 : revised selected papers / by: (Electronic resources)

NASA formal methods13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings / by: (Electronic resources)

AIxIA 2020 - advances in artificial intelligenceXIXth International Conference of the Italian Association for Artificial Intelligence, virtual event, November 25-27, 2020 : revised selected papers / by: (Electronic resources)

Tools and methods of program analysis5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019 : revised selected papers / by: (Electronic resources)

Agents and artificial intelligence12th International Conference, ICAART 2020, Valletta, Malta, February 22-24, 2020 : revised selected papers / by: (Electronic resources)

Fundamental approaches to software engineering24th 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: (Electronic resources)

Tools and algorithms for the construction and analysis of systems27th 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: (Electronic resources)

Foundations of software science and computation structures24th 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: (Electronic resources)

Tools and algorithms for the construction and analysis of systems27th 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: (Electronic resources)

Evolutionary multi-criterion optimization11th International Conference, EMO 2021, Shenzhen, China, March 28-31, 2021 : proceedings / by: (Electronic resources)

Evolutionary computation in combinatorial optimization21st European Conference, EvoCOP 2021, held as part of EvoStar 2021, Virtual Event, April 7-9, 2021 : proceedings / by: (Electronic resources)

Advances in information retrieval43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28 - April 1, 2021 : proceedings.Part II / by: (Electronic resources)

Applications of evolutionary computation24th International Conference, EvoApplications 2021, held as part of EvoStar 2021, Virtual Event, April 7-9, 2021 : proceedings / by: (Electronic resources)

Artificial intelligence in music, sound, art and design10th International Conference, EvoMUSART 2021, held as part of EvoStar 2021, Virtual Event, April 7-9, 2021 : proceedings / by: (Electronic resources)

Stream-tube methoda complex-fluid dynamics and computational approach / by: (Electronic resources)

Analysis and design of nonlinear systems in the frequency domain by: (Electronic resources)

Nature-inspired metaheuristic algorithms for engineering optimization applications by: (Electronic resources)

Introduction to algorithmic government by: (Electronic resources)

Modelling and development of intelligent systems7th International Conference, MDIS 2020, Sibiu, Romania, October 22-24, 2020 : revised selected papers / by: (Electronic resources)

Concise guide to quantum computingalgorithms, exercises, and implementations / by: (Electronic resources)

Formalising natural languagesapplications to natural language processing and digital humanities : 14th International Conference, NooJ 2020, Zagreb, Croatia, June 5-7, 2020 : revised selected papers / by: (Electronic resources)

Chatbot research and design4th International Workshop, CONVERSATIONS 2020, Virtual Event, November 23-24, 2020 : revised selected papers / by: (Electronic resources)

Cellular automata14th International Conference on Cellular Automata for Research and Industry, ACRI 2020, Lodz, Poland, December 2-4, 2020 : proceedings / by: (Electronic resources)

PRIMA 2020principles and practice of multi-agent systems : 23rd International Conference, Nagoya, Japan, November 18-20, 2020 : proceedings / by: (Electronic resources)

Parallel and distributed computing, applications and technologies21st International Conference, PDCAT 2020, Shenzhen, China, December 28-30, 2020 : proceedings / by: (Electronic resources)

Language and automata theory and applications15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021 : proceedings / by: (Electronic resources)

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

From data to models and back9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020 : revised selected papers / by: (Electronic resources)

The zeroth book of graph theoryan annotated translation of Les Reseaux (ou Graphes) : Andre Sainte-Lague (1926) / by: (Electronic resources)

Handbook of computability and complexity in analysis by: (Electronic resources)

Fundamentals of cryptographyintroducing mathematical and algorithmic foundations / by: (Electronic resources)

Fundamentals of quantum computingtheory and practice / by: (Electronic resources)

Stability analysis and controller design of local model networks by: (Electronic resources)

Advances in artificial intelligence, computation, and data sciencefor medicine and life science / by: (Electronic resources)

Membrane computing21st International Conference, CMC 2020, virtual event, September 14-18, 2020 : revised selected papers / by: (Electronic resources)

Computational science - ICCS 202121st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.Part V / by: (Electronic resources)

Computational science - ICCS 202121st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.Part VI / by: (Electronic resources)

Computational science - ICCS 202121st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.Part I / by: (Electronic resources)

Computational science - ICCS 202121st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.Part III / by: (Electronic resources)

Computational science - ICCS 202121st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.Part IV / by: (Electronic resources)

Artificial intelligence in education22nd International Conference, AIED 2021, Utrecht, The Netherlands, June 14-18, 2021 : proceedings.Part I / by: (Electronic resources)

Computational science - ICCS 202121st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.Part II / by: (Electronic resources)

Integration of constraint programming, artificial intelligence, and operations research18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021 : proceedings / by: (Electronic resources)

Computer science - theory and applications16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28-July 2, 2021 : proceedings / by: (Electronic resources)

Structural information and communication complexity28th International Colloquium, SIROCCO 2021, Wroclaw, Poland, June 28 - July 1, 2021 : proceedings / by: (Electronic resources)

Implementation and application of automata25th International Conference, CIAA 2021, virtual event, July 19-22, 2021 : proceedings / by: (Electronic resources)

Reversible computation13th International Conference, RC 2021, virtual event, July 7-8, 2021 : proceedings / by: (Electronic resources)

New frontiers in artificial intelligenceJSAI-isAI 2020 Workshops, JURISIN, LENLS 2020 Workshops, virtual event, November 15-17, 2020 : revised selected papers / by: (Electronic resources)

Connecting with computability17th Conference on Computability in Europe, CiE 2021, virtual event, Ghent, July 5-9, 2021 : proceedings / by: (Electronic resources)

Theory and applications of satisfiability testing - SAT 202124th International Conference, Barcelona, Spain, July 5-9, 2021 : proceedings / by: (Electronic resources)

Advances in swarm intelligence12th International Conference, ICSI 2021, Qingdao, China, July 17-21, 2021 : proceedings.Part I / by: (Electronic resources)

New medical diagnosis models based on generalized Type-2 fuzzy logic by: (Electronic resources)

Cluster analysis and applications by: (Electronic resources)

Computational sciences - modelling, computing and soft computingfirst International Conference, CSMCS 2020, Kozhikode, Kerala, India, September 10-12, 2020 : revised selected papers / by: (Electronic resources)

Multi-agent systems18th European Conference, EUMAS 2021, virtual event, June 28-29, 2021 : revised selected papers / by: (Electronic resources)

Modeling and simulation of complex dynamical systemsvirtual laboratory approach based on Wolfram SystemModeler / by: (Electronic resources)

Formal modeling and analysis of timed systems19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021 : proceedings / by: (Electronic resources)

Computer algebra in scientific computing23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021 : proceedings / by: (Electronic resources)

Quantitative evaluation of systems18th International Conference, QEST 2021, Paris, France, August 23-27, 2021 : proceedings / by: (Electronic resources)

Formal methods for industrial critical systems26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings / by: (Electronic resources)

Computational reconstruction of missing data in biological research by: (Electronic resources)

Petri nets for modeling of large discrete systems by: (Electronic resources)

Service-oriented computing15th Symposium and Summer School, SummerSOC 2021, virtual event, September 13-17, 2021 : proceedings / by: (Electronic resources)

Case-based reasoning research and development29th International Conference, ICCBR 2021, Salamanca, Spain, September 13-16, 2021 : proceedings / by: (Electronic resources)

Interpretability of machine intelligence in medical image computing, and topological data analysis and its applications for medical data4th International Workshop, iMIMIC 2021 and 1st International Workshop, TDA4MedicalData 2021, held in conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021 : proceedings / by: (Electronic resources)

Computational collective intelligence13th International Conference, ICCCI 2021, Rhodes, Greece, September 29 - October 1, 2021 : proceedings / by: (Electronic resources)

Search-based software engineering13th International Symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021 : proceedings / by: (Electronic resources)

Artificial intelligence19th Russian Conference, RCAI 2021, Taganrog, Russia, October 11-16, 2021 : proceedings / by: (Electronic resources)

Approximation and online algorithms18th International Workshop, WAOA 2020, Virtual Event, September 9-10, 2020 : revised selected papers / by: (Electronic resources)

Topological methods in data analysis and visualization.VI,Theory, applications, and software by: (Electronic resources)

Corruption networksconcepts and applications / by: (Electronic resources)

Introduction to quantum computing by: (Electronic resources)

Guide to graph colouringalgorithms and applications / by: (Electronic resources)

Metaheuristics for finding multiple solutions by: (Electronic resources)

Guide to discrete mathematicsan accessible introduction to the history, theory, logic and applications / by: (Electronic resources)

Artificial intelligence and soft computing20th International Conference, ICAISC 2021, virtual event, June 21-23, 2021 : proceedings.Part II / by: (Electronic resources)

Fundamentals of software engineering9th International Conference, FSEN 2021, virtual event, May 19-21, 2021 : revised selected papers / by: (Electronic resources)

Advances in computational intelligence20th Mexican International Conference on Artificial Intelligence, MICAI 2021, Mexico City, Mexico, October 25-30, 2021 : proceedings.Part I / by: (Electronic resources)

Computing and combinatorics27th International Conference, COCOON 2021, Tainan, Taiwan, October 24-26, 2021 : proceedings / by: (Electronic resources)

Reachability problems15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021 : proceedings / by: (Electronic resources)

Discrete and computational geometry, graphs, and games21st Japanese conference, JCDCGGG 2018, Quezon City, Philippines, September 1-3, 2018 : revised selected papers / by: (Electronic resources)

Relational and algebraic methods in computer science19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021 : proceedings / by: (Electronic resources)

The physics of computing by: (Electronic resources)

Fundamentals of logic and computationwith practical automated reasoning and verification / by: (Electronic resources)

Advances in optimization and applications12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27-October 1, 2021 : revised selected papers / by: (Electronic resources)

Computational thinkinga perspective on computer science / by: (Electronic resources)

Techniques for searching, parsing, and matching by: (Electronic resources)

Formalizing natural languagesapplications to natural language processing and digital humanities : 15th International Conference, NooJ 2021, Besancon, France, June 9-11, 2021 : revised selected papers / by: (Electronic resources)

Algorithmic aspects of cloud computing6th international symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6-7, 2021 : revised selected papers / by: (Electronic resources)

Combinatorial optimization and applications15th International Conference, COCOA 2021, Tianjin, China, December 17-19, 2021 : proceedings / by: (Electronic resources)

Algorithmic aspects in information and management15th International Conference, AAIM 2021, virtual event, December 20-22, 2021 : proceedings / by: (Electronic resources)

Graph drawing and network visualization29th International Symposium, GD 2021, Tubingen, Germany, September 14-17, 2021 : revised selected papers / by: (Electronic resources)

Domain science and engineeringa foundation for software development / by: (Electronic resources)

Theoretical computer science39th National Conference of Theoretical Computer Science, NCTCS 2021, Yinchuan, China, July 23-25, 2021 : revised selected papers / by: (Electronic resources)

Theory and practice of natural computing10th International Conference, TPNC 2021, Tsukuba, Japan, December 7-10, 2021 : proceedings / by: (Electronic resources)

Formal methods24th International Symposium, FM 2021, virtual event, November 20-26, 2021 : proceedings / by: (Electronic resources)

Rules and reasoning5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021 : proceedings / by: (Electronic resources)

Software engineering and formal methods19th International Conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings / by: (Electronic resources)

Introduction to computationHaskell, logic and automata / by: (Electronic resources)

Arithmetic geometry, number theory, and computation by: (Electronic resources)

Formal methods in outer spaceessays dedicated to Klaus Havelund on the occasion of his 65th birthday / by: (Electronic resources)

Logic, computation and rigorous methodsessays dedicated to Egon Borger on the occasion of his 75th birthday / by: (Electronic resources)

Computational methods in systems biology19th International Conference, CMSB 2021, Bordeaux, France, September 22-24, 2021 : proceedings / by: (Electronic resources)

Formal concept analysis16th International Conference, ICFCA 2021, Strasbourg, France, June 29 - July 2, 2021 : proceedings / by: (Electronic resources)

WALCOMalgorithms and computation : 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 - March 2, 2021 : proceedings / by: (Electronic resources)

The regularized fast Hartley transformlow-complexity parallel computation of the FHT in one and multiple dimensions / by: (Electronic resources)

Artificial intelligence and evolutionary computations in engineering systemscomputational algorithm for AI technology, proceedings of ICAIECES 2020 / by: (Electronic resources)

Consciousness, cognition and crosstalkthe evolutionary exaptation of nonergodic groupoid symmetry-breaking / by: (Electronic resources)

Graph neural networksfoundations, frontiers, and applications / by: (Electronic resources)

Practical aspects of declarative languages24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022 : proceedings / by: (Electronic resources)

Verification, model checking, and abstract interpretation23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022 : proceedings / by: (Electronic resources)

Chatbot research and design5th International Workshop, CONVERSATIONS 2021, virtual event, November 23-24, 2021 : revised selected papers / by: (Electronic resources)

Observer design for control and fault diagnosis of Boolean networks by: (Electronic resources)

Nature inspired optimisation for delivery problemsfrom theory to the real world / by: (Electronic resources)

Applications of evolutionary computation25th European Conference, EvoApplications 2022, held as part of EvoStar 2022, Madrid, Spain, April 20-22, 2022 : proceedings / by: (Electronic resources)

Artificial intelligence in music, sound, art and design11th International Conference, EvoMUSART 2022, held as part of EvoStar 2022, Madrid, Spain, April 20-22, 2022 : proceedings / by: (Electronic resources)

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

Database systems for advanced applications27th International Conference, DASFAA 2022, virtual event, April 11-14, 2022 : proceedings.Part I / by: (Electronic resources)

Research in computational molecular biology26th Annual International Conference, RECOMB 2022, San Diego, CA, USA, May 22-25, 2022 : proceedings / by: (Electronic resources)

Bio-inspired systems and applicationsfrom 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: (Electronic resources)

Advanced information systems engineering34th International Conference, CAiSE 2022, Leuven, Belgium, June 6-10, 2022 : proceedings / by: (Electronic resources)

Metaheuristics and nature inspired computing8th International Conference, META 2021, Marrakech, Morocco, October 27-30, 2021 : proceedings / by: (Electronic resources)

Data, information, and timethe DIT model / by: (Electronic resources)

Bio-inspired computingtheories and applications : 16th International Conference, BIC-TA 2021, Taiyuan, China, December 17-19, 2021 : revised selected papers.Part I / by: (Electronic resources)

Engineering multi-agent systems9th International Workshop, EMAS 2021, virtual event, May 3-4, 2021 : revised selected papers / by: (Electronic resources)

Parallel and distributed computing, applications and technologies22nd International Conference, PDCAT 2021, Guangzhou, China, December 17-19, 2021 : proceedings / by: (Electronic resources)

Large-scale scientific computing13th International Conference, LSSC 2021, Sozopol, Bulgaria, June 7-11, 2021 : revised selected papers / by: (Electronic resources)

Foundations of software science and computation structures25th 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: (Electronic resources)

Programming languages and systems31st 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: (Electronic resources)

Fundamental approaches to software engineering25th 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: (Electronic resources)

Tools and algorithms for the construction and analysis of systems28th 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: (Electronic resources)

Tools and algorithms for the construction and analysis of systems28th 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: (Electronic resources)

Application of intelligent control algorithms to study the dynamics of hybrid power system by: (Electronic resources)

Encyclopedia of computational neuroscience by: (Electronic resources)

Formal methods for software engineeringlanguages, methods, application domains / by: (Electronic resources)

Z2Z4-linear codes by: (Electronic resources)

Integration of constraint programming, artificial intelligence, and operations researchInternational Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022 : proceedings / by: (Electronic resources)

Formal techniques for distributed objects, components, and systems42nd 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-18, 2022 : proceedings / by: (Electronic resources)

Computational science - ICCS 202222nd International Conference, London, UK, June 21-23, 2022 : proceedings.Part I / by: (Electronic resources)

Computational science - ICCS 202222nd International Conference, London, UK, June 21-23, 2022 : proceedings.Part II / by: (Electronic resources)

Computational science - ICCS 202222nd International Conference, London, UK, June 21-23, 2022 : proceedings.Part III / by: (Electronic resources)

Computational science - ICCS 202222nd International Conference, London, UK, June 21-23, 2022 : proceedings.Part IV / by: (Electronic resources)

Computer sciencetheory and applications : 17th International Computer Science Symposium in Russia, CSR 2022, virtual event, June 29-July 1, 2022 : proceedings / by: (Electronic resources)

Advances in swarm intelligence13th International Conference, ICSI 2022, Xi'an, China, July 15-19, 2022 : proceedings.Part I / by: (Electronic resources)

Advances in swarm intelligence13th International Conference, ICSI 2022, Xi'an, China, July 15-19, 2022 : proceedings.Part II / by: (Electronic resources)

Runtime verificationa hands-on approach in Java / by: (Electronic resources)

Computability by: (Electronic resources)

Agents and artificial intelligence13th International Conference, ICAART 2021 virtual event, February 4-6, 2021 : revised selected papers / by: (Electronic resources)

Knowledge science, engineering and management15th International Conference, KSEM 2022, Singapore, August 6-8, 2022 : proceedings.Part I / by: (Electronic resources)

Advances in Computer Games17th International Conference, ACG 2021, virtual event, November 23-25, 2021 : revised selected papers / by: (Electronic resources)

Blockchain scalability and its foundations in distributed systems by: (Electronic resources)

Understanding computationpillars, paradigms, principles / by: (Electronic resources)

Computer aided verification34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022 : proceedings.Part II / by: (Electronic resources)

Cellular automata15th International Conference on Cellular Automata for Research and Industry, ACRI 2022, Geneva, Switzerland, September 12-15, 2022 : proceedings / by: (Electronic resources)

Parallel problem solving from nature - PPSN XVII17th International Conference, PPSN 2022, Dortmund, Germany, September 10-14, 2022 : proceedings.Part I / by: (Electronic resources)

Computer safety, reliability, and security41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022 : proceedings / by: (Electronic resources)

Formal modeling and analysis of timed systems20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022 : proceedings / by: (Electronic resources)

Knowledge discovery, knowledge engineering and knowledge management12th International Joint Conference, IC3K 2020, virtual event, November 2-4, 2020 : revised selected papers / by: (Electronic resources)

Computer safety, reliability, and securitySAFECOMP 2022 Workshops, DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE, Munich, Germany, September 6-9, 2002 : proceedings / by: (Electronic resources)

A journey from process algebra via timed automata to model learningessays dedicated to Frits Vaandrager on the occasion of his 60th birthday / by: (Electronic resources)

Quantitative evaluation of systems19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022 : proceedings / by: (Electronic resources)

Algorithmic aspects in information and management16th International Conference, AAIM 2022, Guangzhou, China, August 13-14, 2022 : proceedings / by: (Electronic resources)

Graph-based representation and reasoning27th International Conference on Conceptual Structures, ICCS 2022, Munster, Germany, September 12-15, 2022 : proceedings / by: (Electronic resources)

Explainable and transparent AI and multi-agent systems4th International Workshop, EXTRAAMAS 2022, virtual event, May 9-10, 2022 : revised selected papers / by: (Electronic resources)

Introduction to combinatorial optimization by: (Electronic resources)

Formal methods and software engineering23rd International Conference on Formal Engineering Methods, ICFEM 2022, Spain, October 24-27, 2022 : proceedings / by: (Electronic resources)

From data to models and back10th International Symposium, DataMod 2021, virtual event, December 6-7, 2021 : revised selected papers / by: (Electronic resources)

The semantic web - ISWC 202221st International Semantic Web Conference, virtual event, October 23-27, 2022 : proceedings / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationsoftware engineering : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part II / by: (Electronic resources)

Leveraging applications of formal methods, verification and validationadaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.Part III / by: (Electronic resources)

Discrete geometry and mathematical morphologysecond international joint conference, DGMM 2022, Strasbourg, France, October 24-27, 2022 : proceedings / by: (Electronic resources)

Automated technology for verification and analysis20th International Symposium, ATVA 2022, Beijing, China, October 25-28, 2022 : proceedings / by: (Electronic resources)

Swarm intelligence13th International Conference, ANTS 2022, Malaga, Spain, November 2-4, 2022 : proceedings / by: (Electronic resources)

LATIN 2022theoretical informatics : 15th Latin American Symposium, Guanajuato, Mexico, November 7-11, 2022 : proceedings / by: (Electronic resources)

Artificial intelligence and natural language11th Conference, AINL 2022, Saint Petersburg, Russia, April 14-15, 2022 : revised selected papers / by: (Electronic resources)

Artificial life and evolutionary computation15th Italian Workshop, WIVACE 2021, Winterthur, Switzerland, September 15-17, 2021 : revised selected papers / by: (Electronic resources)

Transactions on computational collective intelligence XXXVII by: (Electronic resources)

Learning and intelligent optimization16th International Conference, LION 16, Milos Island, Greece, June 5-10, 2022 : revised selected papers / by: (Electronic resources)

Coping with selfishness in congestion gamesanalysis and design via LP duality / by: (Electronic resources)

Algorithms for constructing computably enumerable sets by: (Electronic resources)

Higher education computer sciencea manual of practical approaches / by: (Electronic resources)

Integration of constraint programming, artificial intelligence, and operations research20th International Conference, CPAIOR 2023, Nice, France, May 29-June 1, 2023 : proceedings / by: (Electronic resources)

Algorithmic aspects of cloud computing7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022 : revised selected papers / by: (Electronic resources)

NASA formal methods15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023 : proceedings / by: (Electronic resources)

Verification, model checking, and abstract interpretation24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023 : proceedings / by: (Electronic resources)

Graph drawing and network visualization30th International Symposium, GD 2022, Tokyo, Japan, September 13-16, 2022 : revised selected papers / by: (Electronic resources)

Software engineering and formal methods -- SEFM 2022 collocated workshopsAI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022 / by: (Electronic resources)

Metaheuristics14th International Conference, MIC 2022, Syracuse, Italy, July 11-14, 2022 : proceedings / by: (Electronic resources)

Computer visionstatistical models for marr's paradigm / by: (Electronic resources)

Web and big dataAPWeb-WAIM 2022 International Workshops : KGMA 2022, semiBDMA 2022, DeepLUDA 2022, Nanjing, China, November 25-27, 2022 : proceedings / by: (Electronic resources)

Objective information theory by: (Electronic resources)

Bio-inspired computingtheories and applications : 17th International Conference, BIC-TA 2022, Wuhan, China, December 16-18 2022 : revised selected papers / by: (Electronic resources)

Artificial life and evolutionary computation16th Italian Workshop, WIVACE 2022, Gaeta, Italy, September 14-16, 2022 : revised selected papers / by: (Electronic resources)

AIxIA 2022 - advances in artificial intelligenceXXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022 : proceedings / by: (Electronic resources)

Machine learning and knowledge discovery in databasesEuropean Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022 : proceedings.Part I / by: (Electronic resources)

Artificial intelligence in music, sound, art and design12th International Conference, EvoMUSART 2023, held as part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023 : proceedings / by: (Electronic resources)

Human-centered artificial intelligenceadvanced lectures / by: (Electronic resources)

New frontiers in artificial intelligenceJSAI-isAI 2022 Workshop, JURISIN 2022, and JSAI 2022 International Session, Kyoto, Japan, June 12-17, 2022 : revised selected papers / by: (Electronic resources)

Parallel and distributed computing, applications and technologies23rd International Conference, PDCAT 2021, Guangzhou, China, December 7-9, 2022 : proceedings / by: (Electronic resources)

Applications of evolutionary computation26th European Conference, EvoApplications 2023, held as part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023 : proceedings / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems29th International Conference, TACAS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023 : proceedings.Part II / by: (Electronic resources)

Foundations of software science and computation structures26th International Conference, FoSSaCS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023 : proceedings / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems29th International Conference, TACAS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023 : proceedings.Part I / by: (Electronic resources)

SOFSEM 2023theory and practice of computer science : 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Novy Smokovec, Slovakia, January 15-18, 2023 : proceedings / by: (Electronic resources)

Fourier optics and computational imaging by: (Electronic resources)

Walcomalgorithms and computation : 16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24-26, 2022 : proceedings / by: (Electronic resources)

Formal methods for industrial critical systems27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022 : proceedings / by: (Electronic resources)

Diagrammatic representation and inference13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022 : proceedings / by: (Electronic resources)

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

The logic of softwarea tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday / by: (Electronic resources)

Philosophy of computingthemes from IACAP 2019 / by: (Electronic resources)

Advanced information systems engineering35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12-16, 2023 : proceedings / by: (Electronic resources)

Computational science - ICCS 202323rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.Part III / by: (Electronic resources)

Computational science - ICCS 202323rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.Part I / by: (Electronic resources)

Computational science - ICCS 202323rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.Part V / by: (Electronic resources)

Computational science - ICCS 202323rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.Part IV / by: (Electronic resources)

Computational science - ICCS 202323rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.Part II / by: (Electronic resources)

Information is energydefinition of a physically based concept of information / by: (Electronic resources)

Applied analysis, optimization and soft computingICNAAO-2021, Varanasi, India, December 21-23 / by: (Electronic resources)

Knowledge science, engineering and management16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023 : proceedings.Part II / by: (Electronic resources)

Implementation and application of automata27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023 : proceedings / by: (Electronic resources)

Graph-based representation and reasoning28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023 : proceedings / by: (Electronic resources)

Cellular automata and discrete complex systems29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 - September 1, 2023 : proceedings / by: (Electronic resources)

Formal modeling and analysis of timed systems21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings / by: (Electronic resources)

Fundamentals of software engineering10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023 : revised selected papers / by: (Electronic resources)

Explainable and transparent AI and multi-agent systems5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023 : revised selected papers / by: (Electronic resources)

Knowledge discovery, knowledge engineering and knowledge management13th International Joint Conference, IC3K 2021, virtual event, October 25-27, 2021 : revised selected papers / by: (Electronic resources)

Many-criteria optimization and decision analysisstate-of-the-art, present challenges, and future perspectives / by: (Electronic resources)

Advances in swarm intelligence14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023 : proceedings.Part I / by: (Electronic resources)

Advances in swarm intelligence14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023 : proceedings.Part II / by: (Electronic resources)

New frontiers in artificial intelligenceJSAI-isAI 2021 Workshop, JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November 13-15, 2021 : revised selected papers / by: (Electronic resources)

Programs as diagramsfrom categorical computability to computable categories / by: (Electronic resources)

Computer safety, reliability, and securitySAFECOMP 2023 Workshops, ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023 : proceedings / by: (Electronic resources)

Quantitative evaluation of systems20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings / by: (Electronic resources)

Formal methods for industrial critical systems28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings / by: (Electronic resources)

Colored petri nets for modeling of discrete systemsa practical approach with GPenSIM / by: (Electronic resources)

Programming languagesprinciples and paradigms / by: (Electronic resources)

Rules and reasoning7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023 : proceedings / by: (Electronic resources)

Automated technology for verification and analysis21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings.Part II / by: (Electronic resources)

Automated technology for verification and analysis21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings.Part I / by: (Electronic resources)

Complex computational ecosystemsfirst International Conference, CCE 2023, Baku, Azerbaijan, April 25-27, 2023 : proceedings / by: (Electronic resources)

Advances in conceptual modelingER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6-9, 2023 : proceedings / by: (Electronic resources)

The semantic web - ISWC 202322nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023 : proceedings.Part I / by: (Electronic resources)

The semantic web - ISWC 202322nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023 : proceedings.Part II / by: (Electronic resources)

AIxIA 2023 - Advances in Artificial IntelligenceXXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023 : proceedings / by: (Electronic resources)

Solvable cellular automatamethods and applications / by: (Electronic resources)

Coordination, organizations, institutions, norms, and ethics for governance of multi-agent systems XVI27th International Workshop, COINE 2023, London, UK, May 29, 2023 : revised selected papers / by: (Electronic resources)

Artificial intelligence logic and applicationsthe 3rd International Conference, AILA 2023, Changchun, China, august 5-6, 2023 : proceedings / by: (Electronic resources)

Scheduling and reconfiguration of real-time systemsa supervisory control approach / by: (Electronic resources)

Programming languages and systems21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023 : proceedings / by: (Electronic resources)

Engineering multi-agent systems11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023 : revised selected papers / by: (Electronic resources)

Graph drawing and network visualization31st international symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20-22, 2023 : revised selected papers.Part II / by: (Electronic resources)

Practical aspects of declarative languages26th international symposium, PADL 2024, London, UK, January 15-16, 2024 : proceedings / by: (Electronic resources)

Graph drawing and network visualization31st international symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20-22, 2023 : revised selected papers.Part I / by: (Electronic resources)

Intelligent software defect prediction by: (Electronic resources)

WALCOMalgorithms and computation : 17th International Conference and Workshops, WALCOM 2023, Hsinchu, Taiwan, March 22-24, 2023 : proceedings / by: (Electronic resources)

Algorithms and models for the web graph18th International Workshop, WAW 2023, Toronto, ON, Canada, May 23-26, 2023 : proceedings / by: (Electronic resources)

Formal concept analysis17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023 : proceedings / by: (Electronic resources)