Handbook of Theoretical Computer Science
โ Jan van Leeuwen (ed.)
๐ Library
๐
1990
๐ Elsevier; MIT Press
๐ English
โฆ LIBER โฆ
๐
Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics
โ Scribed by Jan van Leeuwen (ed.)
- Publisher
- Elsevier; MIT Press
- Year
- 1992
- Tongue
- English
- Leaves
- 1264
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
Handbook of Theoretical Computer Science
โ Jan van Leeuwen (ed.)
๐ Library
๐
1990
๐ Elsevier; MIT Press
๐ English
Theoretical computer science provides the foundations for understanding and exploiting the concepts and mechanisms in computing and information processing. This handbook will provide professionals and students with a comprehensive overview of the ma
Handbook of Theoretical Computer Science
โ Jan van Leeuwen (ed.)
๐ Library
๐
1990
๐ Elsevier; MIT Press
๐ English
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.<br><br>
Handbook of Theoretical Computer Science
โ Jan van Leeuwen (ed.)
๐ Library
๐
1990
๐ Elsevier Science
๐ English
Handbook of Logic in Computer Science. V
โ Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
๐ Library
๐
1995
๐ Clarendon Press
๐ English
This handbook volume covers fundamental topics of semantic modelling in logic and computation. The chapters (some monographic in length), were written following years of coordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to
Handbook of Logic in Computer Science. V
โ Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)
๐ Library
๐
1995
๐ Clarendon Press
๐ English
<em>The Handbook of Logic in Computer Science</em> is a multi-volume work covering all the major areas of the application of logic to theoretical computer science. It comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in the field. Th