Electronic Books

Total Books: 41 - 60 /66

Implementation and Application of Automata

The 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical ...

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 ...

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 ...

Implementation and Application of Automata (vol. # 4094)

This book constitutes the refereed proceedings of the 11th International Conference on Implementation and Application of ...

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 ...

Information Theory and Network Coding

Information Theory and Network Coding consists of two parts: Components of Information Theory, and Fundamentals of Network ...

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 ...

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 ...

Logic, Language, Information and Computation

The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary ...

Membrane Computing

This volume contains a selection of papers presented at the Eighth Workshop on Membrane Computing, WMC8, which took place ...

Membrane Computing (vol. # 3850)

The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics ...

Neural Network Theory

Neural Networks Theory is a major contribution to the neural networks literature. It is a treasure trove that should be mined ...

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 ...

Parameterized Complexity Theory

This book is a state-of-the-art introduction to both algorithmic techniques for fixed-parameter tractability and the structural ...

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, ...

SAT 2005

This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...

STACS 2005

Constitutes the refereed proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, held in Germany, ...

STACS 2006

This book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held ...

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 ...

Theoretical Aspects of Local Search

Local search has been applied successfully to a diverse collection of optimization problems. It's appreciated for its basic ...

Total Books: 41 - 60 /66