A Concise Introduction to Languages and Machines
This easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines ...
Lire la suite
Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning : 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers
This book contains selected and revised papers of the European Symposium on Adaptive and Learning Agents and Multi-Agent ...
Lire la suite
Advances in Applied Self-organizing Systems
This book presents the state-of-the-practice in successfully engineered self-organizing systems, and examines ways to balance ...
Lire la suite
Advances in Artificial Life
The Artificial Life term appeared more than 20 years ago . Since then the area has developed dramatically, many researchersjoining ...
Lire la suite
Advances in Artificial Life
This book is organized in topical sections on conceptual articles, morphogenesis and development, robotics and autonomous ...
Lire la suite
Advances in Artificial Life
This book is organized in topical sections on conceptual articles, morphogenesis and development, robotics and autonomous ...
Lire la suite
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
This book cover theory, practice, applications, and experiences related to secure software.
Lire la suite
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
This book cover theory, practice, applications, and experiences related to secure software.
Lire la suite
Advances in Grid Computing - EGC 2005
This book constitutes the proceedings of the European Grid Con-ference 2005, held at the Science Park Amsterdam The aim ...
Lire la suite
Advances in Verification of Time Petri Nets and Timed Automata
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the ...
Lire la suite
Agent Computing and Multi-Agent Systems
PRIMA is a series of workshops on agent computing and multi-agent systems, integrating the activities in Asia and Pacific ...
Lire la suite
Agent-Oriented Software Engineering VI
This book represents the thoroughly refereed post-proceedings of the 6th International Workshop on Agent-Oriented Software ...
Lire la suite
Algebra and Coalgebra in Computer Science
CALCO, the Conference on Algebra and Coal-gebra in Computer Science, was created to bring together researchers ...
Lire la suite
Algebra and Coalgebra in Computer Science
Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...
Lire la suite
Algebra and Coalgebra in Computer Science
Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...
Lire la suite
Algebraic Biology
This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Lire la suite
Algebraic Biology
This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Lire la suite
Algebraic Biology : Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings
This book constitutes the refereed proceedings of the Third International Conference on Algebraic Biology, AB 2008, held ...
Lire la suite
Algebraic Informatics
It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Lire la suite
Algebraic Informatics
It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Lire la suite
