Understanding Computation (Record no. 177629)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 04698nam a22005055i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-031-10055-0 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240423125417.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 220809s2022 sz | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783031100550 |
| -- | 978-3-031-10055-0 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-3-031-10055-0 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA75.5-76.95 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UYA |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM014000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UYA |
| Source | thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004.0151 |
| Edition number | 23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Rosenberg, Arnold L. |
| Relator term | author. |
| Relator code | aut |
| -- | http://id.loc.gov/vocabulary/relators/aut |
| 245 10 - TITLE STATEMENT | |
| Title | Understanding Computation |
| Medium | [electronic resource] : |
| Remainder of title | Pillars, Paradigms, Principles / |
| Statement of responsibility, etc | by Arnold L. Rosenberg, Lenwood S. Heath. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2022. |
| 264 #1 - | |
| -- | Cham : |
| -- | Springer International Publishing : |
| -- | Imprint: Springer, |
| -- | 2022. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XVII, 570 p. 87 illus. |
| Other physical details | online resource. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Texts in Computer Science, |
| International Standard Serial Number | 1868-095X |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Preface -- I: Introduction -- 1 Introducing Computation Theory -- 2 Introducing the Book -- II: Pillar S: STATE -- 3 Pure State-Based Computational Models -- 4 The Myhill-Nerode Theorem: Implications and Applications -- 5 Online Turing Machines and the Implications of Online Computing -- 6 Pumping: Computational Pigeonholes in Finitary Systems -- 7 Mobility in Computing: An FA Navigates a Mesh -- 8 The Power of Cooperation: Teams of MFAs on a Mesh -- III: Pillar E: ENCODING -- 9 Countability and Uncountability: The Precursors of ENCODING -- 10 Computability Theory -- 11 A Church-Turing Zoo of Computational Models -- 12 Pairing Functions as Encoding Mechanisms -- IV: Pillar N: NONDETERMINISM -- 13 Nondeterminism as Unbounded Parallelism -- 14 Nondeterministic Finite Automata -- 15 Nondeterminism as Unbounded Search -- 16 Complexity Theory -- V: Pillar P: PRESENTATION/SPECIFICATION -- 17 The Elements of Formal Language Theory -- A A Chapter-Long Text on Discrete Mathematics -- B SelectedExercises, by Chapter -- List of ACRONYMS and SYMBOLS -- References -- Index. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | Computation theory is a discipline that uses mathematical concepts and tools to expose the nature of "computation" and to explain a broad range of computational phenomena: Why is it harder to perform some computations than others? Are the differences in difficulty that we observe inherent, or are they artifacts of the way we try to perform the computations? How does one reason about such questions? This unique textbook strives to endow students with conceptual and manipulative tools necessary to make computation theory part of their professional lives. The work achieves this goal by means of three stratagems that set its approach apart from most other texts on the subject. For starters, it develops the necessary mathematical concepts and tools from the concepts' simplest instances, thereby helping students gain operational control over the required mathematics. Secondly, it organizes development of theory around four "pillars," enabling students tosee computational topics that have the same intellectual origins in physical proximity to one another. Finally, the text illustrates the "big ideas" that computation theory is built upon with applications of these ideas within "practical" domains in mathematics, computer science, computer engineering, and even further afield. Suitable for advanced undergraduate students and beginning graduates, this textbook augments the "classical" models that traditionally support courses on computation theory with novel models inspired by "real, modern" computational topics,such as crowd-sourced computing, mobile computing, robotic path planning, and volunteer computing. Arnold L. Rosenberg is Distinguished Univ. Professor Emeritus at University of Massachusetts, Amherst, USA. Lenwood S. Heath is Professor at Virgina Tech, Blacksburg, USA. . |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer science. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Theory of Computation. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Heath, Lenwood S. |
| Relator term | author. |
| Relator code | aut |
| -- | http://id.loc.gov/vocabulary/relators/aut |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783031100543 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783031100567 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783031100574 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Texts in Computer Science, |
| -- | 1868-095X |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/978-3-031-10055-0">https://doi.org/10.1007/978-3-031-10055-0</a> |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-SXCS |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks-CSE-Springer |
No items available.