Your search returned 3740 results.

Not what you expected? Check for suggestions
E-BOOKS
PARLE '93 Parallel Architectures and Languages Europe [electronic resource] : 5th International PARLE Conference Munich, Germany, June 14–17, 1993 Proceedings / edited by Arndt Bode, Mike Reeve, Gottfried Wolf.

by Bode, Arndt [editor.] | Reeve, Mike [editor.] | Wolf, Gottfried [editor.] | SpringerLink (Online service).

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

E-BOOKS
Fuzzy Logic in Artificial Intelligence [electronic resource] : 8th Austrian Artificial Intelligence Conference, FLAI '93 Linz, Austria, June 28–30, 1993 Proceedings / edited by Erich P. Klement, Wolfgang Slany.

by Klement, Erich P [editor.] | Slany, Wolfgang [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computer Aided Verification [electronic resource] : 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings / edited by Costas Courcoubetis.

by Courcoubetis, Costas [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computational Science — ICCS 2002 [electronic resource] : International Conference Amsterdam, The Netherlands, April 21–24, 2002 Proceedings, Part III / edited by Peter M. A. Sloot, Alfons G. Hoekstra, C. J. Kenneth Tan, Jack J. Dongarra.

by Sloot, Peter M. A [editor.] | Hoekstra, Alfons G [editor.] | Tan, C. J. Kenneth [editor.] | Dongarra, Jack J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2331Source: 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): .

E-BOOKS
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction [electronic resource] : International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures / edited by Roland Backhouse, Roy Crole, Jeremy Gibbons.

by Backhouse, Roland [editor.] | Crole, Roy [editor.] | Gibbons, Jeremy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2297Source: 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): .

E-BOOKS
Information Systems and Data Management [electronic resource] : 6th International Conference, CISMOD '95 Bombay, India, November 15–17, 1995 Proceedings / edited by Subhash Bhalla.

by Bhalla, Subhash [editor.] | SpringerLink (Online service).

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

E-BOOKS
KORSO: Methods, Languages, and Tools for the Construction of Correct Software [electronic resource] : Final Report / edited by Manfred Broy, Stefan Jähnichen.

by Broy, Manfred [editor.] | Jähnichen, Stefan [editor.] | SpringerLink (Online service).

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

E-BOOKS
Verification, Model Checking, and Abstract Interpretation [electronic resource] : Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers / edited by Agostino Cortesi.

by Cortesi, Agostino [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2294Source: 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): .

E-BOOKS
Communications and Multimedia Security [electronic resource] : 10th IFIP TC-6 TC-11 International Conference, CMS 2006, Heraklion, Crete, Greece, October 19-21, 2006. Proceedings / edited by Herbert Leitold, Evangelos P. Markatos.

by Leitold, Herbert [editor.] | Markatos, Evangelos P [editor.] | SpringerLink (Online service).

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

E-BOOKS
Protocols for High Speed Networks [electronic resource] : 7th IFIP/IEEE International Workshop, PfHSN 2002 Berlin, Germany, April 22–24, 2002 Proceedings / edited by Georg Carle, Martina Zitterbart.

by Carle, Georg [editor.] | Zitterbart, Martina [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2334Source: 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): .

E-BOOKS
Software Product-Family Engineering [electronic resource] : 4th International Workshop, PFE 2001 Bilbao, Spain, October 3–5, 2001 Revised Papers / edited by Frank Linden.

by Linden, Frank [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2290Source: 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): .

E-BOOKS
Advanced Environments, Tools, and Applications for Cluster Computing [electronic resource] : NATO Advanced Research Workshop, IWCC 2001 Mangalia, Romania, September 1–6, 2001 Revised Papers / edited by Dan Grigoras, Alex Nicolau, Bernard Toursel, Bertil Folliot.

by Grigoras, Dan [editor.] | Nicolau, Alex [editor.] | Toursel, Bernard [editor.] | Folliot, Bertil [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2326Source: 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): .

E-BOOKS
Smart Sensing and Context [electronic resource] : First European Conference, EuroSSC 2006 Enschede, Netherlands, October 25-27, 2006 Proceedings / edited by Paul Havinga, Maria Lijding, Nirvana Meratnia, Maarten Wegdam.

by Havinga, Paul [editor.] | Lijding, Maria [editor.] | Meratnia, Nirvana [editor.] | Wegdam, Maarten [editor.] | SpringerLink (Online service).

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

E-BOOKS
High Performance Computing [electronic resource] : 4th International Symposium, ISHPC 2002 Kansai Science City, Japan, May 15–17, 2002 Proceedings / edited by Hans P. Zima, Kazuki Joe, Mitsuhisa Sato, Yoshiki Seo, Masaaki Shimasaki.

by Zima, Hans P [editor.] | Joe, Kazuki [editor.] | Sato, Mitsuhisa [editor.] | Seo, Yoshiki [editor.] | Shimasaki, Masaaki [editor.] | SpringerLink (Online service).

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

E-BOOKS
SOFSEM’99: Theory and Practice of Informatics [electronic resource] : 26th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 27 — December 4, 1999 Proceedings / edited by Jan Pavelka, Gerard Tel, Miroslav Bartošek.

by Pavelka, Jan [editor.] | Tel, Gerard [editor.] | Bartošek, Miroslav [editor.] | SpringerLink (Online service).

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

E-BOOKS
Object-Oriented Technology [electronic resource] : ECOOP 2001 Workshop Reader: ECOOP 2001 Workshops, Panel, and Posters Budapest, Hungary, June 18–22, 2001 Proceedings / edited by Ákos Frohner.

by Frohner, Ákos [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2323Source: 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): .

E-BOOKS
Integrated Formal Methods [electronic resource] : Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings / edited by Michael Butler, Luigia Petre, Kaisa Sere.

by Butler, Michael [editor.] | Petre, Luigia [editor.] | Sere, Kaisa [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2335Source: 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): .

E-BOOKS
System Development and Ada [electronic resource] : CRAI Workshop on Software Factories and Ada Capri, Italy, May 26–30, 1986 Proceedings / edited by A. Nico Habermann, Ugo Montanari.

by Habermann, A. Nico [editor.] | Montanari, Ugo [editor.] | SpringerLink (Online service).

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

E-BOOKS
ECOOP’ 87 European Conference on Object-Oriented Programming [electronic resource] : Paris, France, June 15–17, 1987 Proceedings / edited by Jean Bézivin, Jean-Marie Hullot, Pierre Cointe, Henry Lieberman.

by Bézivin, Jean [editor.] | Hullot, Jean-Marie [editor.] | Cointe, Pierre [editor.] | Lieberman, Henry [editor.] | SpringerLink (Online service).

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

E-BOOKS
The Design of an Extendible Graph Editor [electronic resource] / edited by Frances Newbery Paulisch.

by Newbery Paulisch, Frances [editor.] | SpringerLink (Online service).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha