Your search returned 18639 results.

Not what you expected? Check for suggestions
E-BOOKS
The Seventeen Provers of the World [electronic resource] : Foreword by Dana S. Scott / edited by Freek Wiedijk.

by Wiedijk, Freek [editor.] | SpringerLink (Online service).

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

E-BOOKS
Technologies for E-Services [electronic resource] : 6th International Workshop, TES 2005, Trondheim, Norway, September 2-3, 2005, Revised Selected Papers / edited by Christoph Bussler, Ming-Chien Shan.

by Bussler, Christoph [editor.] | Shan, Ming-Chien [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Database Technology - EDBT 2006 [electronic resource] : 10th International Conference on Extending Database Technology, Munich, Germany, March 26-31, 2006 / edited by Yannis Ioannidis, Marc H. Scholl, Joachim W. Schmidt, Florian Matthes, Mike Hatzopoulos, Klemens Boehm, Alfons Kemper, Torsten Grust, Christian Boehm.

by Ioannidis, Yannis [editor.] | Scholl, Marc H [editor.] | Schmidt, Joachim W [editor.] | Matthes, Florian [editor.] | Hatzopoulos, Mike [editor.] | Boehm, Klemens [editor.] | Kemper, Alfons [editor.] | Grust, Torsten [editor.] | Boehm, Christian [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computer Supported Cooperative Work in Design II [electronic resource] : 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers / edited by Wei-ming Shen, Kuo-Ming Chao, Zongkai Lin, Jean-Paul A. Barthès, Anne James.

by Shen, Wei-ming [editor.] | Chao, Kuo-Ming [editor.] | Lin, Zongkai [editor.] | Barthès, Jean-Paul A [editor.] | James, Anne [editor.] | SpringerLink (Online service).

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

E-BOOKS
Transactions on Aspect-Oriented Software Development I [electronic resource] / edited by Awais Rashid, Mehmet Aksit.

by Rashid, Awais [editor.] | Aksit, Mehmet [editor.] | SpringerLink (Online service).

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

E-BOOKS
Autonomic Communication [electronic resource] : Second International IFIP Workshop, WAC 2005, Athens, Greece, October 2-5, 2005, Revised Selected Papers / edited by Ioannis Stavrakakis, Michael Smirnov.

by Stavrakakis, Ioannis [editor.] | Smirnov, Michael [editor.] | SpringerLink (Online service).

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

E-BOOKS
Foundations of Software Science and Computation Structures [electronic resource] : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings / edited by Luca Aceto, Anna Ingólfsdóttir.

by Aceto, Luca [editor.] | Ingólfsdóttir, Anna [editor.] | SpringerLink (Online service).

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

E-BOOKS
Compiler Construction [electronic resource] : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings / edited by Alan Mycroft, Andreas Zeller.

by Mycroft, Alan [editor.] | Zeller, Andreas [editor.] | SpringerLink (Online service).

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

E-BOOKS
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings / edited by Holger Hermanns, Jens Palsberg.

by Hermanns, Holger [editor.] | Palsberg, Jens [editor.] | SpringerLink (Online service).

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

E-BOOKS
Information Security Practice and Experience [electronic resource] : Second International Conference, ISPEC 2006, Hangzhou, China, April 11-14, 2006. Proceedings / edited by Kefei Chen, Robert Deng, Xuejia Lai, Jianying Zhou.

by Chen, Kefei [editor.] | Deng, Robert [editor.] | Lai, Xuejia [editor.] | Zhou, Jianying [editor.] | SpringerLink (Online service).

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

E-BOOKS
Learning and Adaption in Multi-Agent Systems [electronic resource] : First International Workshop, LAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers / edited by Karl Tuyls, Pieter Jan’t Hoen, Katja Verbeeck, Sandip Sen.

by Tuyls, Karl [editor.] | Hoen, Pieter Jan’t [editor.] | Verbeeck, Katja [editor.] | Sen, Sandip [editor.] | SpringerLink (Online service).

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

E-BOOKS
Fundamental Approaches to Software Engineering [electronic resource] : 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings / edited by Luciano Baresi, Reiko Heckel.

by Baresi, Luciano [editor.] | Heckel, Reiko [editor.] | SpringerLink (Online service).

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

E-BOOKS
Programming Languages and Systems [electronic resource] : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings / edited by Peter Sestoft.

by Sestoft, Peter [editor.] | SpringerLink (Online service).

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

E-BOOKS
Implementation and Application of Automata [electronic resource] : 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers / edited by Jacques Farré, Igor Litovsky, Sylvain Schmitz.

by Farré, Jacques [editor.] | Litovsky, Igor [editor.] | Schmitz, Sylvain [editor.] | SpringerLink (Online service).

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

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): .

E-BOOKS
Data Mining for Biomedical Applications [electronic resource] : PAKDD 2006 Workshop, BioDM 2006, Singapore, April 9, 2006. Proceedings / edited by Jinyan Li, Qiang Yang, Ah-Hwee Tan.

by Li, Jinyan [editor.] | Yang, Qiang [editor.] | Tan, Ah-Hwee [editor.] | SpringerLink (Online service).

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

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): .

E-BOOKS
Selected Areas in Cryptography [electronic resource] : 12th International Workshop, SAC 2005, Kingston, ON, Canada, August 11-12, 2005, Revised Selected Papers / edited by Bart Preneel, Stafford Tavares.

by Preneel, Bart [editor.] | Tavares, Stafford [editor.] | SpringerLink (Online service).

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

E-BOOKS
Genetic Programming [electronic resource] : 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings / edited by Pierre Collet, Marco Tomassini, Marc Ebner, Steven Gustafson, Anikó Ekárt.

by Collet, Pierre [editor.] | Tomassini, Marco [editor.] | Ebner, Marc [editor.] | Gustafson, Steven [editor.] | Ekárt, Anikó [editor.] | SpringerLink (Online service).

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

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): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha