Your search returned 451 results.

Not what you expected? Check for suggestions
E-BOOKS
Geometric Methods in Mathematical Physics [electronic resource] : Proceedings of an NSF-CBMS Conference Held at the University of Lowell, Massachusetts, March 19–23, 1979 / edited by Gerald Kaiser, Jerrold E. Marsden.

by Kaiser, Gerald [editor.] | Marsden, Jerrold E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 775Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Physics of Biological Systems [electronic resource] : From Molecules to Species / edited by Henrik Flyvbjerg, John Hertz, Mogens H. Jensen, Ole G. Mouritsen, Kim Sneppen.

by Flyvbjerg, Henrik [editor.] | Hertz, John [editor.] | Jensen, Mogens H [editor.] | Mouritsen, Ole G [editor.] | Sneppen, Kim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 480Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Nuclear Physics with Polarized Particles [electronic resource] / by Hans Paetz gen. Schieck.

by Paetz gen. Schieck, Hans [author.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 842Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Applications and Theory of Petri Nets 2004 [electronic resource] : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings / edited by Jordi Cortadella, Wolfgang Reisig.

by Cortadella, Jordi [editor.] | Reisig, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3099Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Applying Formal Methods: Testing, Performance, and M/E-Commerce [electronic resource] : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings / edited by Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio.

by Núñez, Manuel [editor.] | Maamar, Zakaria [editor.] | Pelayo, Fernando L [editor.] | Pousttchi, Key [editor.] | Rubio, Fernando [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3236Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Implementation and Application of Automata [electronic resource] : 6th International Conference, CIAA 2001 Pretoria, South Africa, July 23–25, 2001 Revised Papers / edited by Bruce W. Watson, Derick Wood.

by Watson, Bruce W [editor.] | Wood, Derick [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2494Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Methods of Programming [electronic resource] : Selected Papers on the CIP-Project / edited by Manfred Broy, Martin Wirsing.

by Broy, Manfred [editor.] | Wirsing, Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 544Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Automated Deduction in Geometry [electronic resource] : Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers / edited by Jürgen Richter-Gebert, Dongming Wang.

by Richter-Gebert, Jürgen [editor.] | Wang, Dongming [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2061Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Proof Theory in Computer Science [electronic resource] : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings / edited by Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk.

by Kahle, Reinhard [editor.] | Schroeder-Heister, Peter [editor.] | Stärk, Robert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2183Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
A Future for Knowledge Acquisition [electronic resource] : 8th European Knowledge Acquisition Workshop, EKAW '94 Hoegaarden, Belgium, September 26–29, 1994 Proceedings / edited by Luc Steels, Guus Schreiber, Walter Velde.

by Steels, Luc [editor.] | Schreiber, Guus [editor.] | Velde, Walter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 867Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Trends in Distributed Systems CORBA and Beyond [electronic resource] : International Workshop TreDS '96 Aachen, Germany, October 1–2, 1996 Proceedings / edited by Otto Spaniol, Claudia Linnhoff-Popien, Bernd Meyer.

by Spaniol, Otto [editor.] | Linnhoff-Popien, Claudia [editor.] | Meyer, Bernd [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1161Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Fundamental Approaches to Software Engineering [electronic resource] : 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings / edited by Matthew B. Dwyer, Antónia Lopes.

by Dwyer, Matthew B [editor.] | Lopes, Antónia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4422Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Formal Aspects in Security and Trust [electronic resource] : 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers / edited by Pierpaolo Degano, Joshua Guttman, Fabio Martinelli.

by Degano, Pierpaolo [editor.] | Guttman, Joshua [editor.] | Martinelli, Fabio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5491Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Reliable Software Technologies – Ada-Europe 2009 [electronic resource] : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings / edited by Fabrice Kordon, Yvon Kermarrec.

by Kordon, Fabrice [editor.] | Kermarrec, Yvon [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5570Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Task Models and Diagrams for User Interface Design [electronic resource] : 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers / edited by David England, Philippe Palanque, Jean Vanderdonckt, Peter J. Wild.

by England, David [editor.] | Palanque, Philippe [editor.] | Vanderdonckt, Jean [editor.] | Wild, Peter J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5963Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Knowledge-Driven Multimedia Information Extraction and Ontology Evolution [electronic resource] : Bridging the Semantic Gap / edited by Georgios Paliouras, Constantine D. Spyropoulos, George Tsatsaronis.

by Paliouras, Georgios [editor.] | Spyropoulos, Constantine D [editor.] | Tsatsaronis, George [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6050Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Automated Deduction in Geometry [electronic resource] : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers / edited by Thomas Sturm, Christoph Zengler.

by Sturm, Thomas [editor.] | Zengler, Christoph [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6301Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings / edited by Andrzej Pelc, Alexander A. Schwarzmann.

by Pelc, Andrzej [editor.] | Schwarzmann, Alexander A [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9212 | Lecture Notes in Computer Science ; 9212Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Recent Progress in Many-Body Theories [electronic resource] : Proceedings of the Second International Conference Held at Oaxtepec, Mexico, January 12–17, 1981 / edited by J. G. Zabolitzky, M. Llano, M. Fortes, J. W. Clark.

by Zabolitzky, J. G [editor.] | Llano, M [editor.] | Fortes, M [editor.] | Clark, J. W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 142Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Gauge Theory and Gravitation [electronic resource] : Proceedings of the International Symposium on Gauge Theory and Gravitation (g & G) Held at Tezukayama University Nara, Japan, August 20–24, 1982 / edited by Keiji Kikkawa, Noboru Nakanishi, Hidekazu Nariai.

by Kikkawa, Keiji [editor.] | Nakanishi, Noboru [editor.] | Nariai, Hidekazu [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 176Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1983Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

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

Powered by Koha