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 Shipping in Australia
Trustpilot
Proud to be B-Corp

Progress in Computer Science and Applied Logic Books

Temporal Type Theory By Patrick Schultz
Temporal Type Theoryby Patrick Schultz
New
$147.59
inc. GST
Automata Theory and its Applications By Bakhadyr Khoussainov
Automata Theory and its Applicationsby Bakhadyr Khoussainov
New
$140.59
inc. GST
An Introduction to Quantum Computing Algorithms By Arthur O. Pittenger
An Introduction to Quantum Computing Algorithmsby Arthur O. Pittenger
New
$173.89
inc. GST
The Evolution of Programs By DERSHOWITZ
The Evolution of Programsby DERSHOWITZ
New
$134.19
inc. GST
Learning and Geometry: Computational Approaches By David Kueker
Learning and Geometry: Computational Approachesby David Kueker
New
$233.29
inc. GST
An Introduction to Quantum Computing Algorithms By Arthur O. Pittenger
An Introduction to Quantum Computing Algorithmsby Arthur O. Pittenger
New
$142.19
inc. GST
Graph-Based Proof Procedures for Horn Clauses By RAATZ
Graph-Based Proof Procedures for Horn Clausesby RAATZ
New
$135.89
inc. GST
Applied Probability-Computer Science: The Interface Volume 1 By Ralph L. Disney
Applied Probability-Computer Science: The Interface Volume 1by Ralph L. Disney
New
$146.59
inc. GST
Applied Probability-Computer Science: The Interface Volume 1 By R.L. Disney
Applied Probability-Computer Science: The Interface Volume 1by R.L. Disney
New
$145.59
inc. GST
Logical Methods By John N. Crossley
Logical Methodsby John N. Crossley
New
$383.39
inc. GST
Bounded Queries in Recursion Theory By William Levine
Bounded Queries in Recursion Theoryby William Levine
New
$260.79
inc. GST
A Graph-Theoretic Approach to Enterprise Network Dynamics By Horst Bunke
A Graph-Theoretic Approach to Enterprise Network Dynamicsby Horst Bunke
New
$255.99
inc. GST
Bounded Queries in Recursion Theory By William Levine
Bounded Queries in Recursion Theoryby William Levine
New
$155.09
inc. GST
Feasible Mathematics By S.R. Buss
Feasible Mathematicsby S.R. Buss
New
$138.39
inc. GST
Real-Time Control of Walking By M.D. Donner
Real-Time Control of Walkingby M.D. Donner
New
$138.49
inc. GST
A Proof Theory for General Unification By W. Snyder
A Proof Theory for General Unificationby W. Snyder
New
$135.79
inc. GST
Automata Theory and its Applications By Bakhadyr Khoussainov
Automata Theory and its Applicationsby Bakhadyr Khoussainov
New
$145.19
inc. GST
Applied Probability- Computer Science: The Interface By Ralph L. Disney
Applied Probability- Computer Science: The Interfaceby Ralph L. Disney
New
$179.89
inc. GST
Lecture Notes on Bucket Algorithms By DEVROYE
Lecture Notes on Bucket Algorithmsby DEVROYE
New
$134.29
inc. GST