|
|
1.
|
COMPUTABILITY WITH PASCAL
by Mallozzi, John S | De Lillo, Nicholas J. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xii,193.Publisher: Englewood Cliffs Prentice-Hall 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M297c] (1).
|
|
|
2.
|
Computability theory, semantics, and logic programming
by Fitting, Melvin. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 198p.Publisher: New York Oxford University Press 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 F564c] (1).
|
|
|
3.
|
THE THEORY OF COMPUTER SCIENCE
by Brady, J. M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,287.Publisher: London Chapman And Hall 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6401 B729t] (1).
|
|
|
4.
|
COMPUTATION AND AUTOMATA
by Salomaa, Arto. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,284.Publisher: Cambridge Cambridge Univ. Pr. 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511 Sa36c] (1).
|
|
|
5.
|
UNSOLVABLE CLASSES OF QUANTIFICATIONAL FORMULAS
by Lewis, Harry R. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,198.Publisher: Reading, Mass. Addison-Wesley 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L586u] (1).
|
|
|
6.
|
COMPUTABILITY
by Weihrauch, Klous. Material type: Book Description: x,517.Publisher: Berlin Springer-Verlag c1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 515.25 W428c] (1).
|
|
|
7.
|
Computability
: an introduction to recursive function theory
by Cutland, Nigel. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,251p.Publisher: Cambridge Cambridge University Press 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 C972c] (1).
|
|
|
8.
|
COMPUTABILITY AND LOGIC
by Cohen, Daniel E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 245.Publisher: Chichester Ellis Horwood 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 C66c] (1).
|
|
|
9.
|
A PROGRAMMING APPROACH TO COMPUTABILITY
by Kfoury, A. J | Arbib, Michael A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,251.Publisher: New York Springer-Verlag 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 K526p] (1).
|
|
|
10.
|
Logic and computation
: interactive proof with Cambridge LCF
by Paulson, Lawrence C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 302p.Publisher: Cambridge Cambridge University Press 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 P285l] (1).
|
|
|
11.
|
THE THEORY OF COMPUTABILITY
by Sommerhalder, R | Westrhemen, S. C. Van. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,441.Publisher: Wokingham Addison-Wesley 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.8 So55t] (1).
|
|
|
12.
|
Computability and complexity theory
by Homer, Steven | Selman, Alan L. Material type: Book Description: xiii, 194p.Publisher: New York Springer-Verlag c2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004 H752c] (1).
|
|
|
13.
|
COMPUTABLE ANALYSIS
by Weihrauch,Klaus. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 285.Publisher: Springer-Verlag,Berlin 2000Availability: No items available Checked out (1).
|
|
|
14.
|
COMPUTABLE FUNCTIONS
by Shen,A | Vereshchagin,N K. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,166.Publisher: American Mathematical Society, Rhode Island 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.352 SH45C] (1).
|
|
|
15.
|
NETWORKS AND GRAPHS
by Smith,David K. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,193.Publisher: Horwood Publishing, Chichester 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.5 SM54N] (1).
|
|
|
16.
|
Computability and complexity theory
by Homer, Steven | Selman, Alan L. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 298p.Publisher: New York Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004 H752c2] (1).
|
|
|
17.
|
Proofs and computations
by Schwichtenberg, Helmut | Wainer, Stanley S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 465p.Publisher: Cambridge Cambridge University Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.352 Sch99p] (1).
|
|
|
18.
|
Computability theory
by Weber, Rebecca. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii, 203p.Publisher: Providence American Mathematical Society 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.352 W388c] (1).
|
|
|
19.
|
Automata and Computability [Perpetual]
by Kozen, Dexter C. Description: xiii, 400p.Publisher: Springer 1997Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 K849a] (1).
|
