Your search returned 243 results.

Not what you expected? Check for suggestions
E-BOOKS
Telecommunications and beyond: The BroaderApplicability of SDL and MSC [electronic resource] : Third International Workshop, SAM 2002 Aberystwyth, UK, June 24–26, 2002 Revised Papers / edited by Edel Sherratt.

by Sherratt, Edel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2599Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Advanced Topics in Exception Handling Techniques [electronic resource] / edited by Christophe Dony, Jørgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi.

by Dony, Christophe [editor.] | Knudsen, Jørgen Lindskov [editor.] | Romanovsky, Alexander [editor.] | Tripathi, Anand [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Software Composition [electronic resource] : 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers / edited by Welf Löwe, Mario Südholt.

by Löwe, Welf [editor.] | Südholt, Mario [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Software Engineering and Middleware [electronic resource] : Third International Workshop, SEM 2002 Orlando, FL, USA, May 20–21, 2002 Revised Papers / edited by Alberto Coen-Porisini, André Hoek.

by Coen-Porisini, Alberto [editor.] | Hoek, André [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2596Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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 and Compilers for Embedded Systems [electronic resource] : 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003. Proceedings / edited by Andreas Krall.

by Krall, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2826Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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 Methods for Open Object-Based Distributed Systems [electronic resource] : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings / edited by Elie Najm, Uwe Nestmann, Perdita Stevens.

by Najm, Elie [editor.] | Nestmann, Uwe [editor.] | Stevens, Perdita [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2884Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Issues in Agent Communication [electronic resource] / edited by Frank Dignum, Mark Greaves.

by Dignum, Frank [editor.] | Greaves, Mark [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1916Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems [electronic resource] : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003. Revised Papers / edited by Corrado Priami.

by Priami, Corrado [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2874Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation [electronic resource] : 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003. Proceedings / edited by Vijay A. Saraswat.

by Saraswat, Vijay A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2896Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Lectures on Formal Methods and PerformanceAnalysis [electronic resource] : First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures / edited by Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen.

by Brinksma, Ed [editor.] | Hermanns, Holger [editor.] | Katoen, Joost-Pieter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2090Source: 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
Adaptive Agents and Multi-Agent Systems [electronic resource] : Adaptation and Multi-Agent Learning / edited by Eduardo Alonso, Daniel Kudenko, Dimitar Kazakov.

by Alonso, Eduardo [editor.] | Kudenko, Daniel [editor.] | Kazakov, Dimitar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2636Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Middleware 2003 [electronic resource] : ACM/IFIP/USENIX International Middleware Conference Rio de Janeiro, Brazil, June 16–20, 2003 Proceedings / edited by Markus Endler, Douglas Schmidt.

by Endler, Markus [editor.] | Schmidt, Douglas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2672Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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 2003 [electronic resource] : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16–20, 2003 Proceedings / edited by Jean-Pierre Rosen, Alfred Strohmeier.

by Rosen, Jean-Pierre [editor.] | Strohmeier, Alfred [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2655Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
SDL 2003: System Design [electronic resource] : 11th International SDL Forum Stuttgart, Germany, July 1–4, 2003 Proceedings / edited by Rick Reed, Jeanne Reed.

by Reed, Rick [editor.] | Reed, Jeanne [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2708Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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 2000 [electronic resource] : 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000. Proceedings / edited by Hubert B. Keller, Erhard Plödereder.

by Keller, Hubert B [editor.] | Plödereder, Erhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1845Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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 SoftwareTechnologies — Ada-Europe 2001 [electronic resource] : 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14–18, 2001 Proceedings / edited by Dirk Craeynest, Alfred Strohmeier.

by Craeynest, Dirk [editor.] | Strohmeier, Alfred [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2043Source: 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
Engineering Distributed Objects [electronic resource] : Second International Workshop,EDO 2000 Davis, CA, USA, November 2–3, 2000 Revised Papers / edited by Wolfgang Emmerich, Stefan Tai.

by Emmerich, Wolfgang [editor.] | Tai, Stefan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1999Source: 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
ECOOP 2001 — Object-Oriented Programming [electronic resource] : 15th European Conference Budapest, Hungary, June 18–22, 2001 Proceedings / edited by Jørgen Lindskov Knudsen.

by Knudsen, Jørgen Lindskov [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2072Source: 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
High-Level Parallel Programming Models and Supportive Environments [electronic resource] : 6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings / edited by Frank Mueller.

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

Series: Lecture Notes in Computer Science ; 2026Source: 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
Advances in Exception Handling Techniques [electronic resource] / edited by Alexander Romanovsky, Christophe Dony, Jørgen Lindskov Knudsen, Anand Tripathi.

by Romanovsky, Alexander [editor.] | Dony, Christophe [editor.] | Knudsen, Jørgen Lindskov [editor.] | Tripathi, Anand [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2022Source: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha