Your search returned 9596 results.

Not what you expected? Check for suggestions
BOOKS
Computer data-base organization

by Martin, James.

Series: Prentice-Hall series in automatic computationEdition: 2d ed.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi Prentice-Hall, 1986Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 28 Call number: 681.3.02 MAR.

BOOKS
Introductory theory of computer science

by Krishnamurthy, E V.

Material type: Text Text;Language: ; Format: print Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 9 Call number: 681.3 KRI.

BOOKS
Fundamentals of Computer Algorithms

by Horowitz, Ellis | Rajasekaran, Sanguthevar.

Material type: Text Text Publication details: New Delhi ; New Delhi Galgotia 2000Availability: Items available for loan: IMSc Library (4). Location(s): Second floor, Rack No: 49, Shelf No: 3 Call number: 681.3 HOR.

BOOKS
C Programming Language

by Kernighan, Brian W | Ritchie, Dennis M.

Edition: 2Material type: Text Text Publication details: New Delhi PHI Learning Private Limited 2010Availability: Items available for loan: IMSc Library (6). Checked out (2). Location(s): Second floor, Rack No: 49, Shelf No: 40 Call number: 681.3.06 KER.

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: 42 Call number: 681.3 COR.

BOOKS
Discrete mathematics in computer science

by Stanat.

Material type: Text Text;Language: ; Format: print Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 25 Call number: 681.3:51 STA.

BOOKS
Foundations of Software Technology and Theoretical Computer Science, Fourth conference, Bangalore, India, December 1984, proceedings

by Joseph, Mathai. Ed | Shyamasunder, R. Ed.

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

BOOKS
Foundations of Software Technology and Theoretical Computer Science, seventh conference, Pune, India, December 1987, procedings

by Nori, Kesav V. Ed.

Series: Lecture notes in computer science ; 00287Material 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): Second floor, Rack No: 48, Shelf No: 5 Call number: 681 LNCS.

BOOKS
FST TCS 1989 : Foundations of software technology and theoretical computer science : 9th conference, Bangalore, India, December 1989, proceedings

by Veni Madhavan, C E. (Ed.).

Series: Lecture notes in computer science ; 405Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; Springer Verlag ; 1989Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 10 Call number: 681 LNCS.

BOOKS
Computer science logic, 4th workshop, CSL'90, Heidelberg, Germany, October 1990, Proceedings

by Borger,E. et al Eds.

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

BOOKS
Proof and types

by Girard, Jean-Yves | Taylor, Paul | Lafont, Yves.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge: Cambridge University press: 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 36 Call number: 681.3.06 GIR.

BOOKS
Introduction to ALGOL

by Baumann, Richard.

Series: Prentice-Hall series in automatic computationMaterial type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Englewood Cliffs, N.J., Prentice-Hall [1964]Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 39 Call number: 681.3 BAU.

BOOKS
Parallel Program Design a foundation

by Chandy,K Mani | Misra, Jayadev.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Addison-Wesley ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 34 Call number: 681.3.06 CHA.

BOOKS
Semantics of data types: International symposium sophia-Antipolis, France, June 1984

by Goos G | Hartmanis J.

Series: Lecture notes in computer science | 173Material type: Text Text;Language: ; Format: print Language: Eng Publication details: Berlin Springer Verlag 1984Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 47, Shelf No: 48 Call number: 681 LNCS.

BOOKS
Logics of programs

by Parikh, Rohit Ed.

Series: Lecture notes in computer science ; 00193Material type: Text Text;Language: ; Format: print Language: Eng Publication details: Berlin Spriger Verlag 1985; Springer-Verlag Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 1 Call number: 681 LNCS.

BOOKS
Graph-Theoretic Concepts in Computer Science 17th International Workshop Proc.,Fischbachau,Germany, 1991

by Schmidt, G. Ed | Berghammer, R. Ed.

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

BOOKS
Constructivity in Computer Science Summer Symposium, Proc.,San Antonio,1991

by Myers, J.P. Ed | O'Donnell, M J. Ed.

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

BOOKS
Logical Foundations of Computer Science - Tver '92 Second International Symposium Proc., Tver, 1992

by Nerode,A. Ed | Taitslin, M. Ed.

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

BOOKS
Computer Science Logic 5th Workshop Proc., CSL '91, Berne, 1991

by Borger,E. et al Eds.

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

BOOKS
Applications of Generalized Nets

by Atanassov, Krassimir T. Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Singapore ; World Scientific ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 7 Call number: 681.324 KRA.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha