Implementation and Application of Automata
The 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Implementation and Application of Automata (vol. # 4094)
This book constitutes the refereed proceedings of the 11th International Conference on Implementation and Application of ...
Lee mas
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 ...
Lee mas
Information Theory and Network Coding
Information Theory and Network Coding consists of two parts: Components of Information Theory, and Fundamentals of Network ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Logic, Language, Information and Computation
The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary ...
Lee mas
Membrane Computing
This volume contains a selection of papers presented at the Eighth Workshop on Membrane Computing, WMC8, which took place ...
Lee mas
Membrane Computing (vol. # 3850)
The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics ...
Lee masNeural Network Theory
Neural Networks Theory is a major contribution to the neural networks literature. It is a treasure trove that should be mined ...
Lee mas
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 ...
Lee mas
Parameterized Complexity Theory
This book is a state-of-the-art introduction to both algorithmic techniques for fixed-parameter tractability and the structural ...
Lee mas
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, ...
Lee mas
SAT 2005
This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...
Lee mas
STACS 2005
Constitutes the refereed proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, held in Germany, ...
Lee mas
STACS 2006
This book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held ...
Lee mas
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 ...
Lee mas
Theoretical Aspects of Local Search
Local search has been applied successfully to a diverse collection of optimization problems. It's appreciated for its basic ...
Lee mas
