Theory of computation / Dexter C. Kozen.
Material type:
TextSeries: Texts in computer science: Publisher: London : Springer, c2006Description: xiii, 418 p. : ill. ; 25 cmISBN: 9781846282973 (acid-free paper); 1846282977 (acid-free paper)Subject(s): Computational complexity | Computer science -- Mathematics | Recursion theoryDDC classification: 511.352 LOC classification: QA267.7 | .K69 2006Other classification: 54.10 | 500 | ST 134 Online resources: Publisher description | Table of contents only | Inhaltstext
| Item type | Current library | Call number | Copy number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Female Library | QA267.7 .K69 2006 (Browse shelf (Opens below)) | 1 | Available | STACKS | 51952000074021 | |
|
Books
|
Main Library | QA267.7 .K69 2006 (Browse shelf (Opens below)) | 1 | Available | STACKS | 51952000050537 |
Browsing Main Library shelves Close shelf browser
|
|
|
|
|
|
|
||
| QA267.3 .L56 2006 An introduction to formal languages and automata / | QA267.3 .S53 2009 A second course in formal languages and automata theory / | QA267.5 .S4 M29 2011 Introduction to languages and the theory of computation / | QA267.7 .K69 2006 Theory of computation / | QA268 .C69 2014 V.1 نظرية التشفير والتعمية : الأساسيات / | QA269 .C36 2005 A guide to game theory / | QA269 .S365 2016 Game theory in action : an introduction to classical and evolutionary models / |
Includes bibliographical references (p. [391]-398) and index.
1 2
There are no comments on this title.