Theory of Computation.

Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. II / by: (書目-語言資料,印刷品)

New Computational Paradigms = First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings / by: (書目-語言資料,印刷品)

Automata, Languages and Programming = 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings / by: (書目-語言資料,印刷品)

Euro-Par 2005 Parallel Processing = 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings / by: (書目-語言資料,印刷品)

Metaheuristics: Progress as Real Problem Solvers by: (書目-語言資料,印刷品)

Event-Triggered and Time-Triggered Control Paradigms by: (書目-語言資料,印刷品)

Genetic Programming Theory and Practice II by: (書目-語言資料,印刷品)

Semistructured Database Design by: (書目-語言資料,印刷品)

Genetic Programming IV = Routine Human-Competitive Machine Intelligence / by: (書目-語言資料,印刷品)

Super-Recursive Algorithms by: (書目-語言資料,印刷品)

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

Genetic Programming Theory and Practice.. V by: (書目-語言資料,印刷品)

Probing Experience = From Assessment of User Emotions and Behaviour to Development of Products / by: (書目-語言資料,印刷品)

Euro-Par 2007 Workshops: Parallel Processing = HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers / by: (書目-語言資料,印刷品)

Unfoldings = A Partial-Order Approach to Model Checking / by: (書目-語言資料,印刷品)

Theory and applications of models of computation = 5th international conference, TAMC 2008, Xi'an, China, April 25-29, 2008 ; proceedings / by: (書目-語言資料,印刷品)

Principles of the Spin model checker by: (書目-語言資料,印刷品)

Decision Procedures = An Algorithmic Point of View / by: (書目-語言資料,印刷品)

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

Applications and Theory of Petri Nets = 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings / by: (書目-語言資料,印刷品)

Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part I / by: (書目-語言資料,印刷品)

Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part II / by: (書目-語言資料,印刷品)

Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part III / by: (書目-語言資料,印刷品)

Logic and Theory of Algorithms = 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings / by: (書目-語言資料,印刷品)

Computational Science and Its Applications ICCSA 2008 = International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I / by: (書目-語言資料,印刷品)

Computational Science and Its Applications ICCSA 2008 = International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part II / by: (書目-語言資料,印刷品)

Logic, Language, Information and Computation = 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / by: (書目-語言資料,印刷品)

Transactions on Computational Science I by: (書目-語言資料,印刷品)

Encyclopedia of Algorithms by: (書目-語言資料,印刷品)

Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I / by: (書目-語言資料,印刷品)

Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / by: (書目-語言資料,印刷品)

CONCUR 2008 - Concurrency Theory = 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings / by: (書目-語言資料,印刷品)

Euro-Par 2008 -- Parallel Processing = 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings / by: (書目-語言資料,印刷品)

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

Deduction, computation, experiment = exploring the effectiveness of proof / by: (書目-語言資料,印刷品)

Neural-symbolic cognitive reasoning by: (書目-語言資料,印刷品)

Information theory and statistical learning by: (書目-語言資料,印刷品)

Compiler construction = 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings/ by: (書目-語言資料,印刷品)

Quantum interaction = third international symposium, QI 2009, Saarbrucken, Germany, March 25-27, 2009 ; proceedings / by: (書目-語言資料,印刷品)

Models of computation = an introduction to computability theory / by: (書目-語言資料,印刷品)

Elements of Computation Theory by: (書目-語言資料,印刷品)

Computational science - ICCS 2009 = 9th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.. Part I / by: (書目-語言資料,印刷品)

Computational science - ICCS 2009 = 9th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.. Part II / by: (書目-語言資料,印刷品)

Theory and applications of models of computation = 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings / by: (書目-語言資料,印刷品)

Theory and applications of models of computation = 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 : proceedings / by: (書目-語言資料,印刷品)

A 25-Year perspective on logic programming = achievements of the Italian Association for Logic Programming, GULP / by: (書目-語言資料,印刷品)

Game of Life cellular automata by: (書目-語言資料,印刷品)

The mathematics of language = 10th 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: (書目-語言資料,印刷品)

Theory and applications of models of computation = 8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 : proceedings / by: (書目-電子資源)

Rainbow of computer science = dedicated to Hermann Maurer on the occasion of his 70th birthday / by: (書目-電子資源)

Introduction to the theory of programming languages by: (書目-電子資源)

Boolean function complexity = advances and frontiers / by: (書目-電子資源)

Transactions on petri nets and other models of concurrency V by: (書目-電子資源)

Grobner bases, coding, and cryptography by: (書目-電子資源)

Modeling Time in Computing by: (書目-電子資源)

Search computing = broadening web search / by: (書目-電子資源)

Provable security = second international conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008 : proceedings / by: (書目-電子資源)

Theory and applications of models of computation = 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014 : proceedings / by: (書目-電子資源)

Formal methods for executable software models = 14th 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: (書目-電子資源)

Unconventional Computation and Natural Computation = 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014 : proceedings / by: (書目-電子資源)

Declarative programming and knowledge management = Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 : revised selected papers / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 2014 = 17th International Conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / by: (書目-電子資源)

Biomimetic and biohybrid systems = third International Conference, Living Machines 2014, Milan, Italy, July 30 - August 1, 2014 : proceedings / by: (書目-電子資源)

Supercomputing = 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014 : proceedings / by: (書目-電子資源)

Applied cryptography and network security = 12th International Conference, ACNS 2014, Lausanne, Switzerland, June 10-13, 2014 : proceedings / by: (書目-電子資源)

Transactions on computational science XXIII = special issue on cyberworlds / by: (書目-電子資源)

Mathematical software - ICMS 2014 = 4th International Congress, Seoul, South Korea, August 5-9, 2014 : proceedings / by: (書目-電子資源)

Constructivity and computability in historical and philosophical perspective by: (書目-電子資源)

Introduction to evolutionary computing by: (書目-電子資源)

Introduction to concurrency theory = transition systems and CCS / by: (書目-電子資源)

Words and graphs by: (書目-電子資源)

Constraint solving and planning with Picat by: (書目-電子資源)

Natural computing algorithms by: (書目-電子資源)

The foundations of computability theory by: (書目-電子資源)

Petri net synthesis by: (書目-電子資源)

Higher-order computability by: (書目-電子資源)

Carl Adam Petri = life and science / by: (書目-電子資源)

CryptoSchool by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 2015 = 18th International Conference, Austin, TX, USA, September 24-27, 2015 : proceedings / by: (書目-電子資源)

Algorithmic learning theory = 26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015 : proceedings / by: (書目-電子資源)

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

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

Graph and model transformation = general framework and applications / by: (書目-電子資源)

The digital synaptic neural substrate = a new approach to computational creativity / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 2016 = 19th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings / by: (書目-電子資源)

High performance computing = 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016 : proceedings / by: (書目-電子資源)

Evolutionary computer vision = the first footprints / by: (書目-電子資源)

An introduction to online computation = determinism, randomization, advice / by: (書目-電子資源)

Decision diagrams for optimization by: (書目-電子資源)

Semantic web challenges = third SemWebEval Challenge at ESWC 2016, Heraklion, Crete, Greece, May 29 - June 2, 2016 : revised selected papers / by: (書目-電子資源)

Nature of computation and communication = second International Conference, ICTCC 2016, Rach Gia, Vietnam, March 17-18, 2016 : revised selected papers / by: (書目-電子資源)

An introduction to transfer entropy = information flow in complex systems / by: (書目-電子資源)

Wireless power transfer algorithms, technologies and applications in ad hoc communication networks by: (書目-電子資源)

Decision procedures = an algorithmic point of view / by: (書目-電子資源)

Semantics of the probabilistic typed lambda calculus = Markov chain semantics, termination behavior, and denotational semantics / by: (書目-電子資源)

Risks and security of internet and systems = 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016 : revised selected papers / by: (書目-電子資源)

High performance computing for computational science - VECPAR 2016 = 12th International Conference, Porto, Portugal, June 28-30, 2016 : revised selected papers / by: (書目-電子資源)

Biomimetic and biohybrid systems = 6th International Conference, Living Machines 2017, Stanford, CA, USA, July 26-28, 2017 : proceedings / by: (書目-電子資源)

Software engineering and formal methods = 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 2017 = 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings / by: (書目-電子資源)

Modern language models and computation = theory with applications / by: (書目-電子資源)

Automated technology for verification and analysis = 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017 : proceedings / by: (書目-電子資源)

The semantic web - ISWC 2017 = 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017 : proceedings.. Part II / by: (書目-電子資源)

The semantic web - ISWC 2017 = 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017 : proceedings.. Part I / by: (書目-電子資源)

Verified software = theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017 : revised selected papers / by: (書目-電子資源)

Applications and Theory of Petri Nets 2005 = 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / by: (書目-語言資料,印刷品)

Computer and Information Sciences - ISCIS 2005 : = 20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings by: (書目-語言資料,印刷品)

Dissemination of Information in Communication Networks = Broadcasting, Gossiping, Leader Election, and Fault-Tolerance / by: (書目-語言資料,印刷品)

Universal Artificial Intellegence = Sequential Decisions Based on Algorithmic Probability / by: (書目-語言資料,印刷品)

Complexity Theory and Cryptology = An Introduction to Cryptocomplexity / by: (書目-語言資料,印刷品)

Theoretical and Experimental DNA Computation by: (書目-語言資料,印刷品)

Contemporary Cryptology by: (書目-語言資料,印刷品)

Handbook of Biomedical Image Analysis.. Volume I,. Segmentation Models Part A by: (書目-語言資料,印刷品)

Handbook of Biomedical Image Analysis.. Volume II,. Segmentation Models Part B by: (書目-語言資料,印刷品)

Handbook of Biomedical Image Analysis.. Volume III,. Registration Models by: (書目-語言資料,印刷品)

Systems Approaches and Their Application = Examples from Sweden / by: (書目-語言資料,印刷品)

Computer science - theory and applications = 3rd International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008 : proceedings / by: (書目-語言資料,印刷品)

Do-All Computing in Distributed Systems = Cooperation in the Presence of Adversity / by: (書目-語言資料,印刷品)

New Computational Paradigms = Changing Conceptions of What is Computable / by: (書目-語言資料,印刷品)

Dissemination of Information in Optical Networks = From Technology to Algorithms In Cooperation with Ralf Klasing / by: (書目-語言資料,印刷品)

The Art of Artificial Evolution = A Handbook on Evolutionary Art and Music / by: (書目-語言資料,印刷品)

Multiobjective Problem Solving from Nature = From Concepts to Applications / by: (書目-語言資料,印刷品)

Advances in Applied Self-organizing Systems by: (書目-語言資料,印刷品)

Media Theory = Interdisciplinary Applied Mathematics / by: (書目-語言資料,印刷品)

Advances in Metaheuristics for Hard Optimization by: (書目-語言資料,印刷品)

Logics of Specification Languages by: (書目-語言資料,印刷品)

Pillars of Computer Science = Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday / by: (書目-語言資料,印刷品)

Fifth Ifip International Conference On Theoretical Computer Science-Tcs 2008 by: (書目-語言資料,印刷品)

Advances in Information Systems Research, Education and Practice = IFIP 20th World Computer Congress, TC 8, Information Systems, September 7-10, 2008, Milano, Italy / by: (書目-語言資料,印刷品)

Open Source Development, Communities and Quality = IFIP 20th World Computer Congress, Working Group 2.3 on Open Source Software, September 7-10, 2008, Milano, Italy / by: (書目-語言資料,印刷品)

Artificial Intelligence in Theory and Practice II = IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy / by: (書目-語言資料,印刷品)

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

Learning to Live in the Knowledge Society = IFIP 20th World Computer Congress, IFIP TC 3 ED-L2L Conference September 7-10, 2008, Milano, Italy / by: (書目-語言資料,印刷品)

Theoretical Aspects of Computing - ICTAC 2008 = 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / by: (書目-語言資料,印刷品)

Optical SuperComputing = first international workshop, OSC 2008, Vienna, Austria, August 26, 2008 : proceedings / by: (書目-語言資料,印刷品)

Transactions on computational science II by: (書目-語言資料,印刷品)

Language and automata theory and applications = second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 ; revised papers / by: (書目-語言資料,印刷品)

Time-Dependent scheduling by: (書目-語言資料,印刷品)

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

Logic and its applications = third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009, proceedings / by: (書目-語言資料,印刷品)

SOFSEM 2009 = theory and practice of computer science: 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Republic, January 24-30, 2009 : proceedings/ by: (書目-語言資料,印刷品)

Logical foundations of computer science = International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings / by: (書目-語言資料,印刷品)

Computability of Julia sets by: (書目-語言資料,印刷品)

Post-quantum cryptography by: (書目-語言資料,印刷品)

Programming languages and systems = 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings/ by: (書目-語言資料,印刷品)

Foundations of Software Science and Computational Structures = 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / by: (書目-語言資料,印刷品)

Transactions on petri nets and other models of concurrency.. II,. Special issue on concurrency in process-aware information systems by: (書目-語言資料,印刷品)

Language and automata theory and applications = third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 ; proceedings / by: (書目-語言資料,印刷品)

Formal theories of information = from Shannon to semantic information theory and general concepts of information / by: (書目-語言資料,印刷品)

Euro-Par 2008 workshops - parallel processing = VHPC 2008,UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008 ; revised selected papers/ by: (書目-語言資料,印刷品)

Languages: from formal to natural = essays dedicated to Nissim Francez on the occasion of his 65th birthday / by: (書目-語言資料,印刷品)

Hagenberg research by: (書目-語言資料,印刷品)

Genetic programming theory and practice VII by: (書目-語言資料,印刷品)

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

Search computing = challenges and directions / by: (書目-語言資料,印刷品)

High performance networking, computing, communication systems, and mathematical foundations = international conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009 : proceedings/ by: (書目-語言資料,印刷品)

Human benefit through the diffusion of information systems design science research = IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30-April 1, 2010 : proceedings/ by: (書目-語言資料,印刷品)

Algorithms and architectures for parallel processing = 10th international conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Algorithms and architectures for parallel processing = 10th international conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Computable models by: (書目-語言資料,印刷品)

Cognitive reasoning = a formal approach / by: (書目-語言資料,印刷品)

Natural computing = 4th International Workshop on Natural Computing, Himeji, Japan, September 2009 : proceedings / by: (書目-語言資料,印刷品)

Mathematical software - ICMS 2010 = Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, proceedings / by: (書目-語言資料,印刷品)

Information computing and applications = International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010, proceedings.. Part II / by: (書目-語言資料,印刷品)

Logic and the foundations of game and decision theory - LOFT 8 = 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, revised selected papers / by: (書目-語言資料,印刷品)

Frontiers in algorithmics = 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010, proceedings / by: (書目-語言資料,印刷品)

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

The P=NP question and Godel's lost letter by: (書目-語言資料,印刷品)

Information computing and applications = first international conference, ICICA 2010, Tangshan, China, October 15-18, 2010 : proceedings / by: (書目-語言資料,印刷品)

Modelling autonomic communication environments = 5th IEEE international workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010 : proceedings / by: (書目-語言資料,印刷品)

Algorithmic randomness and complexity by: (書目-語言資料,印刷品)

Bioinspired computation in combinatorial optimization = algorithms and their computational complexity / by: (書目-語言資料,印刷品)

Concise guide to computation theory by: (書目-電子資源)

Deterministic extraction from weak random sources by: (書目-電子資源)

Genetic programming theory and practice VIII by: (書目-電子資源)

Theory of quantum computation, communication and cryptography = 5th conference, TQC 2010, Leeds, UK, April 13-15, 2010 : revised selected papers / by: (書目-電子資源)

Theoretical aspects of distributed computing in sensor networks by: (書目-電子資源)

Proofs and algorithms = an introduction to logic and computability / by: (書目-電子資源)

High performance computing for computational science = VECPAR 2010 : 9th international conference, Berkeley, CA, USA, June 22-25, 2010 : revised selected papers / by: (書目-電子資源)

Search computing = trends and developments / by: (書目-電子資源)

The realism-antirealism debate in the age of alternative logics by: (書目-電子資源)

The universe as automaton = from simplicity and symmetry to complexity / by: (書目-電子資源)

Computational complexity = theory, techniques, and applications / by: (書目-電子資源)

Approximation algorithms and semidefinite programming by: (書目-電子資源)

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

Mathematical modeling and computational science = international conference, MMCP 2011, Stara Lesna, Slovakia, July 4-8, 2011 : revised selected papers / by: (書目-電子資源)

Recent trends in algebraic development techniques = 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers / by: (書目-電子資源)

Parameterized and exact computation = 6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 6-8, 2011 : revised selected papers / by: (書目-電子資源)

Frontiers in algorithmics and algorithmic aspects in information and management = joint international conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012 : proceedings / by: (書目-電子資源)

Theory and practice of computation = Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 : proceedings / by: (書目-電子資源)

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

Theory and applications of models of computation = 9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings / by: (書目-電子資源)

Languages alive = essays dedicated to Jurgen Dassow on the occasion of his 65th birthday / by: (書目-電子資源)

Handbook of natural computing by: (書目-電子資源)

Theoretical aspects of computing - ICTAC 2012 = 9th International Colloquium, Bangalore, India, September 24-27, 2012 : proceedings / by: (書目-電子資源)

Mathematics of discrete structures for computer science by: (書目-電子資源)

Theoretical computer science = 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012 : proceedings / by: (書目-電子資源)

The complexity of valued constraint satisfaction problems by: (書目-電子資源)

Emerging research in artificial intelligence and computational intelligence = International Conference, AICI 2012, Chengdu, China, October 26-28, 2012 : proceedings / by: (書目-電子資源)

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

Robust intelligent systems by: (書目-電子資源)

Theory of quantum computation, communication, and cryptography = third workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008 : revised selected papers / by: (書目-電子資源)

Quantum interaction = 6th international symposium, QI 2012, Paris, France, June 27-29, 2012 : revised selected papers / by: (書目-電子資源)

Natural computing = 2nd international workshop on natural computing, Nagoya, Japan, December 2007 : proceedings / by: (書目-電子資源)

Memristor networks by: (書目-電子資源)

Theory and principled methods for the design of metaheuristics by: (書目-電子資源)

Discrete and topological models in molecular biology by: (書目-電子資源)

Guided self-organization = Inception / by: (書目-電子資源)

Pairing-based cryptography - Pairing 2013 = 6th International Conference, Beijing, China, November 22-24, 2013 : revised selected papers / by: (書目-電子資源)

Transactions on computational science XXII by: (書目-電子資源)

Theory and applications of formal argumentation = second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013 : revised selected papers / by: (書目-電子資源)

Programming languages and operational semantics = a concise overview / by: (書目-電子資源)

Regulated grammars and automata by: (書目-電子資源)

Computer games = Workshop on Computer Games, CGW 2013, Held in Conjunction with the 23rd International Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3, 2013 : revised selected papers / by: (書目-電子資源)

Model-driven software migration = a methodology : Reengineering, recovery and modernization of legacy systems / by: (書目-電子資源)

Theory of quantum computation, communication, and cryptography = 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011 : revised selected papers / by: (書目-電子資源)

Genetic programming theory and practice XI by: (書目-電子資源)

Field-coupled nanocomputing = paradigms, progress, and perspectives / by: (書目-電子資源)

Augmented marked graphs by: (書目-電子資源)

Foundations of security analysis and design VII = FOSAD 2012/2013 tutorial lectures / by: (書目-電子資源)

Science gateways for distributed computing infrastructures = development framework and exploitation by scientific user sommunities / by: (書目-電子資源)

Algorithmic learning theory = 25th International Conference, ALT 2014, Bled, Slovenia, October 8-10, 2014 : proceedings / by: (書目-電子資源)

Signal processing and information technology = second International Joint Conference, SPIT 2012, Dubai, UAE, September 20-21, 2012 : revised selected papers / by: (書目-電子資源)

Advances in cryptology - ASIACRYPT 2014 = 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, December 7-11, 2014 : proceedings.. Part II / by: (書目-電子資源)

Advances in cryptology - ASIACRYPT 2014 = 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, December 7-11, 2014 : proceedings.. Part I / by: (書目-電子資源)

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

Language, culture, computation. = essays dedicated to Yaacov Choueka on the occasion of his 75th birthday /. Part I,. Computing - theory and technology by: (書目-電子資源)

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

Language, culture, computation. = essays dedicated to Yaacov Choueka on the occasion of his 75th birthday /. Part III,. Computational linguistics and linguistics by: (書目-電子資源)

Open problems in mathematics and computational science by: (書目-電子資源)

Nature of computation and communication = International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014 : revised selected papers / by: (書目-電子資源)

High performance computing for computational science - VECPAR 2014 = 11th International Conference, Eugene, OR, USA, June 30-July 3, 2014 : revised selected papers / by: (書目-電子資源)

High performance computing = 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015 : proceedings / by: (書目-語言資料,印刷品)

Behavior modeling = foundations and applications : International Workshops, BM-FA 2009-2014 : revised selected papers / by: (書目-電子資源)

Biomimetic and biohybrid systems = 4th International Conference, Living Machines 2015, Barcelona, Spain, July 28 - 31, 2015 : proceedings / by: (書目-電子資源)

Bridging constraint satisfaction and Boolean satisfiability by: (書目-電子資源)

Energy time series forecasting = efficient and accurate forecasting of evolving time series from the energy domain / by: (書目-電子資源)

Unconventional computation and natural computation = 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 - September 3, 2015 : proceedings / by: (書目-電子資源)

Machines, computations, and universality = 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings / by: (書目-電子資源)

Combinatorics on words = 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015 : proceedings / by: (書目-電子資源)

Encyclopedia of applied and computational mathematics by: (書目-電子資源)

Quantum computational number theory by: (書目-電子資源)

Agents and artificial intelligence = 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015 : revised selected papers / by: (書目-電子資源)

Theory and applications of formal argumentation = third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015 : revised selected papers / by: (書目-電子資源)

Applied cryptography and network security = 13th International Conference, ACNS 2015, New York, NY, USA, June 2-5, 2015 : revised selected papers / by: (書目-電子資源)

Principles and methods of quantum information technologies by: (書目-電子資源)

Encyclopedia of algorithms by: (書目-電子資源)

Advances in artificial life, evolutionary computation and systems chemistry = 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015 : revised selected papers / by: (書目-電子資源)

Hybrid metaheuristics = powerful tools for optimization / by: (書目-電子資源)

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

Topics in grammatical inference by: (書目-電子資源)

Turing computability = theory and applications / by: (書目-電子資源)

Applied cryptography and network security = 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016 : proceedings / by: (書目-電子資源)

Self-aware computing systems = an engineering approach / by: (書目-電子資源)

Finitely supported mathematics = an introduction / by: (書目-電子資源)

Biomimetic and biohybrid systems = 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016 : proceedings / by: (書目-電子資源)

History and philosophy of computing = third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015 : revised selected papers / by: (書目-電子資源)

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

Convex analysis and global optimization by: (書目-電子資源)

Advances in cryptology - ASIACRYPT 2016 = 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016 : proceedings.. Part I / by: (書目-電子資源)

Advances in cryptology - ASIACRYPT 2016 = 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016 : proceedings.. Part II / by: (書目-電子資源)

Principles of security and trust = 6th 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: (書目-電子資源)

Models of computation by: (書目-電子資源)

Process algebras for Petri nets = the alphabetization of distributed systems / by: (書目-電子資源)

Tutorials on the foundations of cryptography = dedicated to Oded Goldreich / by: (書目-電子資源)

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

Structured object-oriented formal language and method = 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papers / by: (書目-電子資源)

The semantic web = 14th International Conference, ESWC 2017, Portoroz, Slovenia, May 28 - June 1, 2017 : proceedings.. Part I / by: (書目-電子資源)

The semantic web = 14th International Conference, ESWC 2017, Portoroz, Slovenia, May 28 - June 1, 2017 : proceedings.. Part II / by: (書目-電子資源)

Designing the digital transformation = 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017 : proceedings / by: (書目-電子資源)

Philosophical explorations of the legacy of Alan Turing = Turing 100 / by: (書目-電子資源)

The incomputable = journeys beyond the Turing barrier / by: (書目-電子資源)

Creativity in intelligent technologies and data science = Second Conference, CIT&DS 2017, Volgograd, Russia, September 12-14, 2017 : proceedings / by: (書目-電子資源)

Introduction to learning classifier systems by: (書目-電子資源)

Computational intelligence for network structure analytics by: (書目-電子資源)

Adventures in computer science = from classical bits to quantum bits / by: (書目-電子資源)

Theory of reversible computing by: (書目-電子資源)

The semantic web = ESWC 2017 Satellite Events : ESWC 2017 Satellite Events, Portoroz, Slovenia, May 28 - June 1, 2017 : revised selected papers / by: (書目-電子資源)

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

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

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

Formal methods = foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017 : proceedings / by: (書目-電子資源)

Programming languages and systems = 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings / by: (書目-電子資源)

Autonomous agents and multiagent systems = AAMAS 2017 Workshops, Best Papers, Sao Paulo, Brazil, May 8-12, 2017 : revised selected papers / by: (書目-電子資源)

Handbook of parallel constraint reasoning by: (書目-電子資源)

Mathematical foundations of advanced informatics.. Volume 1,. Inductive approaches by: (書目-電子資源)

Handbook of model checking by: (書目-電子資源)

Computational artifacts = towards a philosophy of computer science / by: (書目-電子資源)

Machine learning for dynamic software analysis = potentials and limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016 : revised papers / by: (書目-電子資源)

Formal methods = 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings / by: (書目-電子資源)

Sailing routes in the world of computation = 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018 : proceedings / by: (書目-電子資源)

Model-driven engineering and software development = 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018 : revised selected papers / by: (書目-電子資源)

Software challenges to exascale computing = second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018 : proceedings / by: (書目-電子資源)

Principles of security and trust = 8th International Conference, POST 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / by: (書目-電子資源)

Fundamental approaches to software engineering = 22nd International Conference, FASE 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / by: (書目-電子資源)

Programming languages and systems = 28th European Symposium on Programming, ESOP 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / by: (書目-電子資源)

Data Integration in the Life Sciences = 12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017 : proceedings / by: (書目-電子資源)

High performance computing = 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18-22, 2017 : proceedings / by: (書目-電子資源)

Models, algorithms, logics and tools = essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th Birthday / by: (書目-電子資源)

Reliability, safety, and security of railway systems = modelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017 : proceedings / by: (書目-電子資源)

Computer Vision - ACCV 2018 = 14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018 : revised selected papers.. Part V / by: (書目-電子資源)

NASA formal methods = 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019 : proceedings / by: (書目-電子資源)

Managed software evolution by: (書目-電子資源)

An introduction to Kolmogorov complexity and its applications by: (書目-電子資源)

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

Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part I / by: (書目-電子資源)

Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part III / by: (書目-電子資源)

Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part V / by: (書目-電子資源)

Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part II / by: (書目-電子資源)

Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part IV / by: (書目-電子資源)

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

Theory and applications of satisfiability testing - SAT 2019 = 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019 : proceedings / by: (書目-電子資源)

Big data - BigData 2019 = 8th International Congress, held as part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019 : proceedings / by: (書目-電子資源)

Formalizing natural languages with NooJ 2019 and its natural language processing applications = 13th International Conference, NooJ 2019, Hammamet, Tunisia, June 7-9, 2019 : revised selected papers / by: (書目-電子資源)

Practical aspects of declarative languages = 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020 : proceedings / by: (書目-電子資源)

Algorithms and discrete applied mathematics = 6th International Conference, CALDAM 2020, Hyderabad, India, February 13-15, 2020 : proceedings / by: (書目-電子資源)

Chatbot research and design = third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19-20, 2019 : revised selected papers / by: (書目-電子資源)

Formal techniques for safety-critical systems = 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019 : revised selected papers / by: (書目-電子資源)

Variable neighborhood search = 7th International Conference, ICVNS 2019, Rabat, Morocco, October 3-5, 2019 : revised selected papers / by: (書目-電子資源)

Artificial intelligence in music, sound, art and design = 9th International Conference, EvoMUSART 2020,held as part of EvoStar 2020, Seville, Spain, April 15-17, 2020 : proceedings / by: (書目-電子資源)

Programming languages and systems = 29th European Symposium on Programming, ESOP 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings.. Part I / by: (書目-電子資源)

Research in computational molecular biology = 24th Annual International Conference, RECOMB 2020, Padua, Italy, May 10-13, 2020 : proceedings / by: (書目-電子資源)

Formal methods and software engineering = 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019 : proceedings / by: (書目-電子資源)

Conceptual modeling = 38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019 : proceedings / by: (書目-電子資源)

New frontiers in artificial intelligence = JSAI-isAI 2018 Workshops, JURISIN, AI-Biz, SKL, LENLS, IDAA, Yokohama, Japan, November 12-14, 2018 : revised selected papers / by: (書目-電子資源)

Artificial intelligence = 5th RAAI Summer School, Dolgoprudny, Russia, July 4-7, 2019 : tutorial lectures / by: (書目-電子資源)

Discovery science = 22nd International Conference, DS 2019, Split, Croatia, October 28-30, 2019 : proceedings / by: (書目-電子資源)

Information processing and management of uncertainty in knowledge-based systems = 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15-19, 2020 : proceedings.. Part II / by: (書目-電子資源)

Information processing and management of uncertainty in knowledge-based systems = 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15-19, 2020 : proceedings.. Part I / by: (書目-電子資源)

Models and algorithms of time-dependent scheduling by: (書目-電子資源)

Natural language processing and information systems = 25th International Conference on Applications of Natural Language to Information Systems, NLDB 2020, Saarbrucken, Germany, June 24-26, 2020 : proceedings / by: (書目-電子資源)

Computational science - ICCS 2020 = 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.. Part I / by: (書目-電子資源)

Computational science - ICCS 2020 = 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.. Part V / by: (書目-電子資源)

Computational science - ICCS 2020 = 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.. Part II / by: (書目-電子資源)

Computational science - ICCS 2020 = 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.. Part III / by: (書目-電子資源)

Computational science - ICCS 2020 = 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.. Part IV / by: (書目-電子資源)

Computational science - ICCS 2020 = 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.. Part VI / by: (書目-電子資源)

Computational science - ICCS 2020 = 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.. Part VII / by: (書目-電子資源)

Computer science - theory and applications = 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 - July 3, 2020 : proceedings / by: (書目-電子資源)

Experimental and computational investigations in engineering = proceedings of the international conference of experimental and numerical investigations and new technologies, CNNTech 2020 / by: (書目-電子資源)

Policy decision modeling with fuzzy logic = theoretical and computational aspects / by: (書目-電子資源)

Verification, model checking, and abstract interpretation = 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021 : proceedings / by: (書目-電子資源)

Algorithms as a basis of modern applied mathematics by: (書目-電子資源)

SOFSEM 2021 = theory and practice of computer science : 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25-29, 2021 : proceedings / by: (書目-電子資源)

Modelling and development of intelligent systems = 7th International Conference, MDIS 2020, Sibiu, Romania, October 22-24, 2020 : revised selected papers / by: (書目-電子資源)

Concise guide to quantum computing = algorithms, exercises, and implementations / by: (書目-電子資源)

Formalising natural languages = applications to natural language processing and digital humanities : 14th International Conference, NooJ 2020, Zagreb, Croatia, June 5-7, 2020 : revised selected papers / by: (書目-電子資源)

Chatbot research and design = 4th International Workshop, CONVERSATIONS 2020, Virtual Event, November 23-24, 2020 : revised selected papers / by: (書目-電子資源)

Cellular automata = 14th International Conference on Cellular Automata for Research and Industry, ACRI 2020, Lodz, Poland, December 2-4, 2020 : proceedings / by: (書目-電子資源)

PRIMA 2020 = principles and practice of multi-agent systems : 23rd International Conference, Nagoya, Japan, November 18-20, 2020 : proceedings / by: (書目-電子資源)

Parallel and distributed computing, applications and technologies = 21st International Conference, PDCAT 2020, Shenzhen, China, December 28-30, 2020 : proceedings / by: (書目-電子資源)

Language and automata theory and applications = 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021 : proceedings / by: (書目-電子資源)

Transactions on petri nets and other models of concurrency XV by: (書目-電子資源)

From data to models and back = 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020 : revised selected papers / by: (書目-電子資源)

The zeroth book of graph theory = an annotated translation of Les Reseaux (ou Graphes) : Andre Sainte-Lague (1926) / by: (書目-電子資源)

Analysis and design of nonlinear systems in the frequency domain by: (書目-電子資源)

Nature-inspired metaheuristic algorithms for engineering optimization applications by: (書目-電子資源)

Introduction to algorithmic government by: (書目-電子資源)

Hypothesis-driven simulation studies = assistance for the systematic design and conducting of computer simulation experiments / by: (書目-電子資源)

Knowledge graph and semantic computing = knowledge computing and language understanding : 4th China Conference, CCKS 2019, Hangzhou, China, August 24-27, 2019 : revised selected papers / by: (書目-電子資源)

Formal methods for industrial critical systems = 24th International Conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings / by: (書目-電子資源)

Intelligent computer mathematics = 12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019 : proceedings / by: (書目-電子資源)

Intelligent data engineering and automated learning - IDEAL 2019 = 20th International Conference, Manchester, UK, November 14-16, 2019 : proceedings.. Part I / by: (書目-電子資源)

PRICAI 2019 = trends in artificial intelligence : 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019 : proceedings.. Part I / by: (書目-電子資源)

Software engineering and formal methods = 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : proceedings / by: (書目-電子資源)

Structured object-oriented formal language and method = 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018 : revised selected papers / by: (書目-電子資源)

The art of modelling computational systems = a journey from logic and concurrency to security and privacy : Essays dedicated to Catuscia Palamidessi on the occasion of her 60th birthday / by: (書目-電子資源)

Web information systems engineering - WISE 2019 = 20th International Conference, Hong Kong, China, January 19-22, 2020 : proceedings / by: (書目-電子資源)

The algorithm design manual by: (書目-電子資源)

Construction of fundamental data structures for strings by: (書目-電子資源)

Applied computer sciences in engineering = 7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7-9, 2020 : proceedings / by: (書目-電子資源)

KI 2020 = advances in artificial intelligence : 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020 : proceedings / by: (書目-電子資源)

Software engineering and formal methods = SEFM 2019 collocated workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019 : revised selected papers / by: (書目-電子資源)

New frontiers in artificial intelligence = JSAI-isAI International Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, Yokohama, Japan, November 10-12, 2019 : revised selected papers / by: (書目-電子資源)

Artificial intelligence = 18th Russian Conference, RCAI 2020, Moscow, Russia, October 10-16, 2020 : proceedings / by: (書目-電子資源)

Frontiers in algorithmics = 14th International Workshop, FAW 2020, Haikou, China, October 19-21, 2020 : proceedings / by: (書目-電子資源)

Algorithmic aspects of cloud computing = 5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 10, 2019 : revised selected papers / by: (書目-電子資源)

Data analysis and optimization for engineering and computing problems = proceedings of the 3rd EAI International Conference on Computer Science and Engineering and Health Services / by: (書目-電子資源)

Handbook of computability and complexity in analysis by: (書目-電子資源)

Fundamentals of cryptography = introducing mathematical and algorithmic foundations / by: (書目-電子資源)

Fundamentals of quantum computing = theory and practice / by: (書目-電子資源)

Stability analysis and controller design of local model networks by: (書目-電子資源)

Advances in artificial intelligence, computation, and data science = for medicine and life science / by: (書目-電子資源)

Membrane computing = 21st International Conference, CMC 2020, virtual event, September 14-18, 2020 : revised selected papers / by: (書目-電子資源)

Computational science - ICCS 2021 = 21st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.. Part V / by: (書目-電子資源)

Computational science - ICCS 2021 = 21st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.. Part VI / by: (書目-電子資源)

Computational science - ICCS 2021 = 21st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.. Part I / by: (書目-電子資源)

Computational science - ICCS 2021 = 21st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.. Part III / by: (書目-電子資源)

Computational science - ICCS 2021 = 21st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.. Part IV / by: (書目-電子資源)

Artificial intelligence in education = 22nd International Conference, AIED 2021, Utrecht, The Netherlands, June 14-18, 2021 : proceedings.. Part I / by: (書目-電子資源)

Computational science - ICCS 2021 = 21st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.. Part II / by: (書目-電子資源)

Integration of constraint programming, artificial intelligence, and operations research = 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021 : proceedings / by: (書目-電子資源)

Computer science - theory and applications = 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28-July 2, 2021 : proceedings / by: (書目-電子資源)

Structural information and communication complexity = 28th International Colloquium, SIROCCO 2021, Wroclaw, Poland, June 28 - July 1, 2021 : proceedings / by: (書目-電子資源)

Implementation and application of automata = 25th International Conference, CIAA 2021, virtual event, July 19-22, 2021 : proceedings / by: (書目-電子資源)

Reversible computation = 13th International Conference, RC 2021, virtual event, July 7-8, 2021 : proceedings / by: (書目-電子資源)

New frontiers in artificial intelligence = JSAI-isAI 2020 Workshops, JURISIN, LENLS 2020 Workshops, virtual event, November 15-17, 2020 : revised selected papers / by: (書目-電子資源)

Connecting with computability = 17th Conference on Computability in Europe, CiE 2021, virtual event, Ghent, July 5-9, 2021 : proceedings / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021 : proceedings / by: (書目-電子資源)

Advances in swarm intelligence = 12th International Conference, ICSI 2021, Qingdao, China, July 17-21, 2021 : proceedings.. Part I / by: (書目-電子資源)

Petri nets for modeling of large discrete systems by: (書目-電子資源)

Service-oriented computing = 15th Symposium and Summer School, SummerSOC 2021, virtual event, September 13-17, 2021 : proceedings / by: (書目-電子資源)

Case-based reasoning research and development = 29th International Conference, ICCBR 2021, Salamanca, Spain, September 13-16, 2021 : proceedings / by: (書目-電子資源)

Topological methods in data analysis and visualization.. VI,. Theory, applications, and software by: (書目-電子資源)

Corruption networks = concepts and applications / by: (書目-電子資源)

Introduction to quantum computing by: (書目-電子資源)

Guide to discrete mathematics = an accessible introduction to the history, theory, logic and applications / by: (書目-電子資源)

Artificial intelligence and soft computing = 20th International Conference, ICAISC 2021, virtual event, June 21-23, 2021 : proceedings.. Part II / by: (書目-電子資源)

Fundamentals of software engineering = 9th International Conference, FSEN 2021, virtual event, May 19-21, 2021 : revised selected papers / by: (書目-電子資源)

Advances in computational intelligence = 20th Mexican International Conference on Artificial Intelligence, MICAI 2021, Mexico City, Mexico, October 25-30, 2021 : proceedings.. Part I / by: (書目-電子資源)

Computing and combinatorics = 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24-26, 2021 : proceedings / by: (書目-電子資源)

Reachability problems = 15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021 : proceedings / by: (書目-電子資源)

Discrete and computational geometry, graphs, and games = 21st Japanese conference, JCDCGGG 2018, Quezon City, Philippines, September 1-3, 2018 : revised selected papers / by: (書目-電子資源)

Relational and algebraic methods in computer science = 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021 : proceedings / by: (書目-電子資源)

The physics of computing by: (書目-電子資源)

Formal methods = FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019 : revised selected papers.. Part I / by: (書目-電子資源)

Transactions on computational collective intelligence XXXV by: (書目-電子資源)

Artificial intelligence = IJCAI 2019 International Workshops : Macao, China, August 10-12, 2019 : revised selected best papers / by: (書目-電子資源)

Rules and reasoning = 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020 : proceedings / by: (書目-電子資源)

Modeling decisions for artificial intelligence = 17th International Conference, MDAI 2020, Sant Cugat, Spain, September 2-4, 2020 : proceedings / by: (書目-電子資源)

Computing and combinatorics = 26th International Conference, COCOON 2020, Atlanta, GA, USA, August 29-31, 2020 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems = 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020 : proceedings / by: (書目-電子資源)

Open semantic technologies for intelligent system = 10th International Conference, OSTIS 2020, Minsk, Belarus, February 19-22, 2020 : revised selected papers / by: (書目-電子資源)

The foundations of computability theory by: (書目-電子資源)

Understanding programming languages by: (書目-電子資源)

Understand mathematics, understand computing = discrete mathematics that all computing students should know / by: (書目-電子資源)

Knowledge graphs and semantic web = second Iberoamerican Conference and First Indo-American Conference, KGSWC 2020, Merida, Mexico, November 26-27, 2020 : proceedings / by: (書目-電子資源)

LATIN 2020 = theoretical informatics : 14th Latin American Symposium, Sao Paulo, Brazil, January 5-8, 2021 : proceedings / by: (書目-電子資源)

Combinatorial optimization and applications = 14th International Conference, COCOA 2020, Dallas, TX, USA, December 11-13, 2020 : proceedings / by: (書目-電子資源)

Software verification = 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020 : revised selected papers / by: (書目-電子資源)

Knowledge discovery, knowledge engineering and knowledge management = 11th International Joint Conference, IC3K 2019, Vienna, Austria, September 17-19, 2019 : revised selected papers / by: (書目-電子資源)

Evolutionary computation in combinatorial optimization = 20th European Conference, EvoCOP 2020, held as part of EvoStar 2020, Seville, Spain, April 15-17, 2020 : proceedings / by: (書目-電子資源)

Genetic programming = 23rd European Conference, EuroGP 2020, held as part of EvoStar 2020, Seville, Spain, April 15-17, 2020 : proceedings / by: (書目-電子資源)

Domain science and engineering = a foundation for software development / by: (書目-電子資源)

Theoretical computer science = 39th National Conference of Theoretical Computer Science, NCTCS 2021, Yinchuan, China, July 23-25, 2021 : revised selected papers / by: (書目-電子資源)

Observer design for control and fault diagnosis of Boolean networks by: (書目-電子資源)

Engineering multi-agent systems = 9th International Workshop, EMAS 2021, virtual event, May 3-4, 2021 : revised selected papers / by: (書目-電子資源)

Foundations of software science and computation structures = 25th International Conference, FOSSACS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings / by: (書目-電子資源)

Programming languages and systems = 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings / by: (書目-電子資源)

Fundamental approaches to software engineering = 25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings.. Part I / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings.. Part II / by: (書目-電子資源)

Application of intelligent control algorithms to study the dynamics of hybrid power system by: (書目-電子資源)

Applications of evolutionary computation = 25th European Conference, EvoApplications 2022, held as part of EvoStar 2022, Madrid, Spain, April 20-22, 2022 : proceedings / by: (書目-電子資源)

Artificial intelligence in music, sound, art and design = 11th International Conference, EvoMUSART 2022, held as part of EvoStar 2022, Madrid, Spain, April 20-22, 2022 : proceedings / by: (書目-電子資源)

Transactions on petri nets and other models of concurrency XVI by: (書目-電子資源)

Database systems for advanced applications = 27th International Conference, DASFAA 2022, virtual event, April 11-14, 2022 : proceedings.. Part I / by: (書目-電子資源)

Encyclopedia of computational neuroscience by: (書目-電子資源)

Integration of constraint programming, artificial intelligence, and operations research = International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022 : proceedings / by: (書目-電子資源)

Formal techniques for distributed objects, components, and systems = 42nd IFIP WG 6.1 International Conference, FORTE 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-18, 2022 : proceedings / by: (書目-電子資源)

Computational science - ICCS 2022 = 22nd International Conference, London, UK, June 21-23, 2022 : proceedings.. Part I / by: (書目-電子資源)

Computational science - ICCS 2022 = 22nd International Conference, London, UK, June 21-23, 2022 : proceedings.. Part II / by: (書目-電子資源)

Computational science - ICCS 2022 = 22nd International Conference, London, UK, June 21-23, 2022 : proceedings.. Part III / by: (書目-電子資源)

Computational science - ICCS 2022 = 22nd International Conference, London, UK, June 21-23, 2022 : proceedings.. Part IV / by: (書目-電子資源)

Computer science = theory and applications : 17th International Computer Science Symposium in Russia, CSR 2022, virtual event, June 29-July 1, 2022 : proceedings / by: (書目-電子資源)

Advances in swarm intelligence = 13th International Conference, ICSI 2022, Xi'an, China, July 15-19, 2022 : proceedings.. Part I / by: (書目-電子資源)

Advances in swarm intelligence = 13th International Conference, ICSI 2022, Xi'an, China, July 15-19, 2022 : proceedings.. Part II / by: (書目-電子資源)

Runtime verification = a hands-on approach in Java / by: (書目-電子資源)

Computability by: (書目-電子資源)

Computer aided verification = 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022 : proceedings.. Part II / by: (書目-電子資源)

Computer safety, reliability, and security = 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022 : proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systems = 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022 : proceedings / by: (書目-電子資源)

Graph-based representation and reasoning = 27th International Conference on Conceptual Structures, ICCS 2022, Munster, Germany, September 12-15, 2022 : proceedings / by: (書目-電子資源)

Introduction to combinatorial optimization by: (書目-電子資源)

Formal methods and software engineering = 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Spain, October 24-27, 2022 : proceedings / by: (書目-電子資源)

Artificial life and evolutionary computation = 15th Italian Workshop, WIVACE 2021, Winterthur, Switzerland, September 15-17, 2021 : revised selected papers / by: (書目-電子資源)

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

Verification, model checking, and abstract interpretation = 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023 : proceedings / by: (書目-電子資源)

Graph drawing and network visualization = 30th International Symposium, GD 2022, Tokyo, Japan, September 13-16, 2022 : revised selected papers / by: (書目-電子資源)

Artificial intelligence in music, sound, art and design = 12th International Conference, EvoMUSART 2023, held as part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023 : proceedings / by: (書目-電子資源)

Human-centered artificial intelligence = advanced lectures / by: (書目-電子資源)

Applications of evolutionary computation = 26th European Conference, EvoApplications 2023, held as part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023 : proceedings / by: (書目-電子資源)

Algorithms for constructing computably enumerable sets by: (書目-電子資源)

Higher education computer science = a manual of practical approaches / by: (書目-電子資源)

Advanced information systems engineering = 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12-16, 2023 : proceedings / by: (書目-電子資源)

Computational science - ICCS 2023 = 23rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.. Part III / by: (書目-電子資源)

Applied analysis, optimization and soft computing = ICNAAO-2021, Varanasi, India, December 21-23 / by: (書目-電子資源)

New frontiers in artificial intelligence = JSAI-isAI 2021 Workshop, JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November 13-15, 2021 : revised selected papers / by: (書目-電子資源)

Fundamentals of software engineering = 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023 : revised selected papers / by: (書目-電子資源)

Explainable and transparent AI and multi-agent systems = 5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023 : revised selected papers / by: (書目-電子資源)

Computer safety, reliability, and security = SAFECOMP 2023 Workshops, ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023 : proceedings / by: (書目-電子資源)

Quantitative evaluation of systems = 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings / by: (書目-電子資源)

Colored petri nets for modeling of discrete systems = a practical approach with GPenSIM / by: (書目-電子資源)

Programming languages = principles and paradigms / by: (書目-電子資源)

Space in weak propositional proof systems by: (書目-電子資源)

Raymond Smullyan on self reference by: (書目-電子資源)

Bridging the gap between life and physics by: (書目-電子資源)

NASA formal methods = 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings / by: (書目-電子資源)

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

Parallel processing and applied mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017 : revised selected papers.. Part II / by: (書目-電子資源)

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

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

Computational matter by: (書目-電子資源)

Computer and communication engineering = first International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25-27, 2018 : proceedings / by: (書目-電子資源)

Practical aspects of declarative languages = 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019 : proceedings / by: (書目-電子資源)

Membrane computing = 19th International Conference, CMC 2018, Dresden, Germany, September 4-7, 2018 : revised selected papers / by: (書目-電子資源)

Advances in computational intelligence = 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017 : proceedings.. Part II / by: (書目-電子資源)

Advances in computational intelligence = 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017 : proceedings.. Part I / by: (書目-電子資源)

Integrated formal methods = 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings / by: (書目-電子資源)

Knowledge graphs and semantic web = first Iberoamerican Conference, KGSWC 2019, Villa Clara, Cuba, June 23-30, 2019 : proceedings / by: (書目-電子資源)

Carl Adam Petri = ideas, personality, impact / by: (書目-電子資源)

Theory of evolutionary computation = recent developments in discrete optimization / by: (書目-電子資源)

Model-driven engineering and software development = 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019 : revised selected papers / by: (書目-電子資源)

Approximation and online algorithms = 17th International Workshop, WAOA 2019, Munich, Germany, September 12-13, 2019, revised selected papers / by: (書目-電子資源)

Evaluation of novel approaches to software engineering = 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019 : revised selected papers / by: (書目-電子資源)

Optimization and learning = third International Conference, OLA 2020, Cadiz, Spain, February 17-19, 2020 : proceedings / by: (書目-電子資源)

Formal aspects of component software = 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019 : proceedings / by: (書目-電子資源)

Numerical computations = theory and algorithms : third International Conference, NUMTA 2019, Crotone, Italy, June 15-21, 2019 : revised selected papers.. Part II / by: (書目-電子資源)

Structured object-oriented formal language and method = 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019 : revised selected papers / by: (書目-電子資源)

From Lambda Calculus to cybersecurity through program analysis = essays dedicated to Chris Hankin on the occasion of his retirement / by: (書目-電子資源)

Bio-inspired computing = theories and applications : 14th International Conference, BIC-TA 2019, Zhengzhou, China, November 22-25, 2019 : revised selected papers.. Part II / by: (書目-電子資源)

Information search, integration, and personalization = 13th International Workshop, ISIP 2019, Heraklion, Greece, May 9-10, 2019 : revised selected papers / by: (書目-電子資源)

Computational complexity and property testing = on the interplay between randomness and computation / by: (書目-電子資源)

Arto Salomaa = mathematician, computer scientist, and teacher, a thematic biography / by: (書目-電子資源)

Mathematical optimization theory and operations research = 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6-10, 2020, proceedings / by: (書目-電子資源)

Variable domain-specific software languages with DjDSL = design and implementation / by: (書目-電子資源)

Artificial life and evolutionary computation = 14th Italian Workshop, WIVACE 2019, Rende, Italy, September 18-20, 2019 : revised selected papers / by: (書目-電子資源)

Foundations of finitely supported structures = a set theoretical viewpoint / by: (書目-電子資源)

Advances in swarm intelligence = 11th International Conference, ICSI 2020, Belgrade, Serbia, July 14-20, 2020 : proceedings / by: (書目-電子資源)

Computer aided verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.. Part I / by: (書目-電子資源)

Computer aided verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.. Part II / by: (書目-電子資源)

Intelligent computer mathematics = 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020 : proceedings / by: (書目-電子資源)

Advances in dynamics, optimization and computation = a volume dedicated to Michael Dellnitz on the occasion of his 60th birthday / by: (書目-電子資源)

Learning and intelligent optimization = 14th International Conference, LION 14, Athens, Greece, May 24-28, 2020, revised selected papers / by: (書目-電子資源)

Mathematical structures of ergodicity and chaos in population dynamics by: (書目-電子資源)

Tools and methods of program analysis = 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019 : revised selected papers / by: (書目-電子資源)

Agents and artificial intelligence = 12th International Conference, ICAART 2020, Valletta, Malta, February 22-24, 2020 : revised selected papers / by: (書目-電子資源)

Fundamental approaches to software engineering = 24th International Conference, FASE 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings.. Part I / by: (書目-電子資源)

Foundations of software science and computation structures = 24th International Conference, FOSSACS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings.. Part II / by: (書目-電子資源)

Evolutionary multi-criterion optimization = 11th International Conference, EMO 2021, Shenzhen, China, March 28-31, 2021 : proceedings / by: (書目-電子資源)

Evolutionary computation in combinatorial optimization = 21st European Conference, EvoCOP 2021, held as part of EvoStar 2021, Virtual Event, April 7-9, 2021 : proceedings / by: (書目-電子資源)

Advances in information retrieval = 43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28 - April 1, 2021 : proceedings.. Part II / by: (書目-電子資源)

Applications of evolutionary computation = 24th International Conference, EvoApplications 2021, held as part of EvoStar 2021, Virtual Event, April 7-9, 2021 : proceedings / by: (書目-電子資源)

Artificial intelligence in music, sound, art and design = 10th International Conference, EvoMUSART 2021, held as part of EvoStar 2021, Virtual Event, April 7-9, 2021 : proceedings / by: (書目-電子資源)

Stream-tube method = a complex-fluid dynamics and computational approach / by: (書目-電子資源)

Theoretical computer science = 38th National Conference, NCTCS 2020, Nanning, China, November 13-15, 2020 : revised selected papers / by: (書目-電子資源)

Complex systems design & management = proceedings of the 4th International Conference on Complex Systems Design & Management Asia and of the 12th Conference on Complex Systems Design & Management CSD&M 2021 / by: (書目-電子資源)

Machine intelligence and smart systems = proceedings of MISS 2020 / by: (書目-電子資源)

Artificial intelligence and machine learning = 32nd Benelux Conference, BNAIC/Benelearn 2020, Leiden, the Netherlands, November 19-20, 2020 : revised selected papers / by: (書目-電子資源)

NASA formal methods = 13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings / by: (書目-電子資源)

AIxIA 2020 - advances in artificial intelligence = XIXth International Conference of the Italian Association for Artificial Intelligence, virtual event, November 25-27, 2020 : revised selected papers / by: (書目-電子資源)

Cluster analysis and applications by: (書目-電子資源)

Computational sciences - modelling, computing and soft computing = first International Conference, CSMCS 2020, Kozhikode, Kerala, India, September 10-12, 2020 : revised selected papers / by: (書目-電子資源)

Multi-agent systems = 18th European Conference, EUMAS 2021, virtual event, June 28-29, 2021 : revised selected papers / by: (書目-電子資源)

Modeling and simulation of complex dynamical systems = virtual laboratory approach based on Wolfram SystemModeler / by: (書目-電子資源)

Applied computer sciences in engineering = 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16-18, 2019 : proceedings / by: (書目-電子資源)

Intelligent data engineering and automated learning - IDEAL 2019 = 20th International Conference, Manchester, UK, November 14-16, 2019 : proceedings.. Part II / by: (書目-電子資源)

Design science research.. Cases by: (書目-電子資源)

Database and expert systems applications = DEXA 2020 International Workshops BIOKDD, IWCFS and MLKgraphs, Bratislava, Slovakia, September 14-17, 2020 : proceedings / by: (書目-電子資源)

Universal time-series forecasting with mixture predictors by: (書目-電子資源)

Artificial intelligence and natural language = 9th Conference, AINL 2020, Helsinki, Finland, October 7-9, 2020 : proceedings / by: (書目-電子資源)

Multivariate public key cryptosystems by: (書目-電子資源)

Computational methods in systems biology = 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020 : proceedings / by: (書目-電子資源)

Natural language processing and Chinese computing = 9th CCF International Conference, NLPCC 2020, Zhengzhou, China, October 14-18, 2020 : proceedings.. Part I / by: (書目-電子資源)

Natural language processing and Chinese computing = 9th CCF International Conference, NLPCC 2020, Zhengzhou, China, October 14-18, 2020 : proceedings.. Part II / by: (書目-電子資源)

New medical diagnosis models based on generalized Type-2 fuzzy logic by: (書目-電子資源)

Formal modeling and analysis of timed systems = 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing = 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021 : proceedings / by: (書目-電子資源)

Quantitative evaluation of systems = 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems = 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings / by: (書目-電子資源)

Computational reconstruction of missing data in biological research by: (書目-電子資源)

Interpretability of machine intelligence in medical image computing, and topological data analysis and its applications for medical data = 4th International Workshop, iMIMIC 2021 and 1st International Workshop, TDA4MedicalData 2021, held in conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021 : proceedings / by: (書目-電子資源)

Computational collective intelligence = 13th International Conference, ICCCI 2021, Rhodes, Greece, September 29 - October 1, 2021 : proceedings / by: (書目-電子資源)

Search-based software engineering = 13th International Symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021 : proceedings / by: (書目-電子資源)

Artificial intelligence = 19th Russian Conference, RCAI 2021, Taganrog, Russia, October 11-16, 2021 : proceedings / by: (書目-電子資源)

Approximation and online algorithms = 18th International Workshop, WAOA 2020, Virtual Event, September 9-10, 2020 : revised selected papers / by: (書目-電子資源)

Guide to graph colouring = algorithms and applications / by: (書目-電子資源)

Metaheuristics for finding multiple solutions by: (書目-電子資源)

General-purpose optimization through information maximization by: (書目-電子資源)

ADBIS, TPDL and EDA 2020 Common Workshops and Doctoral Consortium = international workshops: DOING, MADEISD, SKG, BBIGAP, SIMPDA, AIMinScience 2020 and Doctoral Consortium, Lyon, France, August 25-27, 2020 : proceedings / by: (書目-電子資源)

Formal methods = FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019 : revised selected papers.. Part II / by: (書目-電子資源)

Parallel Problem Solving from Nature - PPSN XVI = 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020 : proceedings.. Part II / by: (書目-電子資源)

NASA formal methods = 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020 : proceedings / by: (書目-電子資源)

Parallel problem solving from nature - PPSN XVI = 16th International Conference, PPSN 2020, Leiden, the Netherlands, September 5-9, 2020 : proceedings.. Part I / by: (書目-電子資源)

Formal modeling and analysis of timed systems = 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020 : proceedings / by: (書目-電子資源)

Cellular automata and discrete complex systems = 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10-12, 2020 : proceedings / by: (書目-電子資源)

Conceptual modeling = 39th International Conference, ER 2020, Vienna, Austria, November 3-6, 2020 : proceedings / by: (書目-電子資源)

Integrated uncertainty in knowledge modelling and decision making = 8th International Symposium, IUKM 2020, Phuket, Thailand, November 11-13, 2020 : proceedings / by: (書目-電子資源)

Intelligent computing theories and application = 16th International Conference, ICIC 2020, Bari, Italy, October 2-5, 2020 : proceedings.. Part I / by: (書目-電子資源)

Reachability problems = 14th International Conference, RP 2020, Paris, France, October 19-21, 2020 : proceedings / by: (書目-電子資源)

Intelligent systems = 9th Brazilian Conference, BRACIS 2020, Rio Grande, Brazil, October 20-23, 2020 : proceedings.. Part II / by: (書目-電子資源)

Web information systems engineering - WISE 2020 = 21st International Conference, Amsterdam, The Netherlands, October 20-24, 2020 : proceedings.. Part I / by: (書目-電子資源)

Options and derivatives programming in C++20 = algorithms and programming techniques for the financial industry / by: (書目-電子資源)

Quantitative evaluation of systems = 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020 : proceedings / by: (書目-電子資源)

Dependable software engineering = theories, tools, and applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020 : proceedings / by: (書目-電子資源)

Theory and practice of natural computing = 9th International Conference, TPNC 2020, Taoyuan, Taiwan, December 7-9, 2020 : proceedings / by: (書目-電子資源)

Advances in computer games = 16th International Conference, ACG 2019, Macao, China, August 11-13, 2019 : revised selected papers / by: (書目-電子資源)

Advanced data mining and applications = 16th International Conference, ADMA 2020, Foshan, China, November 12-14, 2020 : proceedings / by: (書目-電子資源)

Graph drawing and network visualization = 28th International Symposium, GD 2020, Vancouver, BC, Canada, September 16-18, 2020 : revised selected papers / by: (書目-電子資源)

Applications of evolutionary computation = 23rd European Conference, EvoApplications 2020, held as part of EvoStar 2020, Seville, Spain, April 15-17, 2020 : proceedings / by: (書目-電子資源)

Mathematical aspects of computer and information sciences = 8th International Conference, MACIS 2019, Gebze, Turkey, November 13-15, 2019 : revised selected papers / by: (書目-電子資源)

Rough sets = International Joint Conference, IJCRS 2020, Havana, Cuba, June 29 - July 3, 2020 : proceedings / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 2020 = 23rd International Conference, Alghero, Italy, July 3-10, 2020 : proceedings / by: (書目-電子資源)

Trends in functional programming = 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019 : revised selected papers / by: (書目-電子資源)

Theory and practice of natural computing = 10th International Conference, TPNC 2021, Tsukuba, Japan, December 7-10, 2021 : proceedings / by: (書目-電子資源)

Formal methods = 24th International Symposium, FM 2021, virtual event, November 20-26, 2021 : proceedings / by: (書目-電子資源)

Rules and reasoning = 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021 : proceedings / by: (書目-電子資源)

Software engineering and formal methods = 19th International Conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings / by: (書目-電子資源)

Fundamentals of logic and computation = with practical automated reasoning and verification / by: (書目-電子資源)

Advances in optimization and applications = 12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27-October 1, 2021 : revised selected papers / by: (書目-電子資源)

Computational thinking = a perspective on computer science / by: (書目-電子資源)

Techniques for searching, parsing, and matching by: (書目-電子資源)

Formalizing natural languages = applications to natural language processing and digital humanities : 15th International Conference, NooJ 2021, Besancon, France, June 9-11, 2021 : revised selected papers / by: (書目-電子資源)

Algorithmic aspects of cloud computing = 6th international symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6-7, 2021 : revised selected papers / by: (書目-電子資源)

Combinatorial optimization and applications = 15th International Conference, COCOA 2021, Tianjin, China, December 17-19, 2021 : proceedings / by: (書目-電子資源)

Algorithmic aspects in information and management = 15th International Conference, AAIM 2021, virtual event, December 20-22, 2021 : proceedings / by: (書目-電子資源)

Graph drawing and network visualization = 29th International Symposium, GD 2021, Tubingen, Germany, September 14-17, 2021 : revised selected papers / by: (書目-電子資源)

Introduction to computation = Haskell, logic and automata / by: (書目-電子資源)

Arithmetic geometry, number theory, and computation by: (書目-電子資源)

The regularized fast Hartley transform = low-complexity parallel computation of the FHT in one and multiple dimensions / by: (書目-電子資源)

Artificial intelligence and evolutionary computations in engineering systems = computational algorithm for AI technology, proceedings of ICAIECES 2020 / by: (書目-電子資源)

Consciousness, cognition and crosstalk = the evolutionary exaptation of nonergodic groupoid symmetry-breaking / by: (書目-電子資源)

Graph neural networks = foundations, frontiers, and applications / by: (書目-電子資源)

Practical aspects of declarative languages = 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022 : proceedings / by: (書目-電子資源)

Verification, model checking, and abstract interpretation = 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022 : proceedings / by: (書目-電子資源)

Chatbot research and design = 5th International Workshop, CONVERSATIONS 2021, virtual event, November 23-24, 2021 : revised selected papers / by: (書目-電子資源)

Metaheuristics and nature inspired computing = 8th International Conference, META 2021, Marrakech, Morocco, October 27-30, 2021 : proceedings / by: (書目-電子資源)

Data, information, and time = the DIT model / by: (書目-電子資源)

Bio-inspired computing = theories and applications : 16th International Conference, BIC-TA 2021, Taiyuan, China, December 17-19, 2021 : revised selected papers.. Part I / by: (書目-電子資源)

Parallel and distributed computing, applications and technologies = 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17-19, 2021 : proceedings / by: (書目-電子資源)

Large-scale scientific computing = 13th International Conference, LSSC 2021, Sozopol, Bulgaria, June 7-11, 2021 : revised selected papers / by: (書目-電子資源)

Nature inspired optimisation for delivery problems = from theory to the real world / by: (書目-電子資源)

Research in computational molecular biology = 26th Annual International Conference, RECOMB 2022, San Diego, CA, USA, May 22-25, 2022 : proceedings / by: (書目-電子資源)

Bio-inspired systems and applications = from robotics to ambient intelligence : 9th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2022, Puerto de la Cruz, Tenerife, Spain, May 31-June 3, 2022 : proceedings.. Part II / by: (書目-電子資源)

Advanced information systems engineering = 34th International Conference, CAiSE 2022, Leuven, Belgium, June 6-10, 2022 : proceedings / by: (書目-電子資源)

Formal methods in outer space = essays dedicated to Klaus Havelund on the occasion of his 65th birthday / by: (書目-電子資源)

Logic, computation and rigorous methods = essays dedicated to Egon Borger on the occasion of his 75th birthday / by: (書目-電子資源)

Computational methods in systems biology = 19th International Conference, CMSB 2021, Bordeaux, France, September 22-24, 2021 : proceedings / by: (書目-電子資源)

Formal concept analysis = 16th International Conference, ICFCA 2021, Strasbourg, France, June 29 - July 2, 2021 : proceedings / by: (書目-電子資源)

WALCOM = algorithms and computation : 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 - March 2, 2021 : proceedings / by: (書目-電子資源)

Formal methods for software engineering = languages, methods, application domains / by: (書目-電子資源)

Z2Z4-linear codes by: (書目-電子資源)

Agents and artificial intelligence = 13th International Conference, ICAART 2021 virtual event, February 4-6, 2021 : revised selected papers / by: (書目-電子資源)

Knowledge science, engineering and management = 15th International Conference, KSEM 2022, Singapore, August 6-8, 2022 : proceedings.. Part I / by: (書目-電子資源)

Advances in Computer Games = 17th International Conference, ACG 2021, virtual event, November 23-25, 2021 : revised selected papers / by: (書目-電子資源)

Blockchain scalability and its foundations in distributed systems by: (書目-電子資源)

Understanding computation = pillars, paradigms, principles / by: (書目-電子資源)

Cellular automata = 15th International Conference on Cellular Automata for Research and Industry, ACRI 2022, Geneva, Switzerland, September 12-15, 2022 : proceedings / by: (書目-電子資源)

Parallel problem solving from nature - PPSN XVII = 17th International Conference, PPSN 2022, Dortmund, Germany, September 10-14, 2022 : proceedings.. Part I / by: (書目-電子資源)

Knowledge discovery, knowledge engineering and knowledge management = 12th International Joint Conference, IC3K 2020, virtual event, November 2-4, 2020 : revised selected papers / by: (書目-電子資源)

Computer safety, reliability, and security = SAFECOMP 2022 Workshops, DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE, Munich, Germany, September 6-9, 2002 : proceedings / by: (書目-電子資源)

A journey from process algebra via timed automata to model learning = essays dedicated to Frits Vaandrager on the occasion of his 60th birthday / by: (書目-電子資源)

Quantitative evaluation of systems = 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022 : proceedings / by: (書目-電子資源)

Algorithmic aspects in information and management = 16th International Conference, AAIM 2022, Guangzhou, China, August 13-14, 2022 : proceedings / by: (書目-電子資源)

Explainable and transparent AI and multi-agent systems = 4th International Workshop, EXTRAAMAS 2022, virtual event, May 9-10, 2022 : revised selected papers / by: (書目-電子資源)

From data to models and back = 10th International Symposium, DataMod 2021, virtual event, December 6-7, 2021 : revised selected papers / by: (書目-電子資源)

The semantic web - ISWC 2022 = 21st International Semantic Web Conference, virtual event, October 23-27, 2022 : proceedings / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validation = software engineering : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.. Part II / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validation = adaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.. Part III / by: (書目-電子資源)

Discrete geometry and mathematical morphology = second international joint conference, DGMM 2022, Strasbourg, France, October 24-27, 2022 : proceedings / by: (書目-電子資源)

Automated technology for verification and analysis = 20th International Symposium, ATVA 2022, Beijing, China, October 25-28, 2022 : proceedings / by: (書目-電子資源)

Swarm intelligence = 13th International Conference, ANTS 2022, Malaga, Spain, November 2-4, 2022 : proceedings / by: (書目-電子資源)

LATIN 2022 = theoretical informatics : 15th Latin American Symposium, Guanajuato, Mexico, November 7-11, 2022 : proceedings / by: (書目-電子資源)

Artificial intelligence and natural language = 11th Conference, AINL 2022, Saint Petersburg, Russia, April 14-15, 2022 : revised selected papers / by: (書目-電子資源)

Transactions on computational collective intelligence XXXVII by: (書目-電子資源)

Learning and intelligent optimization = 16th International Conference, LION 16, Milos Island, Greece, June 5-10, 2022 : revised selected papers / by: (書目-電子資源)

Fourier optics and computational imaging by: (書目-電子資源)

Software engineering and formal methods -- SEFM 2022 collocated workshops = AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022 / by: (書目-電子資源)

Metaheuristics = 14th International Conference, MIC 2022, Syracuse, Italy, July 11-14, 2022 : proceedings / by: (書目-電子資源)

Computer vision = statistical models for marr's paradigm / by: (書目-電子資源)

Web and big data = APWeb-WAIM 2022 International Workshops : KGMA 2022, semiBDMA 2022, DeepLUDA 2022, Nanjing, China, November 25-27, 2022 : proceedings / by: (書目-電子資源)

Objective information theory by: (書目-電子資源)

Bio-inspired computing = theories and applications : 17th International Conference, BIC-TA 2022, Wuhan, China, December 16-18 2022 : revised selected papers / by: (書目-電子資源)

Artificial life and evolutionary computation = 16th Italian Workshop, WIVACE 2022, Gaeta, Italy, September 14-16, 2022 : revised selected papers / by: (書目-電子資源)

AIxIA 2022 - advances in artificial intelligence = XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022 : proceedings / by: (書目-電子資源)

Machine learning and knowledge discovery in databases = European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022 : proceedings.. Part I / by: (書目-電子資源)

New frontiers in artificial intelligence = JSAI-isAI 2022 Workshop, JURISIN 2022, and JSAI 2022 International Session, Kyoto, Japan, June 12-17, 2022 : revised selected papers / by: (書目-電子資源)

Parallel and distributed computing, applications and technologies = 23rd International Conference, PDCAT 2021, Guangzhou, China, December 7-9, 2022 : proceedings / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 29th 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: (書目-電子資源)

Foundations of software science and computation structures = 26th 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: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 29th 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: (書目-電子資源)

Coping with selfishness in congestion games = analysis and design via LP duality / by: (書目-電子資源)

Integration of constraint programming, artificial intelligence, and operations research = 20th International Conference, CPAIOR 2023, Nice, France, May 29-June 1, 2023 : proceedings / by: (書目-電子資源)

Algorithmic aspects of cloud computing = 7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022 : revised selected papers / by: (書目-電子資源)

NASA formal methods = 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023 : proceedings / by: (書目-電子資源)

Computational science - ICCS 2023 = 23rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.. Part I / by: (書目-電子資源)

Computational science - ICCS 2023 = 23rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.. Part V / by: (書目-電子資源)

Computational science - ICCS 2023 = 23rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.. Part IV / by: (書目-電子資源)

Computational science - ICCS 2023 = 23rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.. Part II / by: (書目-電子資源)

Information is energy = definition of a physically based concept of information / by: (書目-電子資源)

Knowledge discovery, knowledge engineering and knowledge management = 13th International Joint Conference, IC3K 2021, virtual event, October 25-27, 2021 : revised selected papers / by: (書目-電子資源)

Advances in swarm intelligence = 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023 : proceedings.. Part I / by: (書目-電子資源)

Advances in swarm intelligence = 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023 : proceedings.. Part II / by: (書目-電子資源)

Many-criteria optimization and decision analysis = state-of-the-art, present challenges, and future perspectives / by: (書目-電子資源)

Knowledge science, engineering and management = 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023 : proceedings.. Part II / by: (書目-電子資源)

Implementation and application of automata = 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023 : proceedings / by: (書目-電子資源)

Graph-based representation and reasoning = 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023 : proceedings / by: (書目-電子資源)

Cellular automata and discrete complex systems = 29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 - September 1, 2023 : proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systems = 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings / by: (書目-電子資源)

Programs as diagrams = from categorical computability to computable categories / by: (書目-電子資源)

Formal methods for industrial critical systems = 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings / by: (書目-電子資源)

Automated technology for verification and analysis = 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings.. Part I / by: (書目-電子資源)

The semantic web - ISWC 2023 = 22nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023 : proceedings.. Part I / by: (書目-電子資源)

The semantic web - ISWC 2023 = 22nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023 : proceedings.. Part II / by: (書目-電子資源)

AIxIA 2023 - Advances in Artificial Intelligence = XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023 : proceedings / by: (書目-電子資源)

Solvable cellular automata = methods and applications / by: (書目-電子資源)

Programming languages and systems = 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023 : proceedings / by: (書目-電子資源)

Engineering multi-agent systems = 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023 : revised selected papers / by: (書目-電子資源)

Graph drawing and network visualization = 31st international symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20-22, 2023 : revised selected papers.. Part I / by: (書目-電子資源)

Culture and computing = 10th International Conference, C&C 2022, held as part of the 24th HCI International Conference, HCII 2022, virtual event, June 26 - July 1, 2022 : proceedings / by: (書目-電子資源)

Formal concept analysis = 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023 : proceedings / by: (書目-電子資源)

Digital libraries for open knowledge = 23rd International Conference on Theory and Practice of Digital Libraries, TPDL 2019, Oslo, Norway, September 9-12, 2019 : proceedings / by: (書目-電子資源)

Fundamentals of software engineering = 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019 : revised selected papers / by: (書目-電子資源)

Graph transformation for software engineers = with applications to model-based development and domain-specific language engineering / by: (書目-電子資源)

Technology-inspired smart learning for future education = 29th National Conference on Computer Science Technology and Education, NCCSTE 2019, Kaifeng, China, October 9-11, 2019 : revised selected papers / by: (書目-電子資源)

A pipelined multi-core machine with operating system support = hardware implementation and correctness proof / by: (書目-電子資源)

Algorithms and models for the web graph = 17th International Workshop, WAW 2020, Warsaw, Poland, September 21-22, 2020 : proceedings / by: (書目-電子資源)

A guided tour of artificial intelligence research.. Volume II,. AI algorithms by: (書目-電子資源)

Rules and reasoning = 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023 : proceedings / by: (書目-電子資源)

Automated technology for verification and analysis = 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings.. Part II / by: (書目-電子資源)

Complex computational ecosystems = first International Conference, CCE 2023, Baku, Azerbaijan, April 25-27, 2023 : proceedings / by: (書目-電子資源)

Advances in conceptual modeling = ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6-9, 2023 : proceedings / by: (書目-電子資源)

Artificial intelligence logic and applications = the 3rd International Conference, AILA 2023, Changchun, China, august 5-6, 2023 : proceedings / by: (書目-電子資源)

Graph drawing and network visualization = 31st international symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20-22, 2023 : revised selected papers.. Part II / by: (書目-電子資源)

Practical aspects of declarative languages = 26th international symposium, PADL 2024, London, UK, January 15-16, 2024 : proceedings / by: (書目-電子資源)

Scheduling and reconfiguration of real-time systems = a supervisory control approach / by: (書目-電子資源)

Intelligent software defect prediction by: (書目-電子資源)

Walcom = algorithms and computation : 16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24-26, 2022 : proceedings / by: (書目-電子資源)

Formal methods for industrial critical systems = 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022 : proceedings / by: (書目-電子資源)

Diagrammatic representation and inference = 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022 : proceedings / by: (書目-電子資源)

The logic of software = a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday / by: (書目-電子資源)

Philosophy of computing = themes from IACAP 2019 / by: (書目-電子資源)

WALCOM = algorithms and computation : 17th International Conference and Workshops, WALCOM 2023, Hsinchu, Taiwan, March 22-24, 2023 : proceedings / by: (書目-電子資源)

Algorithms and models for the web graph = 18th International Workshop, WAW 2023, Toronto, ON, Canada, May 23-26, 2023 : proceedings / by: (書目-電子資源)