Your search returned 5696 results.

Not what you expected? Check for suggestions
E-BOOKS
Image Analysis and Processing [electronic resource] : 8th International Conference, ICIAP'95 San Remo, Italy, September 13–15, 1995 Proceedings / edited by Carlo Braccini, Leila DeFloriani, Gianni Vernazza.

by Braccini, Carlo [editor.] | DeFloriani, Leila [editor.] | Vernazza, Gianni [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 974Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Machine Learning: ECML 2001 [electronic resource] : 12th European Conference on Machine Learning Freiburg, Germany, September 5–7, 2001 Proceedings / edited by Luc Raedt, Peter Flach.

by Raedt, Luc [editor.] | Flach, Peter [editor.] | SpringerLink (Online service).

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

E-BOOKS
Inductive Logic Programming [electronic resource] : 11th International Conference, ILP 2001 Strasbourg, France, September 9–11, 2001 Proceedings / edited by Céline Rouveirol, Michéle Sebag.

by Rouveirol, Céline [editor.] | Sebag, Michéle [editor.] | SpringerLink (Online service).

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

E-BOOKS
Correct Hardware Design and Verification Methods [electronic resource] : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings / edited by Tiziana Margaria, Tom Melham.

by Margaria, Tiziana [editor.] | Melham, Tom [editor.] | SpringerLink (Online service).

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

E-BOOKS
Generative and Component-Based Software Engineering [electronic resource] : Third International Conference, GCSE 2001 Erfurt, Germany, September 10–13, 2001 Proceedings / edited by Jan Bosch.

by Bosch, Jan [editor.] | SpringerLink (Online service).

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

E-BOOKS
Process Algebra and Probabilistic Methods. Performance Modelling and Verification [electronic resource] : Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedings / edited by Luca Alfaro, Stephen Gilmore.

by Alfaro, Luca [editor.] | Gilmore, Stephen [editor.] | SpringerLink (Online service).

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

E-BOOKS
Semantics, Applications, and Implementation of Program Generation [electronic resource] : Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings / edited by Walid Taha.

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

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

E-BOOKS
Algorithm Engineering and Experimentation [electronic resource] : Third International Workshop, ALENEX 2001 Washington, DC, USA, January 5–6, 2001 Revised Papers / edited by Adam L. Buchsbaum, Jack Snoeyink.

by Buchsbaum, Adam L [editor.] | Snoeyink, Jack [editor.] | SpringerLink (Online service).

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

E-BOOKS
Security Protocols [electronic resource] : 8th International Workshop Cambridge, UK, April 3–5, 2000 Revised Papers / edited by Bruce Christianson, James A. Malcolm, Bruno Crispo, Michael Roe.

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

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

E-BOOKS
Product Focused Software Process Improvement [electronic resource] : Third International Conference, PROFES 2001 Kaiserslautern, Germany, September 10–13, 2001 Proceedings / edited by Frank Bomarius, Seija Komi-Sirviö.

by Bomarius, Frank [editor.] | Komi-Sirviö, Seija [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Learning Software Organizations [electronic resource] : Third International Workshop, LSO 2001 Kaiserslautern, Germany, September 12–13, 2001 Proceedings / edited by Klaus-Dieter Althoff, Raimund L. Feldmann, Wolfgang Müller.

by Althoff, Klaus-Dieter [editor.] | Feldmann, Raimund L [editor.] | Müller, Wolfgang [editor.] | SpringerLink (Online service).

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

E-BOOKS
Generative and Component-Based Software Engineering [electronic resource] : Second International Symposium, GCSE 2000 Erfurt, Germany, October 9–12, 2000 Revised Papers / edited by Greg Butler, Stan Jarzabek.

by Butler, Greg [editor.] | Jarzabek, Stan [editor.] | SpringerLink (Online service).

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

E-BOOKS
Adaptive Agents and Multi-Agent Systems [electronic resource] : Adaptation and Multi-Agent Learning / edited by Eduardo Alonso, Daniel Kudenko, Dimitar Kazakov.

by Alonso, Eduardo [editor.] | Kudenko, Daniel [editor.] | Kazakov, Dimitar [editor.] | SpringerLink (Online service).

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

E-BOOKS
Mathematical Methods for Protein Structure Analysis and Design [electronic resource] : C.I.M.E. Summer School, Martina Franca, Italy, July 9-15, 2000. Advanced Lectures / edited by Concettina Guerra, Sorin Istrail.

by Guerra, Concettina [editor.] | Istrail, Sorin [editor.] | SpringerLink (Online service).

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

E-BOOKS
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 15th International Symposium, AAECC-15, Toulouse, France, May 12–16, 2003 Proceedings / edited by Marc Fossorier, Tom Høholdt, Alain Poli.

by Fossorier, Marc [editor.] | Høholdt, Tom [editor.] | Poli, Alain [editor.] | SpringerLink (Online service).

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

E-BOOKS
Model Checking Software [electronic resource] : 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings / edited by Thomas Ball, Sriram K. Rajamani.

by Ball, Thomas [editor.] | Rajamani, Sriram K [editor.] | SpringerLink (Online service).

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

E-BOOKS
Testing of Communicating Systems [electronic resource] : 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26–28, 2003 Proceedings / edited by Dieter Hogrefe, Anthony Wiles.

by Hogrefe, Dieter [editor.] | Wiles, Anthony [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advanced Functional Programming [electronic resource] : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002. Revised Lectures / edited by Johan Jeuring, Simon L. Peyton Jones.

by Jeuring, Johan [editor.] | Jones, Simon L. Peyton [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computational Science and Its Applications — ICCSA 2003 [electronic resource] : International Conference Montreal, Canada, May 18–21, 2003 Proceedings, Part I / edited by Vipin Kumar, Marina L. Gavrilova, Chih Jeng Kenneth Tan, Pierre L’Ecuyer.

by Kumar, Vipin [editor.] | Gavrilova, Marina L [editor.] | Tan, Chih Jeng Kenneth [editor.] | L’Ecuyer, Pierre [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computational Science and Its Applications — ICCSA 2003 [electronic resource] : International Conference Montreal, Canada, May 18–21, 2003 Proceedings, Part III / edited by Vipin Kumar, Marina L. Gavrilova, Chih Jeng Kenneth Tan, Pierre L’Ecuyer.

by Kumar, Vipin [editor.] | Gavrilova, Marina L [editor.] | Tan, Chih Jeng Kenneth [editor.] | L’Ecuyer, Pierre [editor.] | SpringerLink (Online service).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha