Cambridge Tracts In Theoretical Computer Science Series

New Releases

Language

Ebook Format

DRM

1 - 10 of 38 results

Algorithmic Information Theory
Cambridge University Press (2004)
US$50.00

Expounds Gödel's incompleteness theorey using an information theoretic approach based on the size of...

Logic and Computation: Interactive Proof with Cambridge LCF

Logic and Computation

Interactive Proof with Cambridge LCF

Cambridge University Press (1990)
US$62.00

This book is concerned with techniques for formal theorem-proving, with particular reference to...

Formal Semantics and Pragmatics for Natural Language Querying
Cambridge University Press (2004)
US$48.00

Connects the semantics of databases to that of natural language, and links them through a common...

Updating Logical Databases
Cambridge University Press (2005)
US$38.00

The book will be of value to all involved in database research.

Theoretical Foundations of VLSI Design
Cambridge University Press (2003)
US$64.00

Recent research on the physical technologies of very large scale integration (VLSI).

A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory

A Unifying Framework for Structured Analysis and Design Models

An Approach Using Initial Algebra Semantics and Category Theory

Cambridge University Press (1991)
US$33.00

In this 1991 book, Dr Tse proposes a unifying framework behind popular structured models in...

Design Theory and Computer Science
Cambridge University Press (1991)
US$82.00

The logic and methodology of design is examined in this book from the perspective of computer...

Applications of Process Algebra
Cambridge University Press (2005)
US$99.00

This book gives applications of the theory of process algebra. or Algebra of Comunicating Processes...

The Clausal Theory of Types
Cambridge University Press (1993)
US$33.00

In this book is presented the theoretical foundation of a higher-order logic programming language...

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship

Nets, Terms and Formulas

Three Views of Concurrent Processes and their Relationship

Cambridge University Press (1991)
US$45.00

The author presents a theory whereby nets, terms and formulas represent concurrent processes at...