The Essence of Computation (Record no. 33564)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03697nam a22005655i 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783540363774 |
| -- | 978-3-540-36377-4 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.1015113 |
| 245 14 - TITLE STATEMENT | |
| Title | The Essence of Computation |
| Sub Title | Complexity, Analysis, Transformation / |
| Statement of responsibility, etc | edited by Torben Æ. Mogensen, David A. Schmidt, I. Hal Sudborough. |
| 260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication | Berlin, Heidelberg : |
| Name of publisher | Springer Berlin Heidelberg, |
| Year of publication | 2002. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | XIV, 478 p. |
| Other physical details | online resource. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science, |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Computational Complexity -- General Size-Change Termination and Lexicographic Descent -- Comparing Star and Pancake Networks -- Synchronization of Finite Automata: Contributions to an Old Problem -- Lambda Calculi and Linear Speedups -- Program Analysis -- Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software -- Meta-circular Abstract Interpretation in Prolog -- Flow Analysis: Games and Nets -- On Extracting Static Semantics -- Foundations of the Bandera Abstraction Tools -- Types in Program Analysis -- Flow Logic: A Multi-paradigmatic Approach to Static Analysis -- Structure-Preserving Binary Relations for Program Abstraction -- Program Transformation -- Principles of Inverse Computation and the Universal Resolving Algorithm -- A Symmetric Approach to Compilation and Decompilation -- The Abstraction and Instantiation of String-Matching Programs -- WSDFU: Program Transformation System Based on Generalized Partial Computation -- Homeomorphic Embedding for Online Termination of Symbolic Methods -- Simple Driving Techniques -- Demonstrating Lambda Calculus Reduction -- From Type Inference to Configuration. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | By presenting state-of-the-art aspects of the theory of computation, this book commemorates the 60th birthday of Neil D. Jones, whose scientific career parallels the evolution of computation theory itself. The 20 reviewed research papers presented together with a brief survey of the work of Neil D. Jones were written by scientists who have worked with him, in the roles of student, colleague, and, in one case, mentor. In accordance with the Festschrift's subtitle, the papers are organized in parts on computational complexity, program analysis, and program transformation. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Logic design. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Logics and Meanings of Programs. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Software Engineering. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Computation by Abstract Devices. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Mogensen, Torben Æ. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Schmidt, David A. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Sudborough, I. Hal. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://dx.doi.org/10.1007/3-540-36377-7 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | E-BOOKS |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg, |
| -- | 2002. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| -- | 0302-9743 ; |
| Withdrawn status | Lost status | Damaged status | Not for loan | Current library | Accession Number | Uniform Resource Identifier | Koha item type |
|---|---|---|---|---|---|---|---|
| IMSc Library | EBK4270 | http://dx.doi.org/10.1007/3-540-36377-7 | E-BOOKS |