Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics 🔍
Thomas F. Cash; Thomas Pruzinsky Amsterdam ; New York: Elsevier ; Cambridge, Mass.: MIT Press, Handbook of theoretical computer science / ed. by Jan. van Leeuwen, vol. A, 1. ed., 2. impr, Amsterdam, 1992
English [en] · PDF · 46.5MB · 1992 · 📗 Book (unknown) · 🚀/ia · Save
description
this Handbook Will Provide Professionals And Students With A Comprehensive Overview Of The Main Results And Developments In This Rapidly Evolving Field.
Alternative title
Handbook of Theoretical Computer Science, Vol. A: Algorithms and Complexity
Alternative title
Handbook Of Theoretical Computer Science - 2 Vol Set
Alternative title
Algorithms and complexity. Vol. A
Alternative title
Development, Deviance, and Change
Alternative title
Body Images
Alternative author
edited by Jan van Leeuwen
Alternative author
editor, Jan van Leeuwen
Alternative author
Leeuwen, J. van (Jan)
Alternative author
van Leeuwen, Jan
Alternative publisher
The MIT Press
Alternative edition
Amsterdam, New York, Cambridge, Mass, Netherlands, 1990
Alternative edition
1st MIT Press pbk. ed, Amsterdam, New York, 1994, ©1990
Alternative edition
1st MIT Press paperback ed, Amsterdam, New York, 1994
Alternative edition
Amsterdam, London, Cambridge, Mass, England, 1990
Alternative edition
United States, United States of America
Alternative edition
December 11, 1990
Alternative edition
December 19, 1990
metadata comments
Includes bibliographical references and indexes.
Alternative description
Presents information on the theory of automata and rewriting systems, the foundations of modern programming languages and logics for program specification and verification. This work contains chapters on the theoretic modelling of advanced information processing.
Alternative description
This first part presents chapters on models of computation, complexity theory, data structures, and efficient computation in many recognized sub-disciplines of Theoretical Computer Science.
Alternative description
V. A. Algorithms And Complexity -- V. B. Formal Models And Semantics. Edited By Jan Van Leeuwen. Includes Bibliographical References And Indexes.
Alternative description
2 v. : 25 cm
Includes bibliographical references and indexes
v. A. Algorithms and complexity -- v. B. Formal models and semantics
Alternative description
The theory of finite automata has preserved from its origins a great diversity of aspects.
Alternative description
Contents: Vol.A. Algorithms and complexity - v.B. Formal models and semantics.
date open sourced
2023-06-28
Read more…

🐢 Slow downloads

From trusted partners. More information in the FAQ. (might require browser verification — unlimited downloads!)

All download options have the same file, and should be safe to use. That said, always be cautious when downloading files from the internet, especially from sites external to Anna’s Archive. For example, be sure to keep your devices updated.
  • For large files, we recommend using a download manager to prevent interruptions.
    Recommended download managers: JDownloader
  • You will need an ebook or PDF reader to open the file, depending on the file format.
    Recommended ebook readers: Anna’s Archive online viewer, ReadEra, and Calibre
  • Use online tools to convert between formats.
    Recommended conversion tools: CloudConvert and PrintFriendly
  • You can send both PDF and EPUB files to your Kindle or Kobo eReader.
    Recommended tools: Amazon‘s “Send to Kindle” and djazz‘s “Send to Kobo/Kindle”
  • Support authors and libraries
    ✍️ If you like this and can afford it, consider buying the original, or supporting the authors directly.
    📚 If this is available at your local library, consider borrowing it for free there.