Your search returned 3388 results.

Not what you expected? Check for suggestions
E-BOOKS
Theorem Proving in Higher Order Logics [electronic resource] : 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings / edited by Richard J. Boulton, Paul B. Jackson.

by Boulton, Richard J [editor.] | Jackson, Paul B [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2152Source: 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
Database and Expert Systems Applications [electronic resource] : 12th International Conference, DEXA 2001 Munich, Germany, September 3–5, 2001 Proceedings / edited by Heinrich C. Mayr, Jiri Lazansky, Gerald Quirchmayr, Pavel Vogel.

by Mayr, Heinrich C [editor.] | Lazansky, Jiri [editor.] | Quirchmayr, Gerald [editor.] | Vogel, Pavel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2113Source: 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
Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings / edited by E. Thomas Schubert, Philip J. Windley, James Alves-Foss.

by Thomas Schubert, E [editor.] | Windley, Philip J [editor.] | Alves-Foss, James [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Information Management in Computer Integrated Manufacturing [electronic resource] : A Comprehensive Guide to State-of-the-Art CIM Solutions / edited by Heimo H. Adelsberger, Jiří Lažanský, Vladimír Mařík.

by Adelsberger, Heimo H [editor.] | Lažanský, Jiří [editor.] | Mařík, Vladimír [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
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): .

Place hold Log in to add tags
E-BOOKS
Principles and Practice of Constraint Programming — CP '95 [electronic resource] : First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings / edited by Ugo Montanari, Francesca Rossi.

by Montanari, Ugo [editor.] | Rossi, Francesca [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Database and Expert Systems Applications [electronic resource] : 6th International Conference, DEXA '95 London, United Kingdom, September 4–8, 1995 Proceedings / edited by Norman Revell, A Min Tjoa.

by Revell, Norman [editor.] | Tjoa, A Min [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Principles of Data Mining and Knowledge Discovery [electronic resource] : 5th European Conference, PKDD 2001, Freiburg, Germany, September 3–5, 2001 Proceedings / edited by Luc Raedt, Arno Siebes.

by Raedt, Luc [editor.] | Siebes, Arno [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2168Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Other title: Dedicated to Jan Zytkow.Online 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
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
E-BOOKS
Cooperative Information Agents V [electronic resource] : 5th InternationalWorkshop, CIA 2001 Modena, Italy, September 6–8, 2001 Proceedings / edited by Matthias Klusch, Franco Zambonelli.

by Klusch, Matthias [editor.] | Zambonelli, Franco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2182Source: 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 Science Logic [electronic resource] : 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings / edited by Laurent Fribourg.

by Fribourg, Laurent [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2142Source: 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
Text, Speech and Dialogue [electronic resource] : 4th International Conference, TSD 2001 železná Ruda, Czech Republic, September 11–13, 2001, Proceedings / edited by Václav Matoušek, Pavel Mautner, Roman Mouček, Karel Taušer.

by Matoušek, Václav [editor.] | Mautner, Pavel [editor.] | Mouček, Roman [editor.] | Taušer, Karel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2166Source: 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
Technologies for E-Services [electronic resource] : Second International Workshop, TES 2001 Rome, Italy, September 14–15, 2001 Proceedings / edited by Fabio Casati, Ming-Chien Shan, Dimitrios Georgakopoulos.

by Casati, Fabio [editor.] | Shan, Ming-Chien [editor.] | Georgakopoulos, Dimitrios [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2193Source: 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 Artificial Life [electronic resource] : 6th European Conference, ECAL 2001 Prague, Czech Republic, September 10–14, 2001 Proceedings / edited by Jozef Kelemen, Petr Sosík.

by Kelemen, Jozef [editor.] | Sosík, Petr [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2159Source: 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
Intelligent Virtual Agents [electronic resource] : Third International Workshop, IVA 2001 Madrid, Spain, September 10–11, 2001 Proceedings / edited by Angélica Antonio, Ruth Aylett, Daniel Ballin.

by Antonio, Angélica [editor.] | Aylett, Ruth [editor.] | Ballin, Daniel [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Advances in Intelligent Data Analysis [electronic resource] : 4th International Conference, IDA 2001 Cascais, Portugal, September 13–15, 2001 Proceedings / edited by Frank Hoffmann, David J. Hand, Niall Adams, Douglas Fisher, Gabriela Guimaraes.

by Hoffmann, Frank [editor.] | Hand, David J [editor.] | Adams, Niall [editor.] | Fisher, Douglas [editor.] | Guimaraes, Gabriela [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha