Your search returned 2796 results.

Not what you expected? Check for suggestions
E-BOOKS
Software Visualization [electronic resource] : International Seminar Dagstuhl Castle, Germany, May 20–25, 2001 Revised Papers / edited by Stephan Diehl.

by Diehl, Stephan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2269Source: 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
Attribute Grammars [electronic resource] : Definitions, Systems and Bibliography / by Pierre Deransart, Martin Jourdan, Bernard Lorho.

by Deransart, Pierre [author.] | Jourdan, Martin [author.] | Lorho, Bernard [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 323Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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] : 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings / edited by Ralf-Detlef Kutsche, Herbert Weber.

by Kutsche, Ralf-Detlef [editor.] | Weber, Herbert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2306Source: 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
Programming Languages and Systems [electronic resource] : 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings / edited by Daniel Métayer.

by Métayer, Daniel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2305Source: 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
Foundations of Software Science and Computation Structures [electronic resource] : 5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings / edited by Mogens Nielsen, Uffe Engberg.

by Nielsen, Mogens [editor.] | Engberg, Uffe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2303Source: 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
Compiler Construction [electronic resource] : 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings / edited by R. Nigel Horspool.

by Horspool, R. Nigel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2304Source: 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
From Theory to Practice in Multi-Agent Systems [electronic resource] : Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001 Cracow, Poland, September 26–29, 2001 Revised Papers / edited by Barbara Dunin-Keplicz, Edward Nawarecki.

by Dunin-Keplicz, Barbara [editor.] | Nawarecki, Edward [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2296Source: 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
Isabelle/HOL [electronic resource] : A Proof Assistant for Higher-Order Logic / edited by Tobias Nipkow, Markus Wenzel, Lawrence C. Paulson.

by Nipkow, Tobias [editor.] | Wenzel, Markus [editor.] | Paulson, Lawrence C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2283Source: 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
VDM '88 VDM — The Way Ahead [electronic resource] : 2nd VDM-Europe Symposium Dublin, Ireland, September 11–16, 1988 Proceedings / edited by Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones.

by Bloomfield, Robin E [editor.] | Marshall, Lynn S [editor.] | Jones, Roger B [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 328Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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 Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : Proceedings of a Symposium Warwick, UK, September 22–23, 1988 / edited by M. Joseph.

by Joseph, M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 331Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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 Network and Pervasive Computing — ARCS 2002 [electronic resource] : International Conference on Architecture of Computing Systems Karlsruhe, Germany, April 8–12, 2002 Proceedings / edited by Hartmut Schmeck, Theo Ungerer, Lars Wolf.

by Schmeck, Hartmut [editor.] | Ungerer, Theo [editor.] | Wolf, Lars [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2299Source: 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
CONCURRENCY 88 [electronic resource] : International Conference on Concurrency Hamburg, FRG, October 18–19, 1988 Proceedings / edited by Frederich H. Vogt.

by Vogt, Frederich H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 335Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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
Coordination Models and Languages [electronic resource] : 5th International Conference, COORDINATION 2002 York, UK, April 8–11, 2002 Proceedings / edited by Farhad Arbab, Carolyn Talcott.

by Arbab, Farhad [editor.] | Talcott, Carolyn [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2315Source: 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
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings / edited by Joost-Pieter Katoen, Perdita Stevens.

by Katoen, Joost-Pieter [editor.] | Stevens, Perdita [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2280Source: 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
Model Checking Software [electronic resource] : 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings / edited by Dragan Bošnački, Stefan Leue.

by Bošnački, Dragan [editor.] | Leue, Stefan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2318Source: 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
Soft-Ware 2002: Computing in an Imperfect World [electronic resource] : First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8–10, 2002 Proceedings / edited by David Bustard, Weiru Liu, Roy Sterritt.

by Bustard, David [editor.] | Liu, Weiru [editor.] | Sterritt, Roy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2311Source: 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
Software Reuse: Methods, Techniques, and Tools [electronic resource] : 7th International Conference, ICSR-7 Austin, TX, USA, April 15–19, 2002 Proceedings / edited by Cristina Gacek.

by Gacek, Cristina [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2319Source: 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
Computer Performance Evaluation: Modelling Techniques and Tools [electronic resource] : 12th International Conference, TOOLS 2002 London, UK, April 14–17, 2002 Proceedings / edited by Tony Field, Peter G. Harrison, Jeremy Bradley, Uli Harder.

by Field, Tony [editor.] | Harrison, Peter G [editor.] | Bradley, Jeremy [editor.] | Harder, Uli [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2324Source: 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
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : Eighth Conference, Pune, India December 21–23, 1988 Proceedings / edited by Kesav V. Nori, Sanjeev Kumar.

by Nori, Kesav V [editor.] | Kumar, Sanjeev [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 338Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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
Computational Science — ICCS 2002 [electronic resource] : International Conference Amsterdam, The Netherlands, April 21–24, 2002 Proceedings, Part I / 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 ; 2329Source: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha