This easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines ...
Lire la suiteThis book contains selected and revised papers of the European Symposium on Adaptive and Learning Agents and Multi-Agent ...
Lire la suiteThis book presents the state-of-the-practice in successfully engineered self-organizing systems, and examines ways to balance ...
Lire la suiteThe Artificial Life term appeared more than 20 years ago . Since then the area has developed dramatically, many researchersjoining ...
Lire la suiteThis book is organized in topical sections on conceptual articles, morphogenesis and development, robotics and autonomous ...
Lire la suiteThis book is organized in topical sections on conceptual articles, morphogenesis and development, robotics and autonomous ...
Lire la suiteThis book cover theory, practice, applications, and experiences related to secure software.
Lire la suiteThis book cover theory, practice, applications, and experiences related to secure software.
Lire la suiteThis book constitutes the proceedings of the European Grid Con-ference 2005, held at the Science Park Amsterdam The aim ...
Lire la suiteThis monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the ...
Lire la suitePRIMA is a series of workshops on agent computing and multi-agent systems, integrating the activities in Asia and Pacific ...
Lire la suiteThis book represents the thoroughly refereed post-proceedings of the 6th International Workshop on Agent-Oriented Software ...
Lire la suiteCALCO, the Conference on Algebra and Coal-gebra in Computer Science, was created to bring together researchers ...
Lire la suiteAddressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...
Lire la suiteAddressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...
Lire la suiteThis volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Lire la suiteThis volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Lire la suiteThis book constitutes the refereed proceedings of the Third International Conference on Algebraic Biology, AB 2008, held ...
Lire la suiteIt covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Lire la suiteIt covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Lire la suite