Handbook of Theoretical Computer Science. Volume B: Formal Methods and Semantics
A complete comprehensive encyclopediac handbook which surveys all related areas to theoretical computer science.
- from
- Theoretical Computer Science
- added
- 2026-10-10
- likes
- 0
similar
-
Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity mitpress.mit.edu
A complete comprehensive encyclopediac handbook which surveys all related areas to theoretical computer science.
-
Atallah & Blanton. Algorithms and Theory of Computation Handbook: General Concepts and Techniques routledge.com
A complete comprehensive encyclopediac handbook which surveys all related areas to theoretical computer science.
-
Atallah & Blanton. Algorithms and Theory of Computation Handbook: Special Topics and Techniques routledge.com
A complete comprehensive encyclopediac handbook which surveys all related areas to theoretical computer science.
-
Foundations and Trends in Theoretical Computer Science nowpublishers.com
It provides monographs written by leaders that give tutorial coverage of subjects, research retrospectives as well as survey papers that offer state-of-the-art reviews fall within the scope of the journal.
-
Comprehensive Mathematics for Computer Scientists springer.com
A series dedicated to math topics and their relevance to computer science.
-
Sipser. Introduction to Theory of Computation cengage.com
A standard text for introducing theory of computation for undergrads.
Theoretical Computer Science › Handbooks: “A complete comprehensive encyclopediac handbook which surveys all related areas to theoretical computer science.”