Cambridge Tracts in Theoretical Computer Science
- Managing Editor: C. J. van Rijsbergen, University of Glasgow
- Editorial board: S. Abramsky, Oxford University, P. H. Aczel, University of Manchester, J. W. de Bakker, Centrum voor Wiskunde en Informatica, Amsterdam, Y. Gurevich, Microsoft Research, J. V. Tucker, University College of Swansea
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 47 titles in this series
Sort by:
These titles are sorted by publication date (descending)
Domains and Lambda-Calculi
- Paperback (ISBN-13: 9780521062923)
- Subject: Programming languages and applied logic
- Manufactured on demand: supplied direct from the printer
- £52.00
Epistemic Logic for AI and Computer Science
- Paperback (ISBN-13: 9780521602808)
- Subject: Programming languages and applied logic
- Manufactured on demand: supplied direct from the printer
- £41.00
Design Theory and Computer Science
- Paperback (ISBN-13: 9780521118156)
- Subject: Computing and society
- Manufactured on demand: supplied direct from the printer
- £46.00
Deductive and Declarative Programming
- Paperback (ISBN-13: 9780521032513)
- Subject: Programming languages and applied logic
- Manufactured on demand: supplied direct from the printer
- £35.00
Computational Learning Theory
- Paperback (ISBN-13: 9780521599221)
- Subject: Pattern recognition and machine learning
- Manufactured on demand: supplied direct from the printer
- £23.99
Formal Semantics and Pragmatics for Natural Language Querying
- Paperback (ISBN-13: 9780521602747)
- Subject: Programming languages and applied logic
- Manufactured on demand: supplied direct from the printer
- £38.00
Formal Methods in Artificial Intelligence
- Paperback (ISBN-13: 9780521424219)
- Subject: Programming languages and applied logic
- Manufactured on demand: supplied direct from the printer
- £33.00
Extensions of First-Order Logic
- Paperback (ISBN-13: 9780521019026)
- Subject: Programming languages and applied logic
- Manufactured on demand: supplied direct from the printer
- £47.00
Formal Specification and Design
- Paperback (ISBN-13: 9780521435925)
- Subject: Programming languages and applied logic
- Manufactured on demand: supplied direct from the printer
- £41.00
Higher Order Logic and Hardware Verification
- Paperback (ISBN-13: 9780521115322)
- Subject: Programming languages and applied logic
- Manufactured on demand: supplied direct from the printer
- £24.99