Your search returned 10762 results.

Not what you expected? Check for suggestions
BOOKS
Combinators and functional programming languages,proceedings,1985

by Cousineau, G., Ed.

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

BOOKS
On the shape of the mathematical arguments

by Van Gasteren, A J M.

Series: Lecture notes in computer science ; 00445Material 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:11 Call number: 681 LNCS.

BOOKS
Concur 91

by Baeten.

Series: Lecture notes in computer science ; 00527Material 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
Algorithm Theory - SWAT '92, Third Scandinavian workshop on algorithm theory, Helsinki, Finland, July 1992, proceedings

by Nurmi, O. Ed | Ukkonen, E. Ed.

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

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
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
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
Mathematical Foundations of computer science 1986,

by Gruska,J., Ed.

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha