Your search returned 8 results.

Not what you expected? Check for suggestions
BOOKS
First-Order Programming Theories

by Gergely, Tamas | Ury, Laszlo.

Series: EATCS Monographs on Theoretical Computer Science, v.24Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 36 Call number: 681.3.06 GER.

BOOKS
Introduction to algorithms

by Cormen,Thomas H | Leiserson, Charles E | Rivest, Ronald L.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; MIT ; 1990Availability: Items available for loan: IMSc Library (5). Location(s): Second floor, Rack No: 48, Shelf No: 44 Call number: 681.3 COR.

BOOKS
Computers and Intractability A guide to the theory of NP-completeness

by Garey, Michael R | Johnson, David S.

Series: Series of Books in the Mathematical SciencesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Freeman ; 1979Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 681.3 GAR.

BOOKS
Subrecursive Programming Systems complexity and succinctness

by Royer, James S | Case, John.

Series: Progress in Theoretical Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston ; Birkhauser ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 16 Call number: 681.3 ROY.

BOOKS
Language Hierarchies and Interfaces International Summer School, Marktoberdorf, 1975

by Bauer, F L. Ed | Samelson, K. Ed.

Series: Lecture notes in computer science ; 00046Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1976Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS.

BOOKS
Translating relational queries into Iterative programs

by Freytag, Johann Christoph.

Series: Lecture notes in computer science ; 00261Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1987Availability: Items available for loan: IMSc Library (1). Location(s): 7Second floor, Rack No: 48, Shelf No: 4 Call number: 681 LNCS.

BOOKS
Computability and Complexity from a Programming Perspective

by Jones, Neil D.

Series: Foundations of Computing SeriesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; MIT Press ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 6 Call number: 681.3 JON.

BOOKS
Refinement Calculus : Systematic Introduction : (GTCS)

by Back, Ralph-Johan | Wright, Joakim von.

Series: Graduate Texts in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 38 Call number: 681.3 BAC.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha