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

Extremal Combinatorics By Stasys Jukna
Extremal Combinatoricsby Stasys Jukna
New
128,29 $
Decision Procedures By Daniel Kroening
Decision Proceduresby Daniel Kroening
New
57,39 $
Decision Procedures By Daniel Kroening
Decision Proceduresby Daniel Kroening
New
41,69 $
Interactive Theorem Proving and Program Development By Yves Bertot
Interactive Theorem Proving and Program Developmentby Yves Bertot
New
92,99 $
Theoretical Computer Science By Juraj Hromkovic
Theoretical Computer Scienceby Juraj Hromkovic
Very Good
111,01 $
Faster Shipping
Universal Artificial Intelligence By Marcus Hutter
Universal Artificial Intelligenceby Marcus Hutter
New
127,69 $
Boolean Functions and Computation Models By Peter Clote
Boolean Functions and Computation Modelsby Peter Clote
Very Good
139,99 $
Interactive Theorem Proving and Program Development By Yves Bertot
Interactive Theorem Proving and Program Developmentby Yves Bertot
New
158,79 $
Decision Procedures By Daniel Kroening
Decision Proceduresby Daniel Kroening
Like New
58,99 $
Formal Methods for Software Engineering By Markus Roggenbach
Formal Methods for Software Engineeringby Markus Roggenbach
New
58,59 $
Universal Artificial Intelligence By Marcus Hutter
Universal Artificial Intelligenceby Marcus Hutter
New
110,19 $
Elements of Finite Model Theory By Leonid Libkin
Elements of Finite Model Theoryby Leonid Libkin
New
131,79 $
Temporal Logic and State Systems By Fred Kroger
Temporal Logic and State Systemsby Fred Kroger
New
98,69 $
The Complexity Theory Companion By Lane A. Hemaspaandra
The Complexity Theory Companionby Lane A. Hemaspaandra
Good
55,65 $
Faster Shipping
Computable Analysis By Klaus Weihrauch
Computable Analysisby Klaus Weihrauch
New
73,79 $
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 $
Information and Randomness By Cristian S. Calude
Information and Randomnessby Cristian S. Calude
New
83,79 $
Formal Methods for Software Engineering By Markus Roggenbach
Formal Methods for Software Engineeringby Markus Roggenbach
New
62,69 $
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 $
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 $
Introduction to Process Algebra By Wan Fokkink
Introduction to Process Algebraby Wan Fokkink
New
73,49 $
Abstract Computing Machines By Werner Kluge
Abstract Computing Machinesby Werner Kluge
New
100,49 $
DNA Computing By Gheorghe Paun
DNA Computingby Gheorghe Paun
New
106,49 $
The Complexity Theory Companion By Lane A. Hemaspaandra
The Complexity Theory Companionby Lane A. Hemaspaandra
New
67,99 $
Modelling Distributed Systems By Wan Fokkink
Modelling Distributed Systemsby Wan Fokkink
New
69,69 $
Simulation Algorithms for Computational Systems Biology By Luca Marchetti
Simulation Algorithms for Computational Systems Biologyby Luca Marchetti
New
79,19 $
Modelling Distributed Systems By Wan Fokkink
Modelling Distributed Systemsby Wan Fokkink
New
60,59 $
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 $