SAT 2005
This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...
Lire la suite
STACS 2005
Constitutes the refereed proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, held in Germany, ...
Lire la suite
STACS 2006
This book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held ...
Lire la suite
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 ...
Lire la suite
Techniques virales avancées
This book deals with advanced techniques of computer virology from a double perspective: the analysis of antiviral defense ...
Lire la suite
Theoretical Aspects of Local Search
Local search has been applied successfully to a diverse collection of optimization problems. It's appreciated for its basic ...
Lire la suite
Theoretical Computer Science (vol. # 3895)
the book is a very fitting tribute to the legacy of Shimon Even.Shimon Even was considered a superb teacher in Computer ...
Lire la suite
Theory and Applications of Satisfiability Testing (vol. # 3542)
This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability ...
Lire la suite
Theory of Computation
Theory of Computation is a unique textbook that serves the dual purposes of covering core material in the foundations of ...
Lire la suite
Theory of Evolutionary Computation
Reports on recent developments in the theory of evolutionary computation, or more generally the domain of randomized search ...
Lire la suite
Theory of Quantum Computation, Communication, and Cryptography : Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers
This book focus on theoretical aspects of quantum computation, quantum communication, and quantum cryptography, which are ...
Lire la suite
Traffic Grooming for Optical Networks : Foundations, Techniques, and Frontiers
This book begins by providing appropriate background information and then follows with an in-depth study of a few key issues ...
Lire la suite
Variations on Constants
This monograph, a revised version of the author's habilitation thesis, focusses on optimal flow analysis of sequential and ...
Lire la suite
