Your search returned 2796 results.

Not what you expected? Check for suggestions
E-BOOKS
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings / edited by Tiziana Margaria, Wang Yi.

by Margaria, Tiziana [editor.] | Yi, Wang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2031Source: 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
RoboCup 2000: Robot Soccer World Cup IV [electronic resource] / edited by Peter Stone, Tucker Balch, Gerhard Kraetzschmar.

by Stone, Peter [editor.] | Balch, Tucker [editor.] | Kraetzschmar, Gerhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2019Source: 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
Wavelet Analysis and Its Applications [electronic resource] : Second International Conference, WAA 2001 Hong Kong, China, December 18–20, 2001 Proceedings / edited by Yuan Y. Tang, Pong C. Yuen, Chun-hung Li, Victor Wickerhauser.

by Tang, Yuan Y [editor.] | Yuen, Pong C [editor.] | Li, Chun-hung [editor.] | Wickerhauser, Victor [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2251Source: 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
Consolidated Ada Reference Manual Language and Standard Libraries [electronic resource] : International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 / edited by S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder.

by Taft, S. Tucker [editor.] | Duff, Robert A [editor.] | Brukardt, Randall L [editor.] | Ploedereder, Erhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2219Source: 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
Advanced Information Systems Engineering [electronic resource] : 13th International Conference, CAiSE 2001 Interlaken, Switzerland, June 4–8, 2001 Proceedings / edited by Klaus R. Dittrich, Andreas Geppert, Moira C. Norrie.

by Dittrich, Klaus R [editor.] | Geppert, Andreas [editor.] | Norrie, Moira C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2068Source: 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
Large-Scale Scientific Computing [electronic resource] : Third International Conference, LSSC 2001 Sozopol, Bulgaria, June 6–10, 2001 Revised Papers / edited by Svetozar Margenov, Jerzy Waśniewski, Plamen Yalamov.

by Margenov, Svetozar [editor.] | Waśniewski, Jerzy [editor.] | Yalamov, Plamen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2179Source: 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
Agent Systems, Mobile Agents, and Applications [electronic resource] : Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000, Zurich, Switzerland, September 13-15, 2000 Proceedings / edited by David Kotz, Friedemann Mattern.

by Kotz, David [editor.] | Mattern, Friedemann [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1882Source: 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
Engineering for Human-Computer Interaction [electronic resource] : 8th IFIP International Conference, EHCI 2001 Toronto, Canada, May 11–13, 2001 Revised Papers / edited by Murray Reed Little, Laurence Nigay.

by Little, Murray Reed [editor.] | Nigay, Laurence [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2254Source: 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
Semantics, Applications, and Implementation of Program Generation [electronic resource] : International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings / edited by Walid Taha.

by Taha, Walid [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1924Source: 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
Hybrid Systems: Computation and Control [electronic resource] : 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings / edited by Maria Domenica Benedetto, Alberto Sangiovanni-Vincentelli.

by Benedetto, Maria Domenica [editor.] | Sangiovanni-Vincentelli, Alberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2034Source: 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
Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : 6th International Symposium,FTRTFT 2000 Pune, India, September 20–22, 2000 Proceedings / edited by Mathai Joseph.

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

Series: Lecture Notes in Computer Science ; 1926Source: 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
Transactional Agents [electronic resource] : Towards a Robust Multi-Agent System / edited by Khaled Nagi.

by Nagi, Khaled [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2249Source: 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
Variations on Constants [electronic resource] : Flow Analysis of Sequential and Parallel Programs / by Markus Müller-Olm.

by Müller-Olm, Markus [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3800Source: 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
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
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
E-BOOKS
Distributed Computing [electronic resource] : 15th International Conference, DISC 2001 Lisbon, Portugal, October 3–5, 2001 Proceedings / edited by Jennifer Welch.

by Welch, Jennifer [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2180Source: 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
Computer Safety, Reliability and Security [electronic resource] : 20th International Conference, SAFECOMP 2001 Budapest, Hungary, September 26–28, 2001 Proceedings / edited by Udo Voges.

by Voges, Udo [editor.] | SpringerLink (Online service).

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

Powered by Koha