FEEDBACK Smiley face

Your search returned 11 results. Subscribe to this search

|
1. Automata and computability

by Kozen, Dexter 1951-.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, c1997Online access: Publisher description | Table of contents only Availability:
Items available for reference: IIITD [REF 511.3 KOZ-A] (1).

2. Automata, computability and complexity : theory and applications

by Rich, Elaine.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Pearson, c2008Availability: Items available for loan: IIITD [511.3 RIC-A] (1).
Items available for reference: IIITD [REF 511.3 RIC-A] (1).

3. Computability & unsolvability

by Davis, Martin.

Edition: Dover ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Dover Publications, ©1982Online access: Publisher description | Table of contents Availability: Items available for loan: IIITD [511.3 DAV-C] (1).

4. The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions

by Davis, Martin.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Dover Publications, ©1965Availability: Items available for loan: IIITD [REF 512.8 DAV-U] (1).

5. Theory of computation

by Tourlakis, George J.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Hoboken, N.J. : Wiley, 2012Availability: Items available for loan: IIITD [REF 511.352 TUR-T] (1).

6. Models of computation : an introduction to computability theory

by Fernandez, Maribel.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Springer, 2009Availability: No items available
Checked out (1).

7. Algorithmic randomness and complexity

by Downey, R. G | Hirschfeldt, Denis Roman.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, ©2010Online access: Publisher description | Table of contents only Availability: Items available for loan: IIITD [REF 511.3 DOW-A] (1).

8. Theory of recursive functions and effective computability

by Rogers, Hartley 1926-.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge, Mass. : MIT Press, ©1987Availability: Items available for loan: IIITD [REF 511.3 ROG-T] (1).

9. Enumerability, decidability, computability : an introduction to the theory of recursive functions.

by Hermes, Hans.

Edition: 2d rev. ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York, Springer, ©1969Availability:
Items available for reference: IIITD [REF 510.01 HER-E] (1).

10. Introduction to formal languages, automata theory and computation

by Krithivasan, Kamala | Rama R.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Pearson Education, ©2009Availability:
Items available for reference: IIITD [CBIA 511.3 KRI-I] (1).

11. Computability theory

by Weber, Rebecca.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Hyderabad : American Mathematical Society, ©2012Availability: Items available for loan: IIITD [511.352 WEB-C] (1).


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in