|
1.
|
Automata and computability
by Kozen, Dexter 1951-. Material type: 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; 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; 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; 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; Format:
print
; Literary form:
not fiction
Publisher: Hoboken, N.J. : Wiley, 2012Availability: No items available Checked out (1).
|
|
6.
|
Models of computation : an introduction to computability theory
by Fernandez, Maribel. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New Delhi : Springer, 2009Availability: Items available for loan: IIITD [511.3 FER-M] (1).
|
|
7.
|
Algorithmic randomness and complexity
by Downey, R. G | Hirschfeldt, Denis Roman. Material type: 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; Format:
print
; Literary form:
not fiction
Publisher: Cambridge, Mass. : MIT Press, ©1987Availability: Items available for reference: 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; 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; 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; Format:
print
; Literary form:
not fiction
Publisher: Hyderabad : American Mathematical Society, ©2012Availability: No items available Checked out (1).
|
|
12.
|
Computability : an introduction to recursive function theory
by Cutland, Nigel. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge : Cambridge University Press, ©1980Availability: Items available for loan: IIITD [519.4 CUT-C] (1).
|
|
13.
|
Turing computability
by Soare, Robert Irving. Edition: 4th ed.Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Chicago : Springer, ©2016Availability: Items available for reference: IIITD [REF 511.352 SOA-T] (1).
|
|
14.
|
Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
by Soare, Robert I. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New York : Springer, ©1987Availability: Items available for reference: IIITD [REF 511.3 SOA-R] (1).
|