My Account
Log in
Registration
Wishlists
Help
All
All
Books
Rare Books
DVD & Blu-Ray
Music
Video games
No elements found. Consider changing the search query.
List is empty.
Search
Search
Cart
Highlights
Fiction Books
Non-Fiction Books
Children's Books
Rare Books
Music
DVD & Blu-Ray
Video Games
Category
Wishlists
Cart
My Account
All
All
Books
Rare Books
DVD & Blu-Ray
Music
Video games
No elements found. Consider changing the search query.
List is empty.
Search
Search
Free Shipping in Australia
Trustpilot
Proud to be B-Corp
Home
Texts in Theoretical Computer Science. An EATCS Books
Texts in Theoretical Computer Science. An EATCS Books
Formal Methods for Software Engineering
by Markus Roggenbach
New
$117.49
inc. GST
Add to cart
Interactive Theorem Proving and Program Development
by Yves Bertot
New
$286.79
inc. GST
Add to cart
Decision Procedures
by Daniel Kroening
New
$107.59
inc. GST
Add to cart
Elements of Finite Model Theory
by Leonid Libkin
New
$249.19
inc. GST
Add to cart
The Resolution Calculus
by Alexander Leitsch
New
$135.29
inc. GST
Add to cart
Decision Procedures
by Daniel Kroening
Like New
$130.99
inc. GST
Add to cart
Models of Computation
by Roberto Bruni
New
$87.19
inc. GST
Add to cart
Universal Artificial Intelligence
by Marcus Hutter
New
$229.59
inc. GST
Add to cart
Extremal Combinatorics
by Stasys Jukna
New
$234.49
inc. GST
Add to cart
Parameterized Complexity Theory
by J. Flum
New
$164.89
inc. GST
Add to cart
Temporal Logic and State Systems
by Fred Kroger
New
$181.59
inc. GST
Add to cart
Decision Procedures
by Daniel Kroening
New
$80.19
inc. GST
Add to cart
Information and Randomness
by Cristian S. Calude
New
$207.69
inc. GST
Add to cart
Introduction to Circuit Complexity
by Heribert Vollmer
New
$171.89
inc. GST
Add to cart
Universal Artificial Intelligence
by Marcus Hutter
New
$190.19
inc. GST
Add to cart
Introduction to Process Algebra
by Wan Fokkink
New
$131.99
inc. GST
Add to cart
The Complexity Theory Companion
by Lane A. Hemaspaandra
Very Good
$156.99
inc. GST
Add to cart
Theoretical Computer Science
by Juraj Hromkovic
New
$256.69
inc. GST
Add to cart
Boolean Functions and Computation Models
by Peter Clote
New
$199.49
inc. GST
Add to cart
Computable Analysis
by Klaus Weihrauch
Very Good
$93.99
inc. GST
Add to cart
Information and Randomness
by Cristian S. Calude
New
$158.09
inc. GST
Add to cart
Interactive Theorem Proving and Program Development
by Yves Bertot
New
$164.59
inc. GST
Add to cart
The Complexity Theory Companion
by Lane A. Hemaspaandra
New
$120.39
inc. GST
Add to cart
Algorithmics for Hard Problems
by Juraj Hromkovic
New
$135.59
inc. GST
Add to cart
Formal Methods for Software Engineering
by Markus Roggenbach
New
$112.39
inc. GST
Add to cart
Verification of Reactive Systems
by Klaus Schneider
New
$150.09
inc. GST
Add to cart
Abstract Computing Machines
by Werner Kluge
New
$175.59
inc. GST
Add to cart
Software Engineering 2
by Dines Bjorner
New
$186.79
inc. GST
Add to cart
Simulation Algorithms for Computational Systems Biology
by Luca Marchetti
New
$192.79
inc. GST
Add to cart
Modelling Distributed Systems
by Wan Fokkink
New
$121.79
inc. GST
Add to cart
Modelling Distributed Systems
by Wan Fokkink
New
$111.29
inc. GST
Add to cart
Elements of Finite Model Theory
by Leonid Libkin
New
$191.09
inc. GST
Add to cart
Design and Analysis of Randomized Algorithms
by I. Zamecnikova
New
$97.19
inc. GST
Add to cart
Theoretical Computer Science
by Juraj Hromkovic
New
$212.69
inc. GST
Add to cart
Introduction to Process Algebra
by Wan Fokkink
New
$125.79
inc. GST
Add to cart
Complexity Theory and Cryptology
by Joerg Rothe
New
$184.89
inc. GST
Add to cart
DNA Computing
by Gheorghe Paun
New
$185.89
inc. GST
Add to cart