Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages ...
Lire la suite
The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: ...
Lire la suite
This book constitutes the refereed proceedings of the 7th International Conference on Coordination Models and Languages, ...
Lire la suite
This book constitutes the thoroughly refereed postproceedings of the 10th International Workshop on DNA Based Computers, ...
Lire la suite
It is evidence of how well the interdisciplinary nature of the conference has truly matured that the major criterion of quality, ...
Lire la suite
This book constitutes the thoroughly refereed postproceedings of the 12th International Meeting on DNA Computing, DNA12, ...
Lire la suite
This book constitutes the thoroughly refereed postproceedings of the 13th International Meeting on DNA Computing, DNA 13, ...
Lire la suite
This book presents the latest thinking in adaptive management for forest ecosystems. Based on the ‘multiple path’ principle, ...
Lire la suite
It addresses all important issues in language theory including grammars, acceptors and transducers for words, trees and graphs; ...
Lire la suite
It addresses all important issues in language theory including grammars, acceptors and transducers for words, trees and graphs; ...
Lire la suite
Basic Notions of Reaction Systems -- A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms -- Algebraic ...
Lire la suite
Constitutes the refereed proceedings of the 9th International Conference on Developments in Language Theory, DLT 2005, held ...
Lire la suite
This book constitutes the refereed proceedings of the 10th International Conference on Developments in Language Theory, DLT ...
Lire la suite
Our aim is to introduce, explain, and discuss the fundamental problems, ideas, concepts, results, and methods of the theory ...
Lire la suite
Ecological Informatics promotes interdisciplinary research between ecology and computer science on elucidation of principles ...
Lire la suite
This textbook provides a broad introduction to the fields of dynamical systems and ergodic theory. Motivated by examples ...
Lire la suite
The evolutionary computation approach to music is an exciting new development for composers and musicologists alike. For ...
Lire la suite
The evolutionary computation approach to music is an exciting new development for composers and musicologists alike. For ...
Lire la suite
Multicriterion optimization refers to problems with two or more objectives (normally in conflict with each other) which must ...
Lire la suite
Multicriterion optimization refers to problems with two or more objectives (normally in conflict with each other) which must ...
Lire la suite