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