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: 004 | Item 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 |
Browsing Namal Library shelves, Shelving location: Computer Science Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 004 CUS-R 2001 3226 Revise GCSE information & communication technology | 004 DAL-C 2006 1889 Computers are your future 2006. | 004 FER-M 2012 1163 Models of computation : an introduction to computability theory / | 004 FER-M 2012 127 Models of computation : an introduction to computability theory / | 004 GAR-M 2010 1094 Mobile computing / | 004 GRE-F 2009 2660 Fundamentals of the theory of computation : | 004 GRE-F 2011 3747 Fundamentals of the theory of computation : |
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.