Your search returned 10753 results.

Not what you expected? Check for suggestions
E-BOOKS
Generative and Component-Based Software Engineering [electronic resource] : First International Symposium, GCSE’99 Erfurt, Germany, September 28–30, 1999 Revised Papers / edited by Krzysztof Czarnecki, Ulrich W. Eisenecker.

by Czarnecki, Krzysztof [editor.] | Eisenecker, Ulrich W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1799Source: 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
Advances in Learning Software Organizations [electronic resource] : 4th International Workshop, LSO 2002, Chicago, IL, USA, August 6, 2002. Revised Papers / edited by Scott Henninger, Frank Maurer.

by Henninger, Scott [editor.] | Maurer, Frank [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2640Source: 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 Visual Information Systems [electronic resource] : 4th International Conference, VISUAL 2000 Lyon, France, November 2–4, 2000 Proceedings / edited by Robert Laurini.

by Laurini, Robert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1929Source: 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
Active Networks [electronic resource] : Second International Working Conference, IWAN 2000 Tokyo, Japan, October 16–18, 2000 Proceedings / edited by Hiroshi Yasuda.

by Yasuda, Hiroshi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1942Source: 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
Advances in Computer Systems Architecture [electronic resource] : 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings / edited by Chris Jesshope, Colin Egan.

by Jesshope, Chris [editor.] | Egan, Colin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4186Source: 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 Cryptology - ASIACRYPT 2003 [electronic resource] : 9th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, November 30 – December 4, 2003. Proceedings / edited by Chi-Sung Laih.

by Laih, Chi-Sung [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2894Source: 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
The Logic System of Concept Graphs with Negation [electronic resource] : And Its Relationship to Predicate Logic / by Frithjof Dau.

by Dau, Frithjof [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2892Source: 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 Multimodal Interfaces — ICMI 2000 [electronic resource] : Third International Conference Beijing, China, October 14–16, 2000 Proceedings / edited by Tieniu Tan, Yuanchun Shi, Wen Gao.

by Tan, Tieniu [editor.] | Shi, Yuanchun [editor.] | Gao, Wen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1948Source: 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
Graph-Theoretic Concepts in Computer Science [electronic resource] : 26th International Workshop, WG 2000 Konstanz, Germany, June 15–17, 2000 Proceedings / edited by Ulrik Brandes, Dorothea Wagner.

by Brandes, Ulrik [editor.] | Wagner, Dorothea [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1928Source: 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
Advances in Information Systems [electronic resource] : First International Conference, ADVIS 2000 Izmir, Turkey, October 25–27, 2000 Proceedings / edited by Tatyana Yakhno.

by Yakhno, Tatyana [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1909Source: 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
Languages, Compilers, and Run-Time Systems for Scalable Computers [electronic resource] : 5th International Workshop, LCR 2000 Rochester, NY, USA, May 25–27, 2000 Selected Papers / edited by Sandhya Dwarkadas.

by Dwarkadas, Sandhya [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1915Source: 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
Computer Safety, Reliability and Security [electronic resource] : 19th International Conference, SAFECOMP 2000 Rotterdam, The Netherlands, October 24–27, 2000 Proceedings / edited by Floor Koornneef, Meine Meulen.

by Koornneef, Floor [editor.] | Meulen, Meine [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1943Source: 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
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2000 [electronic resource] : Third International Conference, Pittsburgh, PA, USA, October 11-14, 2000. Proceedings / edited by Scott L. Delp, Anthony M. DiGoia, Branislav Jaramaz.

by Delp, Scott L [editor.] | DiGoia, Anthony M [editor.] | Jaramaz, Branislav [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1935Source: 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
Formal Modeling and Analysis of Timed Systems [electronic resource] : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers / edited by Kim Guldstrand Larsen, Peter Niebert.

by Larsen, Kim Guldstrand [editor.] | Niebert, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2791Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Mobile Agents: Control Algorithms [electronic resource] / by Joachim Baumann.

by Baumann, Joachim [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1658Source: 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
Integrated Formal Methods [electronic resource] : Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings / edited by Wolfgang Grieskamp, Thomas Santen, Bill Stoddart.

by Grieskamp, Wolfgang [editor.] | Santen, Thomas [editor.] | Stoddart, Bill [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1945Source: 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
Formal Methods in Computer-Aided Design [electronic resource] : Third International Conference, FMCAD 2000 Austin, TX, USA, November 1–3, 2000 Proceedings / edited by Warren A. Hunt, Steven D. Johnson.

by Hunt, Warren A [editor.] | Johnson, Steven D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1954Source: 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
Security Protocols [electronic resource] : 12th International Workshop, Cambridge, UK, April 26-28, 2004. Revised Selected Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe.

by Christianson, Bruce [editor.] | Crispo, Bruno [editor.] | Malcolm, James A [editor.] | Roe, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3957Source: 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
Modular Programming Languages [electronic resource] : 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings / edited by David E. Lightfoot, Clemens Szyperski.

by Lightfoot, David E [editor.] | Szyperski, Clemens [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4228Source: 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
Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006. Proceedings / edited by Jérôme Euzenat, John Domingue.

by Euzenat, Jérôme [editor.] | Domingue, John [editor.] | SpringerLink (Online service).

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