|
1.
|
Computability : a mathematical sketchbook
by Bridges, Douglas S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1994Availability: Items available for loan: [Call number: 511.3 BRI] (1).
|
|
2.
|
Computability and logic
by Boolos, George S | Burgess, John P | Jeffrey, Richard C. Edition: 4th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2002Availability: Items available for loan: [Call number: 511.3 BOO] (1).
|
|
3.
|
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: Berlin: Springer-Verlag, 1987Availability: Items available for loan: [Call number: 511.3 SOA] (1).
|
|
4.
|
Computable analysis : an introduction
by Weihrauch, Klaus. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2000Availability: Items available for loan: [Call number: 515 WEI] (1).
|
|
5.
|
Automata and computability
by Kozen, Dexter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1997Availability: Items available for loan: [Call number: 511.3 KOZ] (1).
|
|
6.
|
Introduction to languages and the theory of computation
by Martin, John C. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Tata McGraw-Hill, 2003Availability: Items available for loan: [Call number: 511.3 MAR] (1).
|
|
7.
|
Introduction to languages and the theory of computation
by Martin, John C. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Tata McGraw-Hill, 2003Availability: Items available for loan: [Call number: 511.3 MAR] (3).
|
|
8.
|
Introduction to languages and the theory of computation
by Martin, John C. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Tata McGraw-Hill, 2001Availability: Items available for loan: [Call number: 511.3 MAR] (2).
|
|
9.
|
Data streams : models and algorithms
by Aggarwal, Charu C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2007Availability: Items available for loan: [Call number: 518.1 AGG] (1).
|
|
10.
|
New computational paradigms : changing conceptions of what is computable
by Cooper, S. B | Lowe, Benedikt | Sorbi, Andrea. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 511.3 COO] (1).
|
|
11.
|
Computability and Complexity Theory
by Homer, Steven | Selman, Alam L. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2001Availability: Items available for loan: [Call number: 004 HOM] (1).
|
|
12.
|
Set theory for computing
by Cantone, Domenico | Omodeo, Eugenio | Policriti, Alberto. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 511.322 CAN] (1).
|
|
13.
|
Algorithmic randomness and complexity
by Downey, Rodney G | Hirschfeldt, Denis. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2010Availability: Items available for loan: [Call number: 511.3 DOW] (1).
|
|
14.
|
Computability and logic
by Boolos, George S | Burgess, John P | Jeffrey, Richard C. Edition: 5th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 511.352 BOO] (1).
|
|
15.
|
Three views of logic : mathematics, philosophy, and computer science
by Loveland, Donald W | Hodel, Richard E | Sterrett, S. G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Princeton: Princeton University Press, 2014Availability: Items available for loan: [Call number: 511.3 LOV] (1).
|
|
16.
|
Discrete structures, logic, and computability
by Hein, James L. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Sudbury: Jones & Bartlett, 2002Availability: Items available for loan: [Call number: 004.01511 HEI] (1).
|
|
17.
|
Discrete structures, logic, and computability
by Hein, James L. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Sudbury: Jones & Bartlett, 2010Availability: Items available for loan: [Call number: 004.0151 HEI] (1).
|
|
18.
|
Theory of computation
by Tourlakis, George. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: Wiley, 2012Availability: Items available for loan: [Call number: 511.352 TOU] (1).
|
|
19.
|
Computable models
by Turner, Raymond. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 511.352015118 TUR] (1).
|
|
20.
|
Models of computation : an introduction to computability theory
by Fernandez, Maribel. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2009Availability: Items available for loan: [Call number: 511.3 FER] (1).
|