Models of computation : an introduction to computability theory / by Maribel Fernandez
Material type: TextPublication details: New Delhi : Springer, 2012, 2009cDescription: viii, 184 p. : ill. ; 23 cmISBN: 9788132204480 (pbk)Subject(s): Computable functionsDDC classification: 004Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | Namal Library Computer Science | 004 FER-M 2012 127 (Browse shelf (Opens below)) | Available | 127 | |||
Books | Namal Library Computer Science | 004 FER-M 2012 1163 (Browse shelf (Opens below)) | 2 | Available | 1163 |
Index included
Chapter 1: Introduction------------
Chapter 2: Automata and Turing Machines----------
Chapter 3: The Lambda Calculus---------
Chapter 4: Recursive Function---------
Chapter 5: Logic Based Models of computation----------
Chapter 6: Computing with Objects--------
Chapter 7: Interaction-Based Models of Computation---------
Chapter 8: Concurrency-----------
Chapter 9: Emergent Models of Computation--------
There are no comments on this title.