Your search returned 18639 results.

Not what you expected? Check for suggestions
BOOKS
Selecta mathematica : volume 1

by Menger, Karl | Schweizer, Bert et al Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Wien ; Springer ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No:13, Shelf No: 7 Call number: 51(081) MEN.

BOOKS
Lectures on analysis on Metric spaces

by Heinonen, Juha.

Series: UniversitextMaterial 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): First floor, Rack No: 30, Shelf No: 32 Call number: 514 HEI.

BOOKS
Collected works of Eugene Paul Wigner: part B - Historical philosophical and socio-political papers: vol.8

by Wigner, Eugene Paul.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-verlag ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 19, Shelf No: 9 Call number: 53(081) WIG.

BOOKS
Handbook of Physics

by Benenson, Walter [et al.] Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 2002Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 9 Call number: 53(02) BEN.

BOOKS
Duration calculus formal approach to real-time systems

by Zhou, Chaochen | Hansen, Michael R.

Series: EATCS monographs on theoretical computer scienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 34 Call number: 681.3.06 CHA.

BOOKS
Formal and natural computing : Essays dedicated to Grzegorz Rozenberg

by Brauer, Wilfried [et al] Eds.

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

BOOKS
Alan Turing life and legacy of a great thinker

by Teuscher, Christof Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 21 Call number: 681.3 TEU.

BOOKS
Advances in cryptology - eurocrypt 2004: international conference on the theory and applications of cryptographic techniques, Interlaken, Switzerland, may 2-6, 2004. proceedings

by Cachin, Christian | Camenisch, Jan Eds.

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

BOOKS
Probabilistic and statistical methods in cryptology an introduction by selected topics

by Daniel, Neuenschwander.

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

BOOKS
Comprehensive mathematics for computer scientists 1: sets and numbers, graphs and algebra, logic and machines, linear geometry

by Guerino, Mazzola | Milmeister, Gerard | Weissmann, Jody.

Series: UniversitextEdition: 1st ed.Material type: Text Text;Language: ; Format: print Publication details: New York ; Springer-Verlag ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 30 Call number: 681.3.04 MAZ.

BOOKS
Formal modeling and analysis of timed systems: first international workshop, formats 2003, marseille, france, september 6-7, 2003, reivised papers

by Larsen, Kim G | Niebert, Peter Eds.

Series: Lecture notes in computer science ; 02791Edition: 1st ed.Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer-Verlag ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 28 Call number: 681 LNCS.

BOOKS
Classical mechanics point particles and relativity

by Greiner, Walter.

Series: Classical theoretical physicsMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 40, Shelf No: 4 Call number: 531 GRE.

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
Clause and effect Prolog programming for the working programmer

by Clocksin, William F.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; c1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 43 Call number: 681.3 CLO.

BOOKS
Compositionality: the significant difference: international symposium, COMPOS '97, Bad Malente, Germany, September 1997 : revised lectures

by De Roever Willem-Paul | Langmaack, Hans | Pnueli, Amir Eds.

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

BOOKS
Foundations of software science and computation structures: Second International Conference, FOSSACS '99 ... Amsterdam, The Netherlands, March, 1999 proceedings

by Thomas, Wolfgang Ed.

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

BOOKS
Generalized quantifiers and computation: 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop France, August 11-22, 1997 : revised lectures

by Vaananen, Jouko Ed.

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

BOOKS
Concur' 97: concurrency theory: 8th international conference Warsaw, Poland July 1-4, 1997 Proceedings

by Mazurkiewicz, Antoni | Winkowski, Jozef Eds.

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

BOOKS
Selected areas in cryptography: 5th annual international workshop, SAC'98, Kingston, Ontario, Canada, August 17-18, 1998 proceedings

by Tavares, Stafford | Meijer, Henk Eds.

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

BOOKS
Advances in cryptology : EUROCRYPT'94: workshop on the theory and application of cryptographic techniques, Perugia, Italy, May 1994 Proceedings

by De Santis Alfredo Ed.

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha