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

Progress in Computer Science and Applied Logic Books

A Proof Theory for General Unification By W. Snyder
A Proof Theory for General Unificationby W. Snyder
New
$74.59
Temporal Type Theory By Patrick Schultz
Temporal Type Theoryby Patrick Schultz
New
$83.59
An Introduction to Quantum Computing Algorithms By Arthur O. Pittenger
An Introduction to Quantum Computing Algorithmsby Arthur O. Pittenger
Good
$15.88
Faster Shipping
Automata Theory and its Applications By Bakhadyr Khoussainov
Automata Theory and its Applicationsby Bakhadyr Khoussainov
New
$76.59
Real-Time Control of Walking By M.D. Donner
Real-Time Control of Walkingby M.D. Donner
New
$75.19
Applied Probability-Computer Science: The Interface Volume 1 By Ralph L. Disney
Applied Probability-Computer Science: The Interface Volume 1by Ralph L. Disney
New
$76.89
The Evolution of Programs By DERSHOWITZ
The Evolution of Programsby DERSHOWITZ
New
$74.19
Learning and Geometry: Computational Approaches By David Kueker
Learning and Geometry: Computational Approachesby David Kueker
New
$135.89
An Introduction to Quantum Computing Algorithms By Arthur O. Pittenger
An Introduction to Quantum Computing Algorithmsby Arthur O. Pittenger
New
$83.19
Graph-Based Proof Procedures for Horn Clauses By RAATZ
Graph-Based Proof Procedures for Horn Clausesby RAATZ
New
$74.59
Applied Probability-Computer Science: The Interface Volume 1 By R.L. Disney
Applied Probability-Computer Science: The Interface Volume 1by R.L. Disney
New
$76.69
Logical Methods By John N. Crossley
Logical Methodsby John N. Crossley
New
$207.89
Bounded Queries in Recursion Theory By William Levine
Bounded Queries in Recursion Theoryby William Levine
New
$143.89
A Graph-Theoretic Approach to Enterprise Network Dynamics By Horst Bunke
A Graph-Theoretic Approach to Enterprise Network Dynamicsby Horst Bunke
New
$142.89
Automata Theory and its Applications By Bakhadyr Khoussainov
Automata Theory and its Applicationsby Bakhadyr Khoussainov
New
$75.49
Bounded Queries in Recursion Theory By William Levine
Bounded Queries in Recursion Theoryby William Levine
New
$88.69
Feasible Mathematics By S.R. Buss
Feasible Mathematicsby S.R. Buss
New
$75.09
Applied Probability- Computer Science: The Interface By Ralph L. Disney
Applied Probability- Computer Science: The Interfaceby Ralph L. Disney
New
$101.59
Lecture Notes on Bucket Algorithms By DEVROYE
Lecture Notes on Bucket Algorithmsby DEVROYE
New
$74.29