Series: Handbook of Theoretical Computer Science

Theoretical Computer Science provides the foundations for understanding and using the concepts and mechanisms of computing and information processing. This unique Handbook addresses the central areas of Theoretical Computer Science, providing professionals and students with a comprehensive overview of the main results and developments in this evolving field. It consists of 37 chapters written by leading American and European researchers, and is ideally suited for study and reference. The organization of each volume reflects the development of Theoretical Computer Science from its classical roots up to modern theoretical approaches to, for example, parallel and distributed computing. Extensive bibliographies and a subject index are included in each volume.
Book Series: Formal Models and Semantics

Most recent volume


Volume B. Formal Models and Semantics

Published: 24th October 1990 Author: Bozzano Luisa
The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.

Additional volumes


Volume A. Algorithms and Complexity

Published: 12th September 1990 Author: Bozzano Luisa