Your search returned 2796 results.

Not what you expected? Check for suggestions
E-BOOKS
Model Checking Software [electronic resource] : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings / edited by Antti Valmari.

by Valmari, Antti [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3925Source: 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
Declarative Agent Languages and Technologies III [electronic resource] : Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers / edited by Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni.

by Baldoni, Matteo [editor.] | Endriss, Ulle [editor.] | Omicini, Andrea [editor.] | Torroni, Paolo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3904Source: 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
Information Security Applications [electronic resource] : 6th International Workshop, WISA 2005, Jeju Island, Korea, August 22-24, 2005, Revised Selected Papers / edited by Joo-Seok Song, Taekyoung Kwon, Moti Yung.

by Song, Joo-Seok [editor.] | Kwon, Taekyoung [editor.] | Yung, Moti [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3786Source: 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
Hybrid Systems: Computation and Control [electronic resource] : 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings / edited by João P. Hespanha, Ashish Tiwari.

by Hespanha, João P [editor.] | Tiwari, Ashish [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3927Source: 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
Relational Methods in Computer Science [electronic resource] : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers / edited by Wendy MacCaull, Michael Winter, Ivo Düntsch.

by MacCaull, Wendy [editor.] | Winter, Michael [editor.] | Düntsch, Ivo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3929Source: 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
Engineering Self-Organising Systems [electronic resource] : Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers / edited by Sven A. Brueckner, Giovanna Marzo Serugendo, David Hales, Franco Zambonelli.

by Brueckner, Sven A [editor.] | Marzo Serugendo, Giovanna [editor.] | Hales, David [editor.] | Zambonelli, Franco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3910Source: 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
Security in Pervasive Computing [electronic resource] : Third International Conference, SPC 2006, York, UK, April 18-21, 2006. Proceedings / edited by John A. Clark, Richard F. Paige, Fiona A. C. Polack, Phillip J. Brooke.

by Clark, John A [editor.] | Paige, Richard F [editor.] | Polack, Fiona A. C [editor.] | Brooke, Phillip J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3934Source: 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
Applied Parallel Computing. State of the Art in Scientific Computing [electronic resource] : 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004. Revised Selected Papers / edited by Jack Dongarra, Kaj Madsen, Jerzy Waśniewski.

by Dongarra, Jack [editor.] | Madsen, Kaj [editor.] | Waśniewski, Jerzy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3732Source: 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 for Multi-Agent Systems IV [electronic resource] : Research Issues and Practical Applications / edited by Alessandro Garcia, Ricardo Choren, Carlos Lucena, Paolo Giorgini, Tom Holvoet, Alexander Romanovsky.

by Garcia, Alessandro [editor.] | Choren, Ricardo [editor.] | Lucena, Carlos [editor.] | Giorgini, Paolo [editor.] | Holvoet, Tom [editor.] | Romanovsky, Alexander [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3914Source: 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
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / edited by Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet.

by Barthe, Gilles [editor.] | Grégoire, Benjamin [editor.] | Huisman, Marieke [editor.] | Lanet, Jean-Louis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3956Source: 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
Advances in Grid and Pervasive Computing [electronic resource] : First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedings / edited by Yeh-Ching Chung, José E. Moreira.

by Chung, Yeh-Ching [editor.] | Moreira, José E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3947Source: 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
Pervasive Computing [electronic resource] : 4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006. Proceedings / edited by Kenneth P. Fishkin, Bernt Schiele, Paddy Nixon, Aaron Quigley.

by Fishkin, Kenneth P [editor.] | Schiele, Bernt [editor.] | Nixon, Paddy [editor.] | Quigley, Aaron [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3968Source: 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
Wired/Wireless Internet Communications [electronic resource] : 4th International Conference, WWIC 2006, Bern, Switzerland, May 10-12, 2006. Proceedings / edited by Torsten Braun, Georg Carle, Sonia Fahmy, Yevgeni Koucheryavy.

by Braun, Torsten [editor.] | Carle, Georg [editor.] | Fahmy, Sonia [editor.] | Koucheryavy, Yevgeni [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3970Source: 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
Computer Music Modeling and Retrieval [electronic resource] : Third International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005. Revised Papers / edited by Richard Kronland-Martinet, Thierry Voinier, Sølvi Ystad.

by Kronland-Martinet, Richard [editor.] | Voinier, Thierry [editor.] | Ystad, Sølvi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3902Source: 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
Rapid Integration of Software Engineering Techniques [electronic resource] : Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers / edited by Nicolas Guelfi, Anthony Savidis.

by Guelfi, Nicolas [editor.] | Savidis, Anthony [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3943Source: 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
Computational Science and Its Applications - ICCSA 2006 [electronic resource] : International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part I / edited by Marina Gavrilova, Osvaldo Gervasi, Vipin Kumar, C. J. Kenneth Tan, David Taniar, Antonio Laganá, Youngsong Mun, Hyunseung Choo.

by Gavrilova, Marina [editor.] | Gervasi, Osvaldo [editor.] | Kumar, Vipin [editor.] | Tan, C. J. Kenneth [editor.] | Taniar, David [editor.] | Laganá, Antonio [editor.] | Mun, Youngsong [editor.] | Choo, Hyunseung [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3980Source: 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
Computational Science and Its Applications - ICCSA 2006 [electronic resource] : International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part II / edited by Marina L. Gavrilova, Osvaldo Gervasi, Vipin Kumar, C. J. Kenneth Tan, David Taniar, Antonio Laganá, Youngsong Mun, Hyunseung Choo.

by Gavrilova, Marina L [editor.] | Gervasi, Osvaldo [editor.] | Kumar, Vipin [editor.] | Tan, C. J. Kenneth [editor.] | Taniar, David [editor.] | Laganá, Antonio [editor.] | Mun, Youngsong [editor.] | Choo, Hyunseung [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3981Source: 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
Computational Science and Its Applications - ICCSA 2006 [electronic resource] : International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III / edited by Marina Gavrilova, Osvaldo Gervasi, Vipin Kumar, C. J. Kenneth Tan, David Taniar, Antonio Laganá, Youngsong Mun, Hyunseung Choo.

by Gavrilova, Marina [editor.] | Gervasi, Osvaldo [editor.] | Kumar, Vipin [editor.] | Tan, C. J. Kenneth [editor.] | Taniar, David [editor.] | Laganá, Antonio [editor.] | Mun, Youngsong [editor.] | Choo, Hyunseung [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3982Source: 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
Computational Science and Its Applications - ICCSA 2006 [electronic resource] : International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV / edited by Marina L. Gavrilova, Osvaldo Gervasi, Vipin Kumar, C. J. Kenneth Tan, David Taniar, Antonio Laganá, Youngsong Mun, Hyunseung Choo.

by Gavrilova, Marina L [editor.] | Gervasi, Osvaldo [editor.] | Kumar, Vipin [editor.] | Tan, C. J. Kenneth [editor.] | Taniar, David [editor.] | Laganá, Antonio [editor.] | Mun, Youngsong [editor.] | Choo, Hyunseung [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3983Source: 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
Computational Science and Its Applications - ICCSA 2006 [electronic resource] : International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V / edited by Marina L. Gavrilova, Osvaldo Gervasi, Vipin Kumar, C. J. Kenneth Tan, David Taniar, Antonio Laganá, Youngsong Mun, Hyunseung Choo.

by Gavrilova, Marina L [editor.] | Gervasi, Osvaldo [editor.] | Kumar, Vipin [editor.] | Tan, C. J. Kenneth [editor.] | Taniar, David [editor.] | Laganá, Antonio [editor.] | Mun, Youngsong [editor.] | Choo, Hyunseung [editor.] | SpringerLink (Online service).

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

Powered by Koha