Your search returned 379 results.

Not what you expected? Check for suggestions
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
Concurrent Object-Oriented Programming and Petri Nets [electronic resource] : Advances in Petri Nets / edited by Gul A. Agha, Fiorella Cindio, Grzegorz Rozenberg.

by Agha, Gul A [editor.] | Cindio, Fiorella [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2001Source: 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
Natural Language Processing and Information Systems [electronic resource] : 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000 Versailles, France, June 28–30,2000 Revised Papers / edited by Mokrane Bouzeghoub, Zoubida Kedad, Elisabeth Métais.

by Bouzeghoub, Mokrane [editor.] | Kedad, Zoubida [editor.] | Métais, Elisabeth [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1959Source: 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
Compiler Optimizations for Scalable Parallel Systems [electronic resource] : Languages, Compilation Techniques, and Run Time Systems / edited by Santosh Pande, Dharma P. Agrawal.

by Pande, Santosh [editor.] | Agrawal, Dharma P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1808Source: 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
Smart Card Programming and Security [electronic resource] : International Conference on Research in Smart Cards, E-smart 2001 Cannes, France, September 19–21, 2001 Proceedings / edited by Isabelle Attali, Thomas Jensen.

by Attali, Isabelle [editor.] | Jensen, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2140Source: 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
Metalevel Architectures and Separation of Crosscutting Concerns [electronic resource] : Third International Conference, REFLECTION 2001 Kyoto, Japan, September 25–28, 2001 Proceedings / edited by Akinori Yonezawa, Satoshi Matsuoka.

by Yonezawa, Akinori [editor.] | Matsuoka, Satoshi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2192Source: 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
Intelligent Agents VIII [electronic resource] : Agent Theories, Architectures, and Languages 8th International Workshop, ATAL 2001 Seattle,WA, USA, August 1–3, 2001 Revised Papers / edited by John-Jules Ch. Meyer, Milind Tambe.

by Meyer, John-Jules Ch [editor.] | Tambe, Milind [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2333Source: 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
Formal Approaches to Agent-Based Systems [electronic resource] : First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers / edited by James L. Rash, Walt Truszkowski, Michael G. Hinchey, Christopher A. Rouff, Diana Gordon.

by Rash, James L [editor.] | Truszkowski, Walt [editor.] | Hinchey, Michael G [editor.] | Rouff, Christopher A [editor.] | Gordon, Diana [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1871Source: 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
Persistent Object Systems: Design, Implementation, and Use [electronic resource] : 9th International Workshop, POS-9 Lillehammer, Norway, September 6–8, 2000 Revised Papers / edited by Graham N. C. Kirby, Alan Dearle, Dag I. K. Sjøberg.

by Kirby, Graham N. C [editor.] | Dearle, Alan [editor.] | Sjøberg, Dag I. K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2135Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Other title: Design, Implementation, and Use.Online 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
Unifying Petri Nets [electronic resource] : Advances in Petri Nets / edited by Hartmut Ehrig, Julia Padberg, Gabriel Juhás, Grzegorz Rozenberg.

by Ehrig, Hartmut [editor.] | Padberg, Julia [editor.] | Juhás, Gabriel [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2128Source: 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
Foundations of Security Analysis and Design [electronic resource] : Tutorial Lectures / edited by Riccardo Focardi, Roberto Gorrieri.

by Focardi, Riccardo [editor.] | Gorrieri, Roberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2171Source: 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
Intelligent Agents and Multi-Agent Systems [electronic resource] : 5th Pacific Rim International Workshop on Multi-Agents, PRIMA 2002 Tokyo, Japan, August 18–19, 2002 Proceedings / edited by Kazuhiro Kuwabara, Jaeho Lee.

by Kuwabara, Kazuhiro [editor.] | Lee, Jaeho [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2413Source: 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
CONCUR 2002 — Concurrency Theory [electronic resource] : 13th International Conference Brno, Czech Republic, August 20–23, 2002 Proceedings / edited by Luboš Brim, Mojmír Křetínský, Antonín Kučera, Petr Jančar.

by Brim, Luboš [editor.] | Křetínský, Mojmír [editor.] | Kučera, Antonín [editor.] | Jančar, Petr [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2421Source: 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
Advances in Petri Nets 1988 [electronic resource] / edited by Grzegorz Rozenberg.

by Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 340Source: 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 for Networked and Distributed Systems - FORTE 2006 [electronic resource] : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings / edited by Elie Najm, Jean-François Pradat-Peyre, Véronique Viguié Donzeau-Gouge.

by Najm, Elie [editor.] | Pradat-Peyre, Jean-François [editor.] | Donzeau-Gouge, Véronique Viguié [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4229Source: 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
Algebraic Methods II: Theory, Tools and Applications [electronic resource] / edited by J. A. Bergstra, L. M. G. Feijs.

by Bergstra, J. A [editor.] | Feijs, L. M. G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 490Source: 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
Advances in Petri Nets 1990 [electronic resource] / edited by Grzegorz Rozenberg.

by Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 483Source: 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
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings / edited by Susanne Graf, Michael Schwartzbach.

by Graf, Susanne [editor.] | Schwartzbach, Michael [editor.] | SpringerLink (Online service).

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

Powered by Koha