Your search returned 10753 results.

Not what you expected? Check for suggestions
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
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
Foundations of computation theory, Proceedings of the 1983 International FCT-conference,Bprgholm, Sweden, August, 1983

by Karpinski, Marek., Ed.

Series: Lecture notes in computer science ; 00158Material 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
STACS 84, Symposium of theoretical aspects of computer science, Paris, April, 1984

by Melhlhorn, K., Ed.

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

BOOKS
EUROSAM 84 International symposium on symbolic and algebraic computation,Cambridge, England, July 1984

by Fitch, Ed.

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

BOOKS
P-Functions and boolean matrix factorization, A unfied approach for wired, programmed implementations of discrete algorithms

by Thayse., Ed.

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

BOOKS
Mathematical foundations of software development, proceedings of the International Joint conference, Berlin, 1985, volume 1: Colloquium on trees in algebra and programming

by Ehrig., Ed.

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha