My Account
Log in Registration
All
Cart
Highlights
Fiction Books
Non-Fiction Books
Children's Books
Rare Books
Music
DVD & Blu-Ray
Video Games
Category
Wishlists
Cart
All
Free US shipping over $10
Trustpilot
Proud to be B-Corp

Texts in Theoretical Computer Science. An EATCS Books

Decision Procedures By Daniel Kroening
Decision Proceduresby Daniel Kroening
Like New
$12.99
Decision Procedures By Daniel Kroening
Decision Proceduresby Daniel Kroening
New
$57.39
Elements of Finite Model Theory By Leonid Libkin
Elements of Finite Model Theoryby Leonid Libkin
New
$131.79
Decision Procedures By Daniel Kroening
Decision Proceduresby Daniel Kroening
New
$41.69
Extremal Combinatorics By Stasys Jukna
Extremal Combinatoricsby Stasys Jukna
New
$128.29
Information and Randomness By Cristian S. Calude
Information and Randomnessby Cristian S. Calude
New
$83.79
Interactive Theorem Proving and Program Development By Yves Bertot
Interactive Theorem Proving and Program Developmentby Yves Bertot
New
$158.79
Interactive Theorem Proving and Program Development By Yves Bertot
Interactive Theorem Proving and Program Developmentby Yves Bertot
New
$92.99
Boolean Functions and Computation Models By Peter Clote
Boolean Functions and Computation Modelsby Peter Clote
Very Good
$139.99
DNA Computing By Gheorghe Paun
DNA Computingby Gheorghe Paun
Good
$13.35
Faster Shipping
Models of Computation By Roberto Bruni
Models of Computationby Roberto Bruni
New
$45.59
Information and Randomness By Cristian S. Calude
Information and Randomnessby Cristian S. Calude
New
$113.69
The Complexity Theory Companion By Lane A. Hemaspaandra
The Complexity Theory Companionby Lane A. Hemaspaandra
Good
$64.32
Faster Shipping
Universal Artificial Intelligence By Marcus Hutter
Universal Artificial Intelligenceby Marcus Hutter
New
$110.19
Introduction to Process Algebra By Wan Fokkink
Introduction to Process Algebraby Wan Fokkink
New
$73.49
Temporal Logic and State Systems By Fred Kroger
Temporal Logic and State Systemsby Fred Kroger
New
$98.69
Computable Analysis By Klaus Weihrauch
Computable Analysisby Klaus Weihrauch
Good
$46.15
Faster Shipping
Theoretical Computer Science By Juraj Hromkovic
Theoretical Computer Scienceby Juraj Hromkovic
Very Good
$71.39
Faster Shipping
Elements of Finite Model Theory By Leonid Libkin
Elements of Finite Model Theoryby Leonid Libkin
New
$110.39
Introduction to Circuit Complexity By Heribert Vollmer
Introduction to Circuit Complexityby Heribert Vollmer
New
$99.39
DNA Computing By Gheorghe Paun
DNA Computingby Gheorghe Paun
New
$106.49
Theoretical Computer Science By Juraj Hromkovic
Theoretical Computer Scienceby Juraj Hromkovic
New
$123.29
Software Engineering 2 By Dines Bjorner
Software Engineering 2by Dines Bjorner
New
$103.09
Complexity Theory and Cryptology By Joerg Rothe
Complexity Theory and Cryptologyby Joerg Rothe
New
$105.09
The Complexity Theory Companion By Lane A. Hemaspaandra
The Complexity Theory Companionby Lane A. Hemaspaandra
New
$67.99
Abstract Computing Machines By Werner Kluge
Abstract Computing Machinesby Werner Kluge
New
$100.49
Simulation Algorithms for Computational Systems Biology By Luca Marchetti
Simulation Algorithms for Computational Systems Biologyby Luca Marchetti
New
$77.09
Modelling Distributed Systems By Wan Fokkink
Modelling Distributed Systemsby Wan Fokkink
New
$69.69
Modelling Distributed Systems By Wan Fokkink
Modelling Distributed Systemsby Wan Fokkink
New
$61.09
Algorithmics for Hard Problems By Juraj Hromkovic
Algorithmics for Hard Problemsby Juraj Hromkovic
New
$75.19
Design and Analysis of Randomized Algorithms By I. Zamecnikova
Design and Analysis of Randomized Algorithmsby I. Zamecnikova
New
$55.09
Parameterized Complexity Theory By J. Flum
Parameterized Complexity Theoryby J. Flum
New
$93.09
Introduction to Process Algebra By Wan Fokkink
Introduction to Process Algebraby Wan Fokkink
New
$72.09
The Resolution Calculus By Alexander Leitsch
The Resolution Calculusby Alexander Leitsch
New
$74.49