Your search returned 10989 results.

Not what you expected? Check for suggestions
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: 48, Shelf No: 1 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
Communication and concurrency

by Milner,Robin.

Series: Prentice Hall International series in computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Prentice hall ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 7 Call number: 681.324 MIL.

BOOKS
Iterative solution of large linear systems

by Young, David M.

Series: Computer science and applied mathematicsMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Academic Press ; 1971Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 30, Shelf No: 4 Call number: 512.64 YOU.

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
Axioms and hulls

by Knuth, D E.

Series: Lecture notes in computer science ; 00606Material 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
Computational geometry - methods, algorithms and applications, International workshop on computational geometry CG'91, Bern, Switzerland91

by Bieri,H.Ed | Noltemeier, H. Ed.

Series: Lecture notes in computer science ; 00553Material 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: 48, Shelf No: 13 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
Algorithms and Data Structures, 2nd workshop, WADS'91, Ottawa, Canada, August 1991, Proceedings

by Dehne,F. et al Eds.

Series: Lecture notes in computer science ; 00519Material 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: 48, Shelf No: 13 Call number: 681 LNCS.

BOOKS
A unified approach to interior point algorithms for linear complementarity problems

by Kojima,M | Megiddo,N | Noma,T.

Series: Lecture notes in computer science ; 00538Material 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: 48, Shelf No: 13 Call number: 681 LNCS.

BOOKS
Category theory and computer science, Paris, France, September 1991, proceedings

by Pitt,D H. et al Eds.

Series: Lecture notes in computer science ; 00530Material 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: 47, Shelf No: 46 Call number: 681 LNCS.

BOOKS
Logics of programs and their applications, proceedings, Poznan, Agust 23-29,1980

by Salwicki, A., Ed.

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

BOOKS
Boolean calculus of differences

by Andre Thayse., Ed.

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

BOOKS
Cryptography, Proceedings, burg Feuerstein 1982, March 29- April 2,1982

by Beth., Ed.

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

BOOKS
Graph-grammars and their applications to computer science

by Ehrig., Ed.

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

BOOKS
Art of computer programming, 2v

by Knuth, Donald E.

Series: Addison-Wesley series in computer science and information processingMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Reading ; Addison-Wesley Publishing Company ; 1981Availability: Items available for loan: IMSc Library (5). Location(s): Second floor, Rack No: 49, Shelf No: 40 Call number: 681.3.06 KNU.

BOOKS
Fundamentals of Computation theory

by Budach, L., Ed.

Series: Lecture notes in computer science ; 00529Material type: Text Text;Language: ; Format: print Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 13 Call number: 681 LNCS.

BOOKS
Structure in complexity theory, proceedings of the conference held at the University of california, Berkeley, California, June 1986

by Selman, Alan L.

Series: Lecture notes in computer science ; 00223Material type: Text Text;Language: ; Format: print Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 2 Call number: 681 LNCS.

BOOKS
Topology via logic

by Vickers, Steven.

Series: Cambridge tracts in theoretical computer science ; 5Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Cambridge University Press ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 10 Call number: 510.6 VIC.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha