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 the UK
Trustpilot
Proud to be B-Corp

Progress in Theoretical Computer Science Books

Solving Higher-Order Equations By Christian Prehofer
Solving Higher-Order Equationsby Christian Prehofer
New
£103.09
Neural Networks and Analog Computation By Hava T. Siegelmann
Neural Networks and Analog Computationby Hava T. Siegelmann
New
£135.89
Complexity Theory of Real Functions By K. Ko
Complexity Theory of Real Functionsby K. Ko
New
£70.89
Neural Networks and Analog Computation By Hava T. Siegelmann
Neural Networks and Analog Computationby Hava T. Siegelmann
New
£147.59
The Combinatory Programme By K. Aberer
The Combinatory Programmeby K. Aberer
New
£103.09
The Graph Isomorphism Problem By J. Kobler
The Graph Isomorphism Problemby J. Kobler
New
£88.09
Categorical Combinators, Sequential Algorithms, and Functional Programming By P.-L. Curien
Categorical Combinators, Sequential Algorithms, and Functional Programmingby P.-L. Curien
New
£103.09
Categorical Combinators, Sequential Algorithms, and Functional Programming By P.-L. Curien
Categorical Combinators, Sequential Algorithms, and Functional Programmingby P.-L. Curien
New
£78.49
Solving Higher-Order Equations By Christian Prehofer
Solving Higher-Order Equationsby Christian Prehofer
New
£78.49
Finite Automata, Formal Logic, and Circuit Complexity By Howard Straubing
Finite Automata, Formal Logic, and Circuit Complexityby Howard Straubing
New
£102.09
Subrecursive Programming Systems By James S. Royer
Subrecursive Programming Systemsby James S. Royer
New
£103.09
The Combinatory Programme By Erwin Engeler
The Combinatory Programmeby Erwin Engeler
New
£73.69
Object-Oriented Programming A Unified Foundation By Giuseppe Castagna
Object-Oriented Programming A Unified Foundationby Giuseppe Castagna
New
£103.09
Algol-like Languages By Peter O'Hearn
Algol-like Languagesby Peter O'Hearn
New
£102.09
Semantics of Type Theory By T. Streicher
Semantics of Type Theoryby T. Streicher
New
£73.69
Canonical Equational Proofs By Bachmair
Canonical Equational Proofsby Bachmair
New
£51.99
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
£79.79
Comparative Metric Semantics of Programming Languages By Franck van Breughel
Comparative Metric Semantics of Programming Languagesby Franck van Breughel
New
£102.09
Algol-like Languages By Peter O'Hearn
Algol-like Languagesby Peter O'Hearn
New
£102.09
Comparative Metric Semantics of Programming Languages By Franck van Breughel
Comparative Metric Semantics of Programming Languagesby Franck van Breughel
New
£78.49
Polynomial and Matrix Computations By Dario Bini
Polynomial and Matrix Computationsby Dario Bini
New
£147.59
Interpolating Cubic Splines By Gary D. Knott
Interpolating Cubic Splinesby Gary D. Knott
New
£82.09
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
£102.09
The Graph Isomorphism Problem By J. Kobler
The Graph Isomorphism Problemby J. Kobler
New
£102.09
Finite Automata, Formal Logic, and Circuit Complexity By Howard Straubing
Finite Automata, Formal Logic, and Circuit Complexityby Howard Straubing
New
£97.59
Polynomial and Matrix Computations By Dario Bini
Polynomial and Matrix Computationsby Dario Bini
New
£108.19
Logic of Domains By G. Zhang
Logic of Domainsby G. Zhang
New
£75.19
Subrecursive Programming Systems By James S. Royer
Subrecursive Programming Systemsby James S. Royer
New
£73.69
Logic of Domains By G. Zhang
Logic of Domainsby G. Zhang
New
£102.09
Algol-like Languages By Peter O'Hearn
Algol-like Languagesby Peter O'Hearn
New
£97.59