Your search returned 18 results.

Not what you expected? Check for suggestions
BOOKS
Verification of sequential and concurrent programs

by Apt, Krzysztof R | Olderog, Ernst-Rudiger.

Series: Texts and Monographs in Computer ScienceMaterial 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: 32 Call number: 681.3.06 APT.

BOOKS
Design and analysis of algorithms

by Kozen, Dexter C.

Series: Texts and Monographs in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Newyork ; Springer Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 5 Call number: 510.6 KOZ.

BOOKS
Computational Geometry, an Introduction

by Preparata, Franco P | Shamos, Michael Ian.

Series: Texts and Monographs in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer-Verlag ; 1985Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 15 Call number: 681.3 PRE.

BOOKS
What Computing is all about

by Van de Snepscheut, Jan L A.

Series: Texts and Monographs in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer-Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 22 Call number: 681.3 VAN.

BOOKS
Logic for Applications

by Nerode, Anil | Shore, Richard A.

Series: Texts and Monographs in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 46 Call number: 681.3.06 NER.

BOOKS
Logical Approach to Discrete Math

by Gries, David | Schneider, Fred B.

Series: Texts and Monographs in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 25 Call number: 681.3:51 GRI.

BOOKS
An introduction to Kolmogorov complexity and its applications

by Li, Ming | Vitanyi, Paul.

Series: Texts and Monographs in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 9 Call number: 681.3 LI.

BOOKS
Asynchronous Circuits

by Brzozowski, Janusz A | Seger, Carl-Johan H.

Series: Monographs in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer Verlag ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 41 Call number: 681.3 BRZ.

BOOKS
Theory of Objects

by Abadi, Martin | Cardelli, Luca.

Series: Monographs in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 34 Call number: 681.3 ABA.

BOOKS
Language Equations

by Leiss, Ernst L.

Series: Monographs in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 8 Call number: 681.3 LEI.

BOOKS
Multiprogramming, on a Method of- : (MCS)

by Feijen, W H J | van Gasteren, A J M.

Series: Monographs in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 681.3 FEI.

BOOKS
Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement : (MCS)

by Broy, Manfred | Stolen, Ketil.

Series: Monographs in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 13 Call number: 681.9 BRO.

BOOKS
Mathematical Foundations of Computer Science , Vol.1 : Sets,Relations, and Induction : (TMCS)

by Fejer, Peter A | Simovici, Dan A.

Series: Texts and Monographs in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 681.3 FEJ.

BOOKS
Discipline of Multiprogramming, Programming Theory for Distributed Applications : (MCS)

by Misra, Jayadev.

Series: Monographs in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 19 Call number: 681.9 MIS.

BOOKS
ML with concurrency design, analysis, implementation, and application

by Nielson, Flemming Ed.

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

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.

BOOKS
Super-recursive algorithms

by Burgin, Mark.

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

BOOKS
Algorithmic algebra

by Mishra, Bhubaneswar.

Series: Texts and monographs in computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer verlog ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 11 Call number: 681.3 MIS.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha