English [en] · DJVU · 12.8MB · 1990 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/nexusstc/zlib · Save
description
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
Alternative filename
lgrsnf/Cs_Computer science/CsF_Formal methods/van Leeuwen J. (ed.) Handbook of theoretical computer science. Vol.A. Algorithms and complexity (Elsevier, 1990)(600dpi)(ISBN 0444880712)(T)(1011s)_CsF_.djvu
Alternative filename
nexusstc/Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity/1cc164a9ecdb5f55dd34bfc133af8d7c.djvu
Alternative title
Algorithms and Complexity. Handbook of Theoretical Computer Science, Vol. A
Alternative title
Development, Deviance, and Change
Alternative title
Body Images
Alternative author
Thomas F. Cash; Thomas Pruzinsky
Alternative author
edited by Jan van Leeuwen
Alternative author
editor, Jan van Leeuwen
Alternative author
van Leeuwen, Jan
Alternative author
Bozzano G Luisa
Alternative publisher
Wolters Kluwer Legal & Regulatory U.S.
Alternative publisher
Elsevier Science
Alternative publisher
Aspen Publishers
Alternative publisher
The MIT Press
Alternative publisher
AAAI Press
Alternative edition
Handbook of theoretical computer science / ed. by Jan. van Leeuwen, vol. A, 1. ed., 2. impr, Amsterdam, 1992
Alternative edition
Amsterdam, New York, Cambridge, Mass, Netherlands, 1990
{"isbns":["0262220385","0444880712","9780262220385","9780444880710"],"last_page":975,"publisher":"Elsevier; MIT Press"}
metadata comments
Includes bibliographical references and indexes.
Alternative description
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
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
Contents: Vol.A. Algorithms and complexity - v.B. Formal models and semantics.
Repository ID for the 'libgen' repository in Libgen.li. Directly taken from the 'libgen_id' field in the 'files' table. Corresponds to the 'thousands folder' torrents.
Repository ID for the non-fiction ('libgen') repository in Libgen.rs. Directly taken from the 'id' field in the 'updated' table. Corresponds to the 'thousands folder' torrents.
Repository ID for the non-fiction ('libgen') repository in Libgen.rs. Directly taken from the 'id' field in the 'updated' table. Corresponds to the 'thousands folder' torrents.
Libgen.rs Non-Fiction Topic:mathematics\\algorithms and data structures
Libgen’s own classification system of 'topics' for non-fiction books. Obtained from the 'topic' metadata field, using the 'topics' database table, which seems to have its roots in the Kolxo3 library that Libgen was originally based on. https://web.archive.org/web/20250303231041/https://wiki.mhut.org/content:bibliographic_data says that this field will be deprecated in favor of Dewey Decimal.
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.
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.
📂 File quality
Help out the community by reporting the quality of this file! 🙌
A “file MD5” is a hash that gets computed from the file contents, and is reasonably unique based on that content. All shadow libraries that we have indexed on here primarily use MD5s to identify files.
A file might appear in multiple shadow libraries. For information about the various datasets that we have compiled, see the Datasets page.