FEEDBACK Smiley face

Your search returned 9 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. 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).

4. Theory of computation

by Tourlakis, George J.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Hoboken, N.J. : Wiley, 2012Availability: No items available
Checked out (1).

5. 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).

6. 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 reference: IIITD [REF 511.3 ROG-T] (1).

7. 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).

8. 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).

9. Turing computability

by Soare, Robert Irving.

Edition: 4th ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Chicago : Springer, ©2016Availability:
Items available for reference: IIITD [REF 511.352 SOA-T] (1).


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