Cambridge Series   View basketHelp
Home > Series > Academic > Computer science > Cambridge Tracts in Theoretical Computer Science

Cambridge Tracts in Theoretical Computer Science

Back to Computer science

Editors: S. Abramsky, P. H. Aczel, Y. Gurevich, J. V. Tucker

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.

Sort by:  Title | Author | Publication Date | Series Number

There are 117 books in this series...

[11] A Unifying Framework for Structured Analysis and Design Models

An Approach Using Initial Algebra Semantics and Category Theory

  • T. H. Tse
  • Hardback | Published May 1991
  • Manufactured on demand: supplied direct from the printer | $134.00

[11] A Unifying Framework for Structured Analysis and Design Models

An Approach Using Initial Algebra Semantics and Category Theory

  • T. H. Tse
  • Paperback | Published July 2009
  • Manufactured on demand: supplied direct from the printer | $40.99

[26] Action Semantics

  • Peter D. Mosses
  • Paperback | Published February 2005
  • Manufactured on demand: supplied direct from the printer | $76.00

[52] Advanced Topics in Bisimulation and Coinduction

  • Edited by Davide Sangiorgi, Jan Rutten
  • Hardback | Published November 2011
  • In stock | $113.00 | Add to basket

[36] Algebraic Specification of Communication Protocols

  • Edited by S. Mauw, G. J. Veltink
  • Paperback | Published December 2008
  • Manufactured on demand: supplied direct from the printer | $62.00

[1] Algorithmic Information Theory

  • Gregory. J. Chaitin
  • Paperback | Published December 2004
  • Manufactured on demand: supplied direct from the printer | $62.00

[17] Applications of Process Algebra

  • Edited by J. C. M. Baeten
  • Paperback | Published February 2005
  • Manufactured on demand: supplied direct from the printer | $124.00

[43] Basic Proof Theory

2nd Edition

  • A. S. Troelstra, H. Schwichtenberg
  • Paperback | Published July 2000
  • Manufactured on demand: supplied direct from the printer | $62.00

[42] Basic Simple Type Theory

  • J. Roger Hindley
  • Hardback | Published August 1997
  • Manufactured on demand: supplied direct from the printer | $129.00

[42] Basic Simple Type Theory

  • J. Roger Hindley
  • Paperback | Published January 2008
  • Manufactured on demand: supplied direct from the printer | $45.99

[29] Belief Revision

  • Edited by Peter Gärdenfors
  • Paperback | Published December 2003
  • Manufactured on demand: supplied direct from the printer | $84.99

[30] Computational Learning Theory

  • M. H. G. Anthony, N. Biggs
  • Paperback | Published March 1997
  • Manufactured on demand: supplied direct from the printer | $51.00

[54] Concurrency Verification

Introduction to Compositional and Non-compositional Methods

  • Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
  • Hardback | Published November 2001
  • Manufactured on demand: supplied direct from the printer | $340.00

[54] Concurrency Verification

Introduction to Compositional and Non-compositional Methods

  • Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
  • Paperback | Published January 2012
  • Manufactured on demand: supplied direct from the printer | $108.00

[47] Data Refinement

Model-Oriented Proof Methods and their Comparison

  • Willem-Paul de Roever, Kai Engelhardt
  • Hardback | Published January 1999
  • Manufactured on demand: supplied direct from the printer | $154.00

[47] Data Refinement

Model-Oriented Proof Methods and their Comparison

  • Willem-Paul de Roever, Kai Engelhardt
  • Paperback | Published December 2008
  • Manufactured on demand: supplied direct from the printer | $76.00

[28] Deductive and Declarative Programming

  • Peter Padawitz
  • Paperback | Published November 2006
  • Manufactured on demand: supplied direct from the printer | $56.00

[51] Derivation and Computation

Taking the Curry-Howard Correspondence Seriously

  • H. Simmons
  • Hardback | Published May 2000
  • Manufactured on demand: supplied direct from the printer | $168.00

[15] Design Theory and Computer Science

  • Subrata Dasgupta
  • Hardback | Published May 1991
  • Manufactured on demand: supplied direct from the printer | $221.00

[15] Design Theory and Computer Science

  • Subrata Dasgupta
  • Paperback | Published August 2009
  • Manufactured on demand: supplied direct from the printer | $103.00

[46] Domains and Lambda-Calculi

  • Roberto M. Amadio, Pierre-Louis Curien
  • Hardback | Published August 1998
  • Manufactured on demand: supplied direct from the printer | $206.00

[46] Domains and Lambda-Calculi

  • Roberto M. Amadio, Pierre-Louis Curien
  • Paperback | Published May 2008
  • Manufactured on demand: supplied direct from the printer | $88.00

[41] Epistemic Logic for AI and Computer Science

  • J.-J. Ch. Meyer, W. van der Hoek
  • Paperback | Published March 2004
  • Manufactured on demand: supplied direct from the printer | $89.99

[19] Extensions of First-Order Logic

  • Maria Manzano
  • Paperback | Published August 2005
  • Manufactured on demand: supplied direct from the printer | $98.99

[6] Formal Methods in Artificial Intelligence

  • Allan M. Ramsay
  • Paperback | Published July 1991
  • Manufactured on demand: supplied direct from the printer | $56.00

[8] Formal Semantics and Pragmatics for Natural Language Querying

  • James Clifford
  • Paperback | Published March 2004
  • Manufactured on demand: supplied direct from the printer | $60.00

[35] Formal Specification and Design

  • L. M. G. Feijs, H. B. M. Jonkers
  • Paperback | Published November 2005
  • Manufactured on demand: supplied direct from the printer | $72.00

[40] Free Choice Petri Nets

  • Jorg Desel, Javier Esparza
  • Paperback | Published September 2005
  • Manufactured on demand: supplied direct from the printer | $52.00

[31] Higher Order Logic and Hardware Verification

  • T. F. Melham
  • Hardback | Published November 1993
  • Manufactured on demand: supplied direct from the printer | $129.00

[31] Higher Order Logic and Hardware Verification

  • T. F. Melham
  • Paperback | Published July 2009
  • Manufactured on demand: supplied direct from the printer | $47.99

[49] Hybrid Graph Theory and Network Analysis

  • Ladislav Novak, Alan Gibbons
  • Hardback | Published September 1999
  • Manufactured on demand: supplied direct from the printer | $129.00

[49] Hybrid Graph Theory and Network Analysis

  • Ladislav Novak, Alan Gibbons
  • Paperback | Published September 2009
  • Manufactured on demand: supplied direct from the printer | $35.99

[44] Information Flow

The Logic of Distributed Systems

  • Jon Barwise, Jerry Seligman
  • Hardback | Published July 1997
  • Manufactured on demand: supplied direct from the printer | $113.00

[44] Information Flow

The Logic of Distributed Systems

  • Jon Barwise, Jerry Seligman
  • Paperback | Published August 2008
  • Manufactured on demand: supplied direct from the printer | $72.00

[59] Introduction to Coalgebra

Towards Mathematics of States and Observation

  • Bart Jacobs
  • Hardback | Published December 2016
  • Manufactured on demand: supplied direct from the printer | $155.00

[4] Lambda-calculus, Combinators and Functional Programming

  • G. E. Revesz
  • Paperback | Published June 2009
  • Manufactured on demand: supplied direct from the printer | $62.00

[2] Logic and Computation

Interactive Proof with Cambridge LCF

  • Lawrence C. Paulson
  • Paperback | Published July 1990
  • Manufactured on demand: supplied direct from the printer | $77.00

[22] Mathematical Theory of Domains

  • V. Stoltenberg-Hansen, I. Lindström, E. R. Griffor
  • Paperback | Published June 2008
  • Manufactured on demand: supplied direct from the printer | $87.99

[38] Metamathematics, Machines and Gödel's Proof

  • N. Shankar
  • Paperback | Published March 1997
  • Manufactured on demand: supplied direct from the printer | $52.00

[53] Modal Logic

  • Patrick Blackburn, Maarten de Rijke, Yde Venema
  • Paperback | Published September 2002
  • Manufactured on demand: supplied direct from the printer | $108.00

[23] Nets, Terms and Formulas

Three Views of Concurrent Processes and their Relationship

  • E. -R. Olderog
  • Hardback | Published October 1991
  • Manufactured on demand: supplied direct from the printer | $175.00

[23] Nets, Terms and Formulas

Three Views of Concurrent Processes and their Relationship

  • E. -R. Olderog
  • Paperback | Published August 2005
  • Manufactured on demand: supplied direct from the printer | $56.00

[57] Nominal Sets

Names and Symmetry in Computer Science

  • Andrew M. Pitts
  • Hardback | Published July 2013
  • In stock | $71.99 | Add to basket

[12] Nonmonotonic Reasoning

Logical Foundations of Commonsense

  • Gerhard Brewka
  • Hardback | Published January 1991
  • Manufactured on demand: supplied direct from the printer | $98.00

[12] Nonmonotonic Reasoning

Logical Foundations of Commonsense

  • Gerhard Brewka
  • Paperback | Published March 2012
  • Manufactured on demand: supplied direct from the printer | $51.00

[33] Predicate Transformer Semantics

  • Ernest. G. Manes
  • Paperback | Published December 2004
  • Manufactured on demand: supplied direct from the printer | $72.00

[50] Process Algebra: Equational Theories of Communicating Processes

  • J. C. M. Baeten, T. Basten, M. A. Reniers
  • Hardback | Published December 2009
  • In stock | $113.00 | Add to basket

[27] Programs, Recursion and Unbounded Choice

  • Wim H. Hesselink
  • Paperback | Published August 2005
  • Manufactured on demand: supplied direct from the printer | $67.00

[56] Rippling: Meta-Level Guidance for Mathematical Reasoning

  • Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland
  • Hardback | Published August 2005
  • In stock | $140.00 | Add to basket

[58] Temporal Logics in Computer Science

Finite-State Systems

  • Stéphane Demri, Valentin Goranko, Martin Lange
  • Hardback | Published December 2016
  • In stock | $120.00 | Add to basket

[55] Term Rewriting Systems

  • Terese
  • Hardback | Published April 2003
  • Manufactured on demand: supplied direct from the printer | $240.00

[21] The Clausal Theory of Types

  • D. A. Wolfram
  • Hardback | Published June 1993
  • Manufactured on demand: supplied direct from the printer | $88.00

[21] The Clausal Theory of Types

  • D. A. Wolfram
  • Paperback | Published July 2009
  • Manufactured on demand: supplied direct from the printer | $40.99

[32] The Logic of Typed Feature Structures

With Applications to Unification Grammars, Logic Programs and Constraint Resolution

  • Robert L. Carpenter
  • Paperback | Published November 2005
  • Manufactured on demand: supplied direct from the printer | $56.00

[45] The Optimal Implementation of Functional Programming Languages

  • Andrea Asperti, Stefano Guerrini
  • Hardback | Published January 1999
  • Manufactured on demand: supplied direct from the printer | $116.00

[39] The Uncertain Reasoner's Companion

A Mathematical Perspective

  • J. B. Paris
  • Paperback | Published November 2006
  • Manufactured on demand: supplied direct from the printer | $62.00

[10] Theoretical Foundations of VLSI Design

  • Edited by K. McEvoy, J. V. Tucker
  • Paperback | Published December 2003
  • Manufactured on demand: supplied direct from the printer | $80.00

[5] Topology via Logic

  • Steven Vickers
  • Paperback | Published September 1996
  • Manufactured on demand: supplied direct from the printer | $62.00

[34] Two-Level Functional Languages

  • Flemming Nielson, Hanne Riis Nielson
  • Hardback | Published July 1992
  • Manufactured on demand: supplied direct from the printer | $185.00

[34] Two-Level Functional Languages

  • Flemming Nielson, Hanne Riis Nielson
  • Paperback | Published August 2005
  • Manufactured on demand: supplied direct from the printer | $60.00

[3] Understanding Z

A Specification Language and its Formal Semantics

  • J. M. Spivey
  • Paperback | Published January 2008
  • Manufactured on demand: supplied direct from the printer | $45.99

[9] Updating Logical Databases

  • Marianne Winslett
  • Paperback | Published February 2005
  • Manufactured on demand: supplied direct from the printer | $47.99