Your search returned 18639 results.

Not what you expected? Check for suggestions
BOOKS
Introduction to applied nonlinear dynamical systems and chaos

by Wiggins, Stephen.

Series: Texts in applied mathematics; 2Edition: 2nd ed.Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; c2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 33, Shelf No: 40 Call number: 517.938 WIG.

Place hold Log in to add tags
BOOKS
Burgers-KPZ turbulence : Göttingen lectures / Wojbor A. Woyczyński.

by Woyczyński, W. A.

Series: Lecture notes in mathematics (Springer-Verlag) ; 1700.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin New York Springer, c1998Online access: Click here to access online | Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 11 Call number: 51 LNM.

Place hold Log in to add tags
BOOKS
Theoretical and practical aspects of SPIN model checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings

by Dams, Dennis | Gerth, Rob | Leue, Stefan Eds.

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

Place hold Log in to add tags
BOOKS
Computational logic and proof theory: 5th Kurt G�del Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings

by Gottlob, Georg | Leitsch, Alexander | Mundici, Daniele Eds.

Series: Lecture notes in computer science ; 01289Material 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.

Place hold Log in to add tags
BOOKS
Concur'95: concurrency theory: 6th international conference Philadelphia, USA, August 21-24, 1995 Proceedings

by Lee, Insup | Smolka, Scott A Eds.

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

Place hold Log in to add tags
BOOKS
Computer science logic: 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings

by Gottlob, Georg | Grandjean, Etienne | Seyr, Katrin Eds.

Series: Lecture notes in computer science ; 01584Material type: Text Text;Language: ; Format: print 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.

Place hold Log in to add tags
BOOKS
Automatic verificaton of sequential infinite-state processes

by Burkart, Olaf.

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

Place hold Log in to add tags
BOOKS
Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem

by Godefroid, Patrice.

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

Place hold Log in to add tags
BOOKS
Electron emission in heavy-ion-atom collisions

by Stolterfoht, Nikolaus | DuBois, R D | Rivarola, R D.

Series: Springer series on atoms and plasmas; 20Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; c1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:45 Shelf No:26 Call number: 539.2 STO.

Place hold Log in to add tags
BOOKS
Physics of biological systems from molecules to species

by Flyvbjerg, Henrik [et al] Eds.

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: 46, Shelf No: 27 Call number: 571.4 FLY.

Place hold Log in to add tags
BOOKS
Vorticity and turbulence

by Chorin, Alexandre Joel.

Series: Applied mathematical sciences ; 0103Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer-Verlag ; c1994Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 40, Shelf No: 38 Call number: 532 CHO.

Place hold Log in to add tags
BOOKS
The atomic nucleus as a relativistic system

by Savushkin, L. N | Toki, H.

Series: Texts and monographs in physicsMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No:43 Shelf No:36 Call number: 539.1 SAV.

Place hold Log in to add tags
BOOKS
Classification, clustering, and data mining applications: proceedings of the meeting of hte international federation of classification societies (IFCS), Illinoise inst. of tech.

by Banks, David [et al] Eds.

Series: Studies in classification, data analysis&knowledge orgnMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; springer ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 46 Call number: 681 BAN.

Place hold Log in to add tags
BOOKS
Information Security and Privacy: 9th Australasian conference, ACISP 2004 Sydney, Australia, July 13-15, 2004 : proceedings

by Wang,Huaxiong | Pieprzyk, Josef | Varadharajan, Vijay Eds.

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

Place hold Log in to add tags
BOOKS
Public Key Infrastructure: first European PKI workshop: research and applications, EuroPKI 2004 Samos Island, Greece, June 2004: proceedings

by Katsikas, Sokratis K | Gritzalis, Stefanos | Lopez, Javier Eds.

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

Place hold Log in to add tags
BOOKS
Geometric Modelling: Dagstuhl 2002

by Hahnmann, S [et al] Eds.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; springer ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 37 Call number: 681.3.06 HAH.

Place hold Log in to add tags
BOOKS
Applications and theory of petri Nets 2004: 25th international conference, ICATPN 2004 Bologna, Italy, June 21-25, 2004: proceedings

by Cortadella, Jordi | Reisig, Wolfgang Eds.

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

Place hold Log in to add tags
BOOKS
Automated Reasoning: second international joint conference, IJCAR 2004 Cork, Ireland, July 4-8, 2004: proceedings

by Basin, David | Rusinowitch, Michael Eds.

Series: Lecture notes in artificial intelligence ; 03097Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; springer ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 28 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Computer Aided Verification: 16th international conference, CAV 2004 Boston, MA, USA, July 13-17, 2004: proceedings

by Alur, Rajeev | Peled, Doron A Eds.

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

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha