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 Theoretical Computer Science Books

Neural Networks and Analog Computation By Hava T. Siegelmann
Neural Networks and Analog Computationby Hava T. Siegelmann
Good
$46.97
Faster Shipping
Finite Automata, Formal Logic, and Circuit Complexity By Howard Straubing
Finite Automata, Formal Logic, and Circuit Complexityby Howard Straubing
New
$142.99
Algorithms for Random Generation and Counting: A Markov Chain Approach By A. Sinclair
Algorithms for Random Generation and Counting: A Markov Chain Approachby A. Sinclair
New
$142.49
Algol-like Languages By Peter O'Hearn
Algol-like Languagesby Peter O'Hearn
New
$143.89
The Graph Isomorphism Problem By J. Kobler
The Graph Isomorphism Problemby J. Kobler
New
$142.29
The Combinatory Programme By K. Aberer
The Combinatory Programmeby K. Aberer
New
$142.79
Interpolating Cubic Splines By Gary D. Knott
Interpolating Cubic Splinesby Gary D. Knott
Very Good
$13.01
Faster Shipping
Semantics of Type Theory By T. Streicher
Semantics of Type Theoryby T. Streicher
New
$103.79
Object-Oriented Programming A Unified Foundation By Giuseppe Castagna
Object-Oriented Programming A Unified Foundationby Giuseppe Castagna
New
$143.89
Neural Networks and Analog Computation By Hava T. Siegelmann
Neural Networks and Analog Computationby Hava T. Siegelmann
New
$186.99
Polynomial and Matrix Computations By Dario Bini
Polynomial and Matrix Computationsby Dario Bini
New
$204.29
Categorical Combinators, Sequential Algorithms, and Functional Programming By P.-L. Curien
Categorical Combinators, Sequential Algorithms, and Functional Programmingby P.-L. Curien
New
$111.09
Algol-like Languages By Peter O'Hearn
Algol-like Languagesby Peter O'Hearn
New
$143.29
Finite Automata, Formal Logic, and Circuit Complexity By Howard Straubing
Finite Automata, Formal Logic, and Circuit Complexityby Howard Straubing
New
$135.49
Algol-like Languages By Peter O'Hearn
Algol-like Languagesby Peter O'Hearn
New
$135.99
Logic of Domains By G. Zhang
Logic of Domainsby G. Zhang
New
$143.09
Polynomial and Matrix Computations By Dario Bini
Polynomial and Matrix Computationsby Dario Bini
New
$149.89
The Graph Isomorphism Problem By J. Kobler
The Graph Isomorphism Problemby J. Kobler
New
$122.99
Categorical Combinators, Sequential Algorithms, and Functional Programming By P.-L. Curien
Categorical Combinators, Sequential Algorithms, and Functional Programmingby P.-L. Curien
New
$144.19
Solving Higher-Order Equations By Christian Prehofer
Solving Higher-Order Equationsby Christian Prehofer
New
$109.39
Subrecursive Programming Systems By James S. Royer
Subrecursive Programming Systemsby James S. Royer
New
$143.09
The Combinatory Programme By Erwin Engeler
The Combinatory Programmeby Erwin Engeler
New
$102.59
Canonical Equational Proofs By Bachmair
Canonical Equational Proofsby Bachmair
New
$74.59
H-Infinity Control for Distributed Parameter Systems By Bert van Keulen (University of Groningen, Netherlands)
H-Infinity Control for Distributed Parameter Systemsby Bert van Keulen (University of Groningen, Netherlands)
New
$112.79
Comparative Metric Semantics of Programming Languages By Franck van Breughel
Comparative Metric Semantics of Programming Languagesby Franck van Breughel
New
$143.29
Solving Higher-Order Equations By Christian Prehofer
Solving Higher-Order Equationsby Christian Prehofer
New
$142.99
Comparative Metric Semantics of Programming Languages By Franck van Breughel
Comparative Metric Semantics of Programming Languagesby Franck van Breughel
New
$109.69
Complexity Theory of Real Functions By K. Ko
Complexity Theory of Real Functionsby K. Ko
New
$99.99
Logic of Domains By G. Zhang
Logic of Domainsby G. Zhang
New
$105.49
Subrecursive Programming Systems By James S. Royer
Subrecursive Programming Systemsby James S. Royer
New
$103.39