Implementation and Application of Automata
The 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical ...
Continue reading
Implementation and Application of Automata (vol. # 3317)
This volume of Lecture Notes in Computer Science contains the revised versions of the papers presented at the 9th International ...
Continue reading
Implementation and Application of Automata (vol. # 3845)
This volume of the Lecture Notes in Computer Science series contains the notes of the two invited lectures, the 26 papers ...
Continue reading
Implementation and Application of Automata (vol. # 4094)
This book constitutes the refereed proceedings of the 11th International Conference on Implementation and Application of ...
Continue reading
Implementation and Applications of Automata : 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings
This book constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation and ...
Continue reading
Information Theory and Network Coding
Information Theory and Network Coding consists of two parts: Components of Information Theory, and Fundamentals of Network ...
Continue reading
LATIN 2008: Theoretical Informatics : 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings
The Latin American Theoretical INformatics Symposium (LATIN) is becoming a traditional and high-quality conference on the ...
Continue reading
List Decoding of Error-Correcting Codes
How can one exchange information e?ectively when the medium of com- nication introduces errors? This question has been investigated ...
Continue reading
Logic, Language, Information and Computation
The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary ...
Continue reading
Membrane Computing
This volume contains a selection of papers presented at the Eighth Workshop on Membrane Computing, WMC8, which took place ...
Continue reading
Membrane Computing (vol. # 3850)
The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics ...
Continue readingNeural Network Theory
Neural Networks Theory is a major contribution to the neural networks literature. It is a treasure trove that should be mined ...
Continue reading
New Computational Paradigms : Changing Conceptions of What is Computable
This book examines new developments in the theory and practice of computation from a mathematical perspective, with topics ...
Continue reading
Parameterized Complexity Theory
This book is a state-of-the-art introduction to both algorithmic techniques for fixed-parameter tractability and the structural ...
Continue reading
Parameterized and Exact Computation : Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008. Proceedings
This book constitutes the refereed proceedings of the Third International Workshop on Parameterized and Exact Computation, ...
Continue reading
SAT 2005
This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...
Continue reading
STACS 2005
Constitutes the refereed proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, held in Germany, ...
Continue reading
STACS 2006
This book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held ...
Continue reading
STACS 2007 ; 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings
The Symposium on Theoretical Aspects of Computer Science (STACS) is alternately held in France and in Germany. The conference ...
Continue reading
Theoretical Aspects of Local Search
Local search has been applied successfully to a diverse collection of optimization problems. It's appreciated for its basic ...
Continue reading
