Sort by:
1.
Algorithmic Information Theory by Gregory J. Chaitin, Samson Abramsky (Editor) , C. J. Van Rijsbergen (Editor)
Paperback
Usually ships within 24 hours
Expounds Gödel's incompleteness theorey using an information theoretic approach based on the size of computer programs. More
- Online price: $43.00Member price: $38.70(Save 9%)Limited Time Offer! Everyone receives the Member Price on books.
See Details
2.
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Sciences 43) : Second Edition by Anne S. Troelstra, A. S. Troelstra, H. Schwichtenberg
Paperback - Subsequent
Usually ships within 24 hours
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. More
- Online price: $43.00Member price: $38.70(Save 9%)Limited Time Offer! Everyone receives the Member Price on books.
See Details
3.
Action Semantics by Peter D. Mosses, Samson Abramsky (Editor) , C. J. Van Rijsbergen (Editor)
Paperback
Usually ships within 24 hours
Action Semantics is a comprehensive introduction to the semantics of programming languages. It will be of use to graduates of computer science and mathematics. More
- Online price: $75.00Member price: $67.50(Save 10%)Limited Time Offer! Everyone receives the Member Price on books.
See Details
4.
Algebraic Specification Of Communication Protocols by S. Mauw (Editor)
Paperback
Usually ships within 24 hours
In this book the authors use the formal specification language PSF to provide descriptions of several communication protocols. More
- Online price: $45.00Member price: $40.50(Save 10%)Limited Time Offer! Everyone receives the Member Price on books.
See Details
5.
Applications of Process Algebra by J. C. M. Baeten (Editor) , Samson Abramsky (Editor) , C. J. Van Rijsbergen (Editor)
Paperback
Usually ships within 24 hours
This book gives applications of the theory of process algebra. or Algebra of Comunicating Processes (ACS). More
- Online price: $95.00Member price: $85.50(Save 10%)Limited Time Offer! Everyone receives the Member Price on books.
See Details
6.
Basic Simple Type Theory by J. Roger Hindley
Paperback
Usually ships within 24 hours
An introduction to type theory for computer scientists. More
- Online price: $37.99Member price: $34.19(Save 10%)Limited Time Offer! Everyone receives the Member Price on books.
See Details
7.
Basic Simple Type Theory, Vol. 42 by J. Roger Hindley, Roger J. Hindley, C. J. Van Rijsbergen (Editor)
Hardcover
Usually ships within 24 hours
An introduction to type theory for computer scientists. More
- Online price: $100.00Member price: $80.00(Save 20%)Limited Time Offer! Everyone receives the Member Price on books.
See Details
8.
Belief Revision by Peter Gardenfors (Editor) , Samson Abramsky (Editor) , C. J. Van Rijsbergen (Editor)
Paperback
Usually ships within 24 hours
This book contains a collection of research articles on belief revision that are right up to date and an introductory chapter that presents a survey of current research in ... More
- Online price: $65.00Member price: $58.50(Save 10%)Limited Time Offer! Everyone receives the Member Price on books.
See Details
9.
The Clausal Theory of Types by D. A. Wolfram
Paperback
Usually ships within 24 hours
In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types. More
- Online price: $26.99Member price: $24.29(Save 10%)Limited Time Offer! Everyone receives the Member Price on books.
See Details
10.
Computational Learning Theory by M. H. G. Anthony, Norman L. Biggs, C. J. Van Rijsbergen (Editor)
Paperback
Usually ships within 2-3 days
This an introduction to the theory of computational learning. More
- Online price: $37.99Member price: $34.19(Save 10%)Limited Time Offer! Everyone receives the Member Price on books.
See Details
Sort by:
Enter a zip code:
You are looking at:
Cambridge Tracts in Theoretical Computer Science Series
Related Categories
Format
Show Me
Price Range
Recent Searches
Recently Viewed
- Pharmacology for Nursing CareRichard A. Lehne - Hardcover - Older Edition
- For One More DayMitch Albom - Paperback - Reprint
- My LobotomyHoward Dully - Book
- Russia and the ArabsYevgeny Primakov - Book