|
|
|
Automata and Computability by Kozen, Dexter C. Series: Undergraduate Texts in Computer ScienceMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 42 Call number: 681.3.06 KOZ.
|
|
|
|
|
|
|
|
Hilbert's Tenth Problem by Matiyasevich, Yuri V. Series: Foundations of ComputingMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: USA ; MIT Press ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 30, Shelf No: 16 Call number: 512.7 MAT.
|
|
|
|
|
|
|
|
|
|
|
|
Computability theory by Cooper, S. B. Series: Chapman & Hall/CRC mathematicsMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Boca Raton ; Chapman & Hall/CRC ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 43 Call number: 681.3 COO.
|
|
|
|
|
|
|
|
Computability theory by Weber, Rebecca. Series: Student Mathematical Library ; 62Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Rhode island ; American mathematical society ; 2012Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:28 Shelf No:41 Call number: 511 WEB.
|
|
|
|
|
|
|
|
Computability theory by Weber, Rebecca. Series: Student Mathematical Library ; 62Edition: IndianMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Providence ; American mathematical society ; 2012Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:28 Shelf No:41 Call number: 511 WEB.
|
|
|
|
|
|
|
|
Computability theory and its applications : [electronic resource] current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, computability theory and applications, June 13-17, 1999, University of Colorado, Boulder / Peter A. Cholak ...[et al.], editors. by Cholak, Peter, 1962-. Series: Contemporary mathematics (American Mathematical Society) ; v. 257.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2000Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|