Cambridge Tracts in Theoretical Computer Science
- Associate Editor: S. Abramsky, Oxford University
- Editorial board: P. H. Aczel, University of Manchester, Y. Gurevich, Microsoft Research, J. V. Tucker, Swansea University
This series offers books on theoretical computer science, that part of computer science concerned with fundamental mathematical questions about computers, programs, algorithms, data, and information processing systems in general. Computers and programs are inherently mathematical objects, and an understanding of their mathematical basis is essential to the appreciation of the foundations of computer science.The series covers the complete field of theoretical computer science, including mathematical foundations of computer science, formal methods of reasoning about programs and data, and formal semantics of programs and data, including formal semantics for natural language, pictures, and sound.
Series book listing
There are 49 titles in this series
Sort by:
These titles are sorted by publication date (descending)
Nominal Sets
Names and Symmetry in Computer Science
- Hardback (ISBN-13: 9781107017788)
- Publication date: c.July 2013
- Subject: Programming languageprogramming languages and applied logic
Series Cambridge Tracts in Theoretical Computer Science
(No. 57)
- Not yet published - available from June 2013
- $95.00 (Z)
Nonmonotonic Reasoning
Logical Foundations of Commonsense
- Paperback (ISBN-13: 9780521181303)
- Publication date: March 2012
- Subject: Programming languageprogramming languages and applied logic
View other formats:
Series Cambridge Tracts in Theoretical Computer Science
(No. 12)
- Available
- $42.00 (Z)
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
- Paperback (ISBN-13: 9780521169325)
- Publication date: January 2012
- Subject: Programming languageprogramming languages and applied logic
View other formats:
Series Cambridge Tracts in Theoretical Computer Science
(No. 54)
- Available
- $95.00 (Z)
Advanced Topics in Bisimulation and Coinduction
- Hardback (ISBN-13: 9781107004979)
- Publication date: November 2011
- Subject: Distributed networked and mobile computing
View other formats:
Series Cambridge Tracts in Theoretical Computer Science
(No. 52)
- In stock
- $99.00 (Z)
Process Algebra: Equational Theories of Communicating Processes
- Hardback (ISBN-13: 9780521820493)
- Publication date: December 2009
- Subject: Programming languageprogramming languages and applied logic
View other formats:
Series Cambridge Tracts in Theoretical Computer Science
(No. 50)
- In stock
- $99.00 (C)
Hybrid Graph Theory and Network Analysis
- Paperback (ISBN-13: 9780521106597)
- Publication date: September 2009
- Subject: Algorithmics complexity computer algebra and computational geometry
View other formats:
Series Cambridge Tracts in Theoretical Computer Science
(No. 49)
- Available
- $31.99 (Z)
Design Theory and Computer Science
- Paperback (ISBN-13: 9780521118156)
- Publication date: August 2009
- Subject: Computing and society
View other formats:
Series Cambridge Tracts in Theoretical Computer Science
(No. 15)
- Available
- $89.00 (Z)
A Unifying Framework for Structured Analysis and Design Models
An Approach Using Initial Algebra Semantics and Category Theory
- Paperback (ISBN-13: 9780521117876)
- Publication date: July 2009
- Subject: Programming languageprogramming languages and applied logic
View other formats:
Series Cambridge Tracts in Theoretical Computer Science
(No. 11)
- Available
- $31.99 (Z)
The Clausal Theory of Types
- Paperback (ISBN-13: 9780521117906)
- Publication date: July 2009
- Subject: Programming languageprogramming languages and applied logic
View other formats:
Series Cambridge Tracts in Theoretical Computer Science
(No. 21)
- Available
- $30.99 (Z)
Higher Order Logic and Hardware Verification
- Paperback (ISBN-13: 9780521115322)
- Publication date: July 2009
- Subject: Programming languageprogramming languages and applied logic
View other formats:
Series Cambridge Tracts in Theoretical Computer Science
(No. 31)
- Available
- $49.00 (Z)