Electronic Books

Total Books: 61 - 73 /73
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
Total Books: 61 - 73 /73