Theory of Computation.

Formal modeling and analysis of timed systems = 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings / 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: (書目-電子資源)

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

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

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

The P=NP question and Godel's lost letter by: (書目-電子資源)

Applied informatics and communication = international conference, ICAIC 2011, Xi'an, China, August 20-21, 2011 : proceedings.. Part V / 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: (書目-電子資源)

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

Languages: from formal to natural = essays dedicated to Nissim Francez on the occasion of his 65th birthday / by: (書目-電子資源)

Natural computing = 4th International Workshop on Natural Computing, Himeji, Japan, September 2009 : proceedings / by: (書目-電子資源)

Algorithmic randomness and complexity by: (書目-電子資源)

Automata, Languages and Programming = 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings / by: (書目-電子資源)

Super-Recursive Algorithms by: (書目-電子資源)

Frontiers in algorithmics and algorithmic aspects in information and management = joint international conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011 : proceedings / by: (書目-電子資源)

Applications and Theory of Petri Nets 2005 = 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / by: (書目-電子資源)

New structures for physics by: (書目-電子資源)

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

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

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

Information computing and applications = first international conference, ICICA 2010, Tangshan, China, October 15-18, 2010 : proceedings / by: (書目-電子資源)

Provable security = second international conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008 : proceedings / 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: (書目-電子資源)

Logic, Language, Information and Computation = 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / by: (書目-電子資源)

Quantum interaction = 6th international symposium, QI 2012, Paris, France, June 27-29, 2012 : revised selected papers / 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: (書目-電子資源)

Computational science and its applications, ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings .. II by: (書目-電子資源)

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

Event-Triggered and Time-Triggered Control Paradigms by: (書目-電子資源)

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

Applications and theory of petri nets = 30th international conference, PETRI NETS 2009, Paris, France, June 22-26, 2009 : proceedings / by: (書目-電子資源)

Media Theory = Interdisciplinary Applied Mathematics / by: (書目-電子資源)

Applied informatics and communication = international conference, ICAIC 2011, Xi'an, China, August 20-21, 2011 : proceedings.. Part IV / by: (書目-電子資源)

Computational Science and Its Applications ICCSA 2008 = International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I / by: (書目-電子資源)

Handbook of Biomedical Image Analysis.. Volume III,. Registration Models by: (書目-電子資源)

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

Theory of quantum computation, communication, and cryptography = 4th Workshop,TQC 2009, Waterloo, Canada, May 11-13, 2009, revised selected papers / by: (書目-電子資源)

Transactions on rough sets X by: (書目-電子資源)

Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part II / by: (書目-電子資源)

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

Logic, rationality, and interaction = second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings / by: (書目-電子資源)

Theory and applications of models of computation = 5th international conference, TAMC 2008, Xi'an, China, April 25-29, 2008 ; proceedings / by: (書目-電子資源)

Mathematical software - ICMS 2010 = Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, proceedings / by: (書目-電子資源)

Quantum interaction = 5th international symposium, QI 2011, Aberdeen, UK, June 26-29, 2011 : revised selected papers / by: (書目-電子資源)

Logic, rationality, and interaction = third international workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings / by: (書目-電子資源)

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

Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. I / by: (書目-電子資源)

Computer science - theory and applications = 3rd International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008 : proceedings / by: (書目-電子資源)

Logic and Theory of Algorithms = 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings / by: (書目-電子資源)

Parameterized and exact computation = 5th international symposium, IPEC 2010, Chennai, India, December 13-15, 2010 : proceedings / 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: (書目-電子資源)

Recent trends in algebraic development techniques = 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers / by: (書目-電子資源)

Cognitive reasoning = a formal approach / by: (書目-電子資源)

Dissemination of Information in Communication Networks = Broadcasting, Gossiping, Leader Election, and Fault-Tolerance / by: (書目-電子資源)

Genetic Programming IV = Routine Human-Competitive Machine Intelligence / by: (書目-電子資源)

Shared Memory Parallel Programming with Open MP = 5th International Workshop on Open MP Application and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004 / by: (書目-電子資源)

Euro-Par 2005 Parallel Processing = 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings / by: (書目-電子資源)

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

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

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

Apartness and uniformity = a constructive development / by: (書目-電子資源)

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

Bioinspired computation in combinatorial optimization = algorithms and their computational complexity / by: (書目-電子資源)

Logical foundations of computer science = International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings / by: (書目-電子資源)

Logic and its applications = third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009, proceedings / by: (書目-電子資源)

Reachability problems = 3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings / by: (書目-電子資源)

Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I / by: (書目-電子資源)

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

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

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

STACS 2005 = 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2004, Proceedings / by: (書目-電子資源)

Multiobjective Problem Solving from Nature = From Concepts to Applications / by: (書目-電子資源)

Computational science - ICCS 2009 = 9th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.. Part II / by: (書目-電子資源)

The mathematics of language = 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings / by: (書目-電子資源)

Transactions on rough sets XIV by: (書目-電子資源)

Unfoldings = A Partial-Order Approach to Model Checking / by: (書目-電子資源)

New Computational Paradigms = Changing Conceptions of What is Computable / by: (書目-電子資源)

Hypercomputation = computing beyond the Church-Turing barrier / by: (書目-電子資源)

Transactions on petri nets and other models of concurrency V 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: (書目-電子資源)

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

Patterns in permutations and words 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: (書目-電子資源)

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

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

Modelling autonomic communication environments = 5th IEEE international workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010 : proceedings / by: (書目-電子資源)

Models of computation = an introduction to computability theory / by: (書目-電子資源)

Formal modeling and analysis of timed systems = 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / by: (書目-電子資源)

Infinity in Logic and Computation = International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers / by: (書目-電子資源)

New Computational Paradigms = First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings / by: (書目-電子資源)

Deduction, computation, experiment = exploring the effectiveness of proof / by: (書目-電子資源)

Semistructured Database Design by: (書目-電子資源)

Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings.. IV / by: (書目-電子資源)

Computer science - theory and applications = 4th International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009 : Proceedings / by: (書目-電子資源)

Information computing and applications = second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings.. Part II / by: (書目-電子資源)

Contemporary Cryptology by: (書目-電子資源)

Algorithms and architectures for parallel processing = 10th international conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010 : proceedings.. Part II / by: (書目-電子資源)

Cartesian genetic programming by: (書目-電子資源)

Automata, languages and programming = 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings.. Part II / by: (書目-電子資源)

Algorithmic bioprocesses by: (書目-電子資源)

CONCUR 2008 - Concurrency Theory = 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings / by: (書目-電子資源)

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

Computational science and its appilcations, ICCSA 2009 = international conference, Seoul, Korea, June 29-July 2, 2009 : proceedings.. Part II / by: (書目-電子資源)

Transactions on petri nets and other models of concurrency.. II,. Special issue on concurrency in process-aware information systems by: (書目-電子資源)

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

Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. III by: (書目-電子資源)

Computer and Information Sciences - ISCIS 2005 : = 20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings by: (書目-電子資源)

Decision Procedures = An Algorithmic Point of View / by: (書目-電子資源)

Optical supercomputing = third international workshop, OSC 2010, Bertinoro, Italy, November 17-19 2010 : revised selected papers / by: (書目-電子資源)

Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings.. I / by: (書目-電子資源)

Computational science and its appilcations, ICCSA 2009 = international conference, Seoul, Korea, June 29-July 2, 2009 : Proceedings.. Part I / by: (書目-電子資源)

Automata, languages and programming = 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings.. Part I / by: (書目-電子資源)

Genetic programming theory and practice VIII 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: (書目-電子資源)

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

Do-All Computing in Distributed Systems = Cooperation in the Presence of Adversity / by: (書目-電子資源)

Universal semantic communication by: (書目-電子資源)

Principles of the Spin model checker by: (書目-電子資源)

Handbook of Biomedical Image Analysis.. Volume II,. Segmentation Models Part B by: (書目-電子資源)

Theoretical aspects of computing - ICTAC 2009 = 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings / by: (書目-電子資源)

High Performance Computing for Computational Science - VECPAR 2004 = 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers / 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: (書目-電子資源)

Uncertainty reasoning for the semantic web I = ISWC international workshops, URSW 2005-2007 : revised selected and invited papers / by: (書目-電子資源)

Time-Dependent scheduling by: (書目-電子資源)

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

Theoretical computer science = lectures given at the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 9-14, 1975 / by: (書目-電子資源)

Computer science = the hardware, software and heart of it / by: (書目-電子資源)

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

Transactions on Computational Science I 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: (書目-電子資源)

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

Optical SuperComputing = second international workshop, OSC 2009, Bertinoro, Italy, November 18-20, 2009 : proceedings / by: (書目-電子資源)

Genetic Programming Theory and Practice.. V by: (書目-電子資源)

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

Formal theories of information = from Shannon to semantic information theory and general concepts of information / by: (書目-電子資源)

Rigorous methods for software construction and analysis = essays dedicated to Egon Borger on the occasion of his 60th birthday / by: (書目-電子資源)

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

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

Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part III / by: (書目-電子資源)

Fifth Ifip International Conference On Theoretical Computer Science-Tcs 2008 by: (書目-電子資源)

Handbook of Biomedical Image Analysis.. Volume I,. Segmentation Models Part A by: (書目-電子資源)

Complexity Theory and Cryptology = An Introduction to Cryptocomplexity / 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: (書目-電子資源)

Language and automata theory and applications = second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 ; revised papers / by: (書目-電子資源)

A short course in quantum information theory = an approach from theoretical physics / by: (書目-電子資源)

The Art of Artificial Evolution = A Handbook on Evolutionary Art and Music / by: (書目-電子資源)

Mobility in process calculi and natural computing by: (書目-電子資源)

Information computing and applications = International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010, proceedings.. Part II / by: (書目-電子資源)

Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part I / by: (書目-電子資源)

Applied informatics and communication = international conference, ICAIC 2011, Xi'an, China, August 20-21, 2011 : proceedings.. Part III / by: (書目-電子資源)

Transactions on rough sets XII by: (書目-電子資源)

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

Computational science - ICCS 2009 = 9th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.. Part I / 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: (書目-電子資源)

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

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

Universal Artificial Intellegence = Sequential Decisions Based on Algorithmic Probability / by: (書目-電子資源)

Systems Approaches and Their Application = Examples from Sweden / by: (書目-電子資源)

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

Applied informatics and communication = international conference, ICAIC 2011,Xi'an, China, August 20-21, 2011 : proceedings.. Part I / by: (書目-電子資源)

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

Advances in Metaheuristics for Hard Optimization by: (書目-電子資源)

A concise introduction to languages and machines by: (書目-電子資源)

Mathematical theory and computational practice = 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : Proceedings / by: (書目-電子資源)

Parameterized and exact computation = 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009 : revised selected papers / by: (書目-電子資源)

Computational Science and Its Applications ICCSA 2008 = International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part II / 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: (書目-電子資源)

Theoretical Aspects of Computing - ICTAC 2008 = 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / by: (書目-電子資源)

Theory and applications of models of computation = 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings / by: (書目-電子資源)

Logic, language, information and computation = 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings / 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: (書目-電子資源)

Theoretical and Experimental DNA Computation by: (書目-電子資源)

A 25-Year perspective on logic programming = achievements of the Italian Association for Logic Programming, GULP / by: (書目-電子資源)

Theory and applications of models of computation = 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 : proceedings / by: (書目-電子資源)

Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12. 2005, Proceedings .. III by: (書目-電子資源)

Advances in Applied Self-organizing Systems by: (書目-電子資源)

Elements of Computation Theory by: (書目-電子資源)

SOFSEM 2005: Theory and Practice of Computer Science = 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovsky Jan, Slovakia, January 22-28, 2005, Proceedings / by: (書目-電子資源)

Information computing and applications = second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings.. Part I / by: (書目-電子資源)

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

Extremal combinatorics = with applications in computer science / by: (書目-電子資源)

Pillars of Computer Science = Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday / by: (書目-電子資源)

Algorithmic adventures = from knowledge to magic / by: (書目-電子資源)

Computable models by: (書目-電子資源)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty = 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings / by: (書目-電子資源)

Applications and Theory of Petri Nets = 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings / by: (書目-電子資源)

Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / by: (書目-電子資源)

Transactions on rough sets XI by: (書目-電子資源)

Frontiers in algorithmics = 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010, proceedings / by: (書目-電子資源)

Computational logic in multi-agent systems = b9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 ; revised selected and invited papers / by: (書目-電子資源)

Algorithms and architectures for parallel processing = 10th international conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010 : proceedings.. Part I / by: (書目-電子資源)

Advanced functional programming = 6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008 : revised lectures / by: (書目-電子資源)

Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. II / by: (書目-電子資源)

Genetic Programming Theory and Practice II by: (書目-電子資源)

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

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

Euro-Par 2008 -- Parallel Processing = 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings / by: (書目-電子資源)

Dissemination of Information in Optical Networks = From Technology to Algorithms In Cooperation with Ralf Klasing / by: (書目-電子資源)

Logics of Specification Languages by: (書目-電子資源)

Metaheuristics: Progress as Real Problem Solvers 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: (書目-電子資源)

Game of Life cellular automata by: (書目-電子資源)

Language and automata theory and applications = third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 ; proceedings / by: (書目-電子資源)

Post-quantum cryptography by: (書目-電子資源)

Applied informatics and communication = international conference, ICAIC 2011, Xi'an, China, August 20-21, 2011 : proceedings.. Part II / by: (書目-電子資源)