Your search returned 3388 results.

Not what you expected? Check for suggestions
E-BOOKS
Automated Deduction in Equational Logic and Cubic Curves [electronic resource] / by W. McCune, R. Padmanabhan.

by McCune, W [author.] | Padmanabhan, R [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1095Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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 Pattern Recognition [electronic resource] : Joint IAPR International Workshops SSPR'98 and SPR'98 Sydney, Australia, August 11–13, 1998 Proceedings / edited by Adnan Amin, Dov Dori, Pavel Pudil, Herbert Freeman.

by Amin, Adnan [editor.] | Dori, Dov [editor.] | Pudil, Pavel [editor.] | Freeman, Herbert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1451Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Multimodal Technologies for Perception of Humans [electronic resource] : International Evaluation Workshops CLEAR 2007 and RT 2007, Baltimore, MD, USA, May 8-11, 2007, Revised Selected Papers / edited by Rainer Stiefelhagen, Rachel Bowers, Jonathan Fiscus.

by Stiefelhagen, Rainer [editor.] | Bowers, Rachel [editor.] | Fiscus, Jonathan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4625Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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 in Structural Engineering [electronic resource] : Information Technology for Design, Collaboration, Maintenance, and Monitoring / edited by Ian Smith.

by Smith, Ian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1454Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Algebraic Methodology and Software Technology [electronic resource] : 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings / edited by Martin Wirsing, Maurice Nivat.

by Wirsing, Martin [editor.] | Nivat, Maurice [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1101Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Rewriting Techniques and Applications [electronic resource] : 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings / edited by Harald Ganzinger.

by Ganzinger, Harald [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1103Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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 Aided Verification [electronic resource] : 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings / edited by Rajeev Alur, Thomas A. Henzinger.

by Alur, Rajeev [editor.] | Henzinger, Thomas A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1102Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Over-Constrained Systems [electronic resource] / edited by Michael Jampel, Eugene Freuder, Michael Maher.

by Jampel, Michael [editor.] | Freuder, Eugene [editor.] | Maher, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1106Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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 and Security [electronic resource] / edited by Giovanni Vigna.

by Vigna, Giovanni [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1419Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Conceptual Structures: Theory, Tools and Applications [electronic resource] : 6th International Conference on Conceptual Structures, ICCS’98 Montpellier, France, August 10–12, 1998 Proceedings / edited by Marie-Laure Mugnier, Michel Chein.

by Mugnier, Marie-Laure [editor.] | Chein, Michel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1453Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Reasoning with Logic Programming [electronic resource] / edited by José Júlio Alferes, Luís Moniz Pereira.

by Alferes, José Júlio [editor.] | Moniz Pereira, Luís [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1111Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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 Aided Learning and Instruction in Science and Engineering [electronic resource] : Third International Conference, CALISCE '96 San Sebastian, Spain, July 29–31, 1996 Proceedings / edited by Arantza Díaz de Ilarraza Sánchez, Isabel Fernández de Castro.

by Díaz de Ilarraza Sánchez, Arantza [editor.] | Fernández de Castro, Isabel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1108Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Assistive Technology and Artificial Intelligence [electronic resource] : Applications in Robotics, User Interfaces and Natural Language Processing / edited by Vibhu O. Mittal, Holly A. Yanco, John Aronis, Richard Simpson.

by Mittal, Vibhu O [editor.] | Yanco, Holly A [editor.] | Aronis, John [editor.] | Simpson, Richard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1458Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Concurrency, Graphs and Models [electronic resource] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / edited by Pierpaolo Degano, Rocco Nicola, José Meseguer.

by Degano, Pierpaolo [editor.] | Nicola, Rocco [editor.] | Meseguer, José [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5065Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Automata, Languages and Programming [electronic resource] : 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings / edited by Kim G. Larsen, Sven Skyum, Glynn Winskel.

by Larsen, Kim G [editor.] | Skyum, Sven [editor.] | Winskel, Glynn [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1443Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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 Neural Networks — ICANN 96 [electronic resource] : 1996 International Conference Bochum, Germany, July 16–19, 1996 Proceedings / edited by Christoph Malsburg, Werner Seelen, Jan C. Vorbrüggen, Bernhard Sendhoff.

by Malsburg, Christoph [editor.] | Seelen, Werner [editor.] | Vorbrüggen, Jan C [editor.] | Sendhoff, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1112Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Virtual Worlds [electronic resource] : First International Conference, VW’98 Paris, France, July 1–3, 1998 Proceedings / edited by Jean-Claude Heudin.

by Heudin, Jean-Claude [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1434Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Automated Deduction — Cade-13 [electronic resource] : 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings / edited by M. A. McRobbie, J. K. Slaney.

by McRobbie, M. A [editor.] | Slaney, J. K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1104Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Non-Monotonic Extensions of Logic Programming [electronic resource] : Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers / edited by Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski.

by Dix, Jürgen [editor.] | Pereira, Luís Moniz [editor.] | Przymusinski, Teodor C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1216Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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
New Trends in Formal Languages [electronic resource] : Control, Cooperation, and Combinatorics / edited by Gheorghe Păun, Arto Salomaa.

by Păun, Gheorghe [editor.] | Salomaa, Arto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1218Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online 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