Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007545733/catalog> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- catalog abstract "Michael Sipser's emphasis on unifying computer science theory - rather than offering a collection of low-level details - sets the book apart, as do his intuitive explanations. Throughout the book, Sipser builds students' knowledge of conceptual tools used in computer science, the aesthetic sense they need to create elegant systems, and the ability to think through problems on their own.".
- catalog contributor b10423270.
- catalog created "c1997.".
- catalog date "1997".
- catalog date "c1997.".
- catalog dateCopyrighted "c1997.".
- catalog description "Includes bibliographical references (p. 381-385) and index.".
- catalog description "Michael Sipser's emphasis on unifying computer science theory - rather than offering a collection of low-level details - sets the book apart, as do his intuitive explanations. Throughout the book, Sipser builds students' knowledge of conceptual tools used in computer science, the aesthetic sense they need to create elegant systems, and the ability to think through problems on their own.".
- catalog description "Preface -- Introduction -- pt. 1. Automata and languages. Regular languages ; Context-free languages -- pt. 2. Computability theory. The Church-Turing thesis ; Decidability ; Reducibility ; Advanced topics in computability theory -- pt. 3. Complexity theory. Time complexity ; Space complexity ; Intractability ; Advanced topics in complexity theory.".
- catalog extent "xv, 396 p. :".
- catalog hasFormat "Introduction to the theory of computation.".
- catalog identifier "053494728X".
- catalog isFormatOf "Introduction to the theory of computation.".
- catalog issued "1997".
- catalog issued "c1997.".
- catalog language "eng".
- catalog publisher "Boston : PWS Pub. Co.,".
- catalog relation "Introduction to the theory of computation.".
- catalog subject "511.3 20".
- catalog subject "Computational complexity.".
- catalog subject "Machine theory.".
- catalog subject "QA267 .S56 1997".
- catalog tableOfContents "Preface -- Introduction -- pt. 1. Automata and languages. Regular languages ; Context-free languages -- pt. 2. Computability theory. The Church-Turing thesis ; Decidability ; Reducibility ; Advanced topics in computability theory -- pt. 3. Complexity theory. Time complexity ; Space complexity ; Intractability ; Advanced topics in complexity theory.".
- catalog title "Introduction to the theory of computation / Michael Sipser.".
- catalog type "text".