Your search returned 3388 results.

Not what you expected? Check for suggestions
E-BOOKS
Spatio-Temporal Databases [electronic resource] : The CHOROCHRONOS Approach / edited by Timos K. Sellis, Manolis Koubarakis, Andrew Frank, Stéphane Grumbach, Ralf Hartmut Güting, Christian Jensen, Nikos A. Lorentzos, Yannis Manolopoulos, Enrico Nardelli, Barbara Pernici, Babis Theodoulidis, Nectaria Tryfona, Hans-Jörg Schek, Michel O. Scholl.

by Sellis, Timos K [editor.] | Koubarakis, Manolis [editor.] | Frank, Andrew [editor.] | Grumbach, Stéphane [editor.] | Güting, Ralf Hartmut [editor.] | Jensen, Christian [editor.] | Lorentzos, Nikos A [editor.] | Manolopoulos, Yannis [editor.] | Nardelli, Enrico [editor.] | Pernici, Barbara [editor.] | Theodoulidis, Babis [editor.] | Tryfona, Nectaria [editor.] | Schek, Hans-Jörg [editor.] | Scholl, Michel O [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2520Source: 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
Automated Deduction – CADE-19 [electronic resource] : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings / edited by Franz Baader.

by Baader, Franz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2741Source: 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
Information Processing in Medical Imaging [electronic resource] : 18th International Conference, IPMI 2003, Ambleside, UK, July 20-25, 2003. Proceedings / edited by Chris Taylor, J. Alison Noble.

by Taylor, Chris [editor.] | Noble, J. Alison [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2732Source: 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
Conceptual Structures for Knowledge Creation and Communication [electronic resource] : 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003. Proceedings / edited by Bernhard Ganter, Aldo Moor, Wilfried Lex.

by Ganter, Bernhard [editor.] | Moor, Aldo [editor.] | Lex, Wilfried [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2746Source: 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
Information Extraction in the Web Era [electronic resource] : Natural Language Communication for Knowledge Acquisition and Intelligent Information Agents / edited by Maria Teresa Pazienza.

by Pazienza, Maria Teresa [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2700Source: 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
Automated Deduction - CADE-17 [electronic resource] : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings / edited by David McAllester.

by McAllester, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1831Source: 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
Genetic and Evolutionary Computation — GECCO 2003 [electronic resource] : Genetic and Evolutionary Computation Conference Chicago, IL, USA, July 12–16, 2003 Proceedings, Part I / edited by Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, Lawrence David Davis, Rajkumar Roy, Una-May O’Reilly, Hans-Georg Beyer, Russell Standish, Graham Kendall, Stewart Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitch A. Potter, Alan C. Schultz, Kathryn A. Dowsland, Natasha Jonoska, Julian Miller.

by Cantú-Paz, Erick [editor.] | Foster, James A [editor.] | Deb, Kalyanmoy [editor.] | Davis, Lawrence David [editor.] | Roy, Rajkumar [editor.] | O’Reilly, Una-May [editor.] | Beyer, Hans-Georg [editor.] | Standish, Russell [editor.] | Kendall, Graham [editor.] | Wilson, Stewart [editor.] | Harman, Mark [editor.] | Wegener, Joachim [editor.] | Dasgupta, Dipankar [editor.] | Potter, Mitch A [editor.] | Schultz, Alan C [editor.] | Dowsland, Kathryn A [editor.] | Jonoska, Natasha [editor.] | Miller, Julian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2723Source: 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
Intelligent Tutoring Systems [electronic resource] : 5th International Conference, ITS 2000 Montréal, Canada, June 19–23, 2000 Proceedings / edited by Gilles Gauthier, Claude Frasson, Kurt VanLehn.

by Gauthier, Gilles [editor.] | Frasson, Claude [editor.] | VanLehn, Kurt [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1839Source: 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
Genetic and Evolutionary Computation — GECCO 2003 [electronic resource] : Genetic and Evolutionary Computation Conference Chicago, IL, USA, July 12–16, 2003 Proceedings, Part II / edited by Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, Lawrence David Davis, Rajkumar Roy, Una-May O’Reilly, Hans-Georg Beyer, Russell Standish, Graham Kendall, Stewart Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitch A. Potter, Alan C. Schultz, Kathryn A. Dowsland, Natasha Jonoska, Julian Miller.

by Cantú-Paz, Erick [editor.] | Foster, James A [editor.] | Deb, Kalyanmoy [editor.] | Davis, Lawrence David [editor.] | Roy, Rajkumar [editor.] | O’Reilly, Una-May [editor.] | Beyer, Hans-Georg [editor.] | Standish, Russell [editor.] | Kendall, Graham [editor.] | Wilson, Stewart [editor.] | Harman, Mark [editor.] | Wegener, Joachim [editor.] | Dasgupta, Dipankar [editor.] | Potter, Mitch A [editor.] | Schultz, Alan C [editor.] | Dowsland, Kathryn A [editor.] | Jonoska, Natasha [editor.] | Miller, Julian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2724Source: 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
Distributed Communities on the Web [electronic resource] : Third International Workshop, DCW 2000 Quebec City, Canada, June 19–21, 2000 Proceedings / edited by Peter G. Kropf, Gilbert Babin, John Plaice, Herwig Unger.

by Kropf, Peter G [editor.] | Babin, Gilbert [editor.] | Plaice, John [editor.] | Unger, Herwig [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1830Source: 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
Text- and Speech-Triggered Information Access [electronic resource] : 8th ELSNET Summer School, Chios Island, Greece, July 15-30 2000. Revised Lectures / edited by Steve Renals, Gregory Grefenstette.

by Renals, Steve [editor.] | Grefenstette, Gregory [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2705Source: 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
Learning-Based Robot Vision [electronic resource] : Principles and Applications / by Josef Pauli.

by Pauli, Josef [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2048Source: 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
Rewriting Techniques and Applications [electronic resource] : 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings / edited by Aart Middeldorp.

by Middeldorp, Aart [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2051Source: 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
Theorem Proving in Higher Order Logics [electronic resource] : 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings / edited by David Basin, Burkhart Wolff.

by Basin, David [editor.] | Wolff, Burkhart [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2758Source: 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
Formal Approaches to Agent-Based Systems [electronic resource] : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002. Revised Papers / edited by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears.

by Hinchey, Michael G [editor.] | Rash, James L [editor.] | Truszkowski, Walter F [editor.] | Rouff, Christopher [editor.] | Gordon-Spears, Diana [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2699Source: 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
Multi-Image Analysis [electronic resource] : 10th International Workshop on Theoretical Foundations of Computer Vision Dagstuhl Castle, Germany, March 12–17, 2000 Revised Papers / edited by Reinhard Klette, Georgy Gimel’farb, Thomas Huang.

by Klette, Reinhard [editor.] | Gimel’farb, Georgy [editor.] | Huang, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2032Source: 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
RoboCup 2002: Robot Soccer World Cup VI [electronic resource] / edited by Gal A. Kaminka, Pedro U. Lima, Raúl Rojas.

by Kaminka, Gal A [editor.] | Lima, Pedro U [editor.] | Rojas, Raúl [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2752Source: 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
Logic Based Program Synthesis and Transformation [electronic resource] : 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers / by Kung-Kiu Lau.

by Lau, Kung-Kiu [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2042Source: 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
Logic-Based Program Synthesis and Transformation [electronic resource] : 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers / edited by Annalisa Bossi.

by Bossi, Annalisa [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1817Source: 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
Web-Age Information Management [electronic resource] : First International Conference, WAIM 2000 Shanghai, China, June 21–23, 2000 Proceedings / edited by Hongjun Lu, Aoying Zhou.

by Lu, Hongjun [editor.] | Zhou, Aoying [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1846Source: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha