Your search returned 3393 results.

Not what you expected? Check for suggestions
E-BOOKS
Logic in Databases [electronic resource] : International Workshop LID '96 San Miniato, Italy, July 1–2, 1996 Proceedings / edited by Dino Pedreschi, Carlo Zaniolo.

by Pedreschi, Dino [editor.] | Zaniolo, Carlo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1154Source: 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
Algorithmic Learning Theory [electronic resource] : 7th International Workshop, ALT '96 Sydney, Australia, October 23–25, 1996 Proceedings / edited by Setsuo Arikawa, Arun K. Sharma.

by Arikawa, Setsuo [editor.] | Sharma, Arun K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1160Source: 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 Data Mining. Medical Applications, E-Commerce, Marketing, and Theoretical Aspects [electronic resource] : 8th Industrial Conference, ICDM 2008 Leipzig, Germany, July 16-18, 2008 Proceedings / edited by Petra Perner.

by Perner, Petra [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5077Source: 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
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers / edited by Stefano Berardi, Mario Coppo.

by Berardi, Stefano [editor.] | Coppo, Mario [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1158Source: 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
Extraction and Exploitation of Intensional Knowledge from Heterogeneous Information Sources [electronic resource] : Semi-Automatic Approaches and Tools / by Domenico Ursino.

by Ursino, Domenico [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2282Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Qualitative Spatial Reasoning with Topological Information [electronic resource] / edited by Jochen Renz.

by Renz, Jochen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2293Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Visualization in Biomedical Computing [electronic resource] : 4th International Conference, VBC'96 Hamburg, Germamy, September 22–25, 1996 Proceedings / edited by Karl Heinz Höhne, Ron Kikinis.

by Höhne, Karl Heinz [editor.] | Kikinis, Ron [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1131Source: 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
Artificial Intelligence and Symbolic Mathematical Computation [electronic resource] : International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings / edited by Jacques Calmet, John A. Campbell, Jochen Pfalzgraf.

by Calmet, Jacques [editor.] | Campbell, John A [editor.] | Pfalzgraf, Jochen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1138Source: 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
Scaling Topic Maps [electronic resource] : Third International Conference on Topic Maps Research and Applications, TMRA 2007 Leipzig, Germany, October 11-12, 2007 Revised Selected Papers / edited by Lutz Maicher, Lars Marius Garshol.

by Maicher, Lutz [editor.] | Garshol, Lars Marius [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4999Source: 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
Formal Concept Analysis [electronic resource] : 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings / edited by Sergei O. Kuznetsov, Stefan Schmidt.

by Kuznetsov, Sergei O [editor.] | Schmidt, Stefan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4390Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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-Agent-Based Simulation VIII [electronic resource] : International Workshop, MABS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers / edited by Luis Antunes, Mario Paolucci, Emma Norling.

by Antunes, Luis [editor.] | Paolucci, Mario [editor.] | Norling, Emma [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5003Source: 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
Evolutionary Multi-Criterion Optimization [electronic resource] : 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007. Proceedings / edited by Shigeru Obayashi, Kalyanmoy Deb, Carlo Poloni, Tomoyuki Hiroyasu, Tadahiko Murata.

by Obayashi, Shigeru [editor.] | Deb, Kalyanmoy [editor.] | Poloni, Carlo [editor.] | Hiroyasu, Tomoyuki [editor.] | Murata, Tadahiko [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4403Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Cognitive Systems [electronic resource] : Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers / edited by Ruqian Lu, Jörg H. Siekmann, Carsten Ullrich.

by Lu, Ruqian [editor.] | Siekmann, Jörg H [editor.] | Ullrich, Carsten [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4429Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Computational Linguistics and Intelligent Text Processing [electronic resource] : 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007. Proceedings / edited by Alexander Gelbukh.

by Gelbukh, Alexander [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4394Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Agent-Oriented Software Engineering VII [electronic resource] : 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers / edited by Lin Padgham, Franco Zambonelli.

by Padgham, Lin [editor.] | Zambonelli, Franco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4405Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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 Frontiers in Artificial Intelligence [electronic resource] : JSAI 2003 and JSAI 2004 Conferences and Workshops, Niigata, Japan, June 23-27, 2003 and Kanazawa, Japan, May 31 - June 4, 2004, Revised Selected Papers / edited by Akito Sakurai, Kôiti Hasida, Katsumi Nitta.

by Sakurai, Akito [editor.] | Hasida, Kôiti [editor.] | Nitta, Katsumi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3609Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Pixelization Paradigm [electronic resource] : First Visual Information Expert Workshop, VIEW 2006, Paris, France, April 24-25, 2006, Revised Selected Papers / edited by Pierre P Lévy, Bénédicte Grand, François Poulet, Michel Soto, Laszlo Darago, Laurent Toubiana, Jean-François Vibert.

by Lévy, Pierre P [editor.] | Grand, Bénédicte [editor.] | Poulet, François [editor.] | Soto, Michel [editor.] | Darago, Laszlo [editor.] | Toubiana, Laurent [editor.] | Vibert, Jean-François [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4370Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Knowledge Discovery and Emergent Complexity in Bioinformatics [electronic resource] : First International Workshop, KDECB 2006, Ghent, Belgium, May 10, 2006. Revised Selected Papers / edited by Karl Tuyls, Ronald Westra, Yvan Saeys, Ann Nowé.

by Tuyls, Karl [editor.] | Westra, Ronald [editor.] | Saeys, Yvan [editor.] | Nowé, Ann [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4366Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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] : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings / edited by Otmane Ait Mohamed, César Muñoz, Sofiène Tahar.

by Mohamed, Otmane Ait [editor.] | Muñoz, César [editor.] | Tahar, Sofiène [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5170Source: 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
Automated Reasoning [electronic resource] : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings / edited by Alessandro Armando, Peter Baumgartner, Gilles Dowek.

by Armando, Alessandro [editor.] | Baumgartner, Peter [editor.] | Dowek, Gilles [editor.] | SpringerLink (Online service).

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

Powered by Koha