Your search returned 12 results.

Not what you expected? Check for suggestions
BOOKS
Automata and Computability

by Kozen, Dexter C.

Series: Undergraduate Texts in Computer ScienceMaterial type: Text 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.

Place hold Log in to add tags
BOOKS
Language of Machines : Introduction to Computability and Formal Languages

by Floyd, Robert W | Beigel, Richard.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Freeman ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 35 Call number: 681.3.06 FLO.

Place hold Log in to add tags
BOOKS
Hilbert's Tenth Problem

by Matiyasevich, Yuri V.

Series: Foundations of ComputingMaterial type: Text 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.

Place hold Log in to add tags
BOOKS
Computability in Analysis and Physics : (PML)

by Pour-El, Marian B | Richards, Jonathan I.

Series: Perspectives in Mathematical LogicMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 7 Call number: 510.6 POU.

Place hold Log in to add tags
BOOKS
Handbook of computability theory

by Griffor, Edward R Ed.

Series: Studies in logic and the found. of maths;140Edition: 1st ed.Material type: Text Text;Language: ; Format: print Publication details: New York ; Elsevier ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 .

Place hold Log in to add tags
BOOKS
Computability theory

by Cooper, S. B.

Series: Chapman & Hall/CRC mathematicsMaterial type: Text 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.

Place hold Log in to add tags
BOOKS
Set theory for computing from decision procedures to declarative programming with sets

by Cantone, Domenico | Omodeo, Eugenio | Policriti, Alberto.

Series: Monographs in computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; c2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 42 Call number: 681.3 CAN.

Place hold Log in to add tags
BOOKS
Computability theory

by Weber, Rebecca.

Series: Student Mathematical Library ; 62Material type: Text 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.

Place hold Log in to add tags
BOOKS
Computability theory

by Weber, Rebecca.

Series: Student mathematical library : 00062.1 | Student Mathematical LibraryEdition: IndianMaterial type: Text 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.

Place hold Log in to add tags
BOOKS
Computability theory

by Weber, Rebecca.

Series: Student Mathematical Library ; 62Edition: IndianMaterial type: Text 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.

Place hold Log in to add tags
E-BOOKS
Logic and computation : [electronic resource] proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / Wilfried Sieg, editor.

by Workshop on Logic and Computation (1987 : Carnegie Mellon University) | Sieg, Wilfried, 1945-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 106.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1990Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
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 Text;Language: English; Format: available online remote; 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): .

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha