Your search returned 8979 results.

Not what you expected? Check for suggestions
E-BOOKS
Computational Logic: Logic Programming and Beyond [electronic resource] : Essays in Honour of Robert A. Kowalski Part I / edited by Antonis C. Kakas, Fariba Sadri.

by Kakas, Antonis C [editor.] | Sadri, Fariba [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Soft Computing — AFSS 2002 [electronic resource] : 2002 AFSS International Conference on Fuzzy Systems Calcutta, India, February 3–6, 2002 Proceedings / edited by Nikhil R. Pal, Michio Sugeno.

by Pal, Nikhil R [editor.] | Sugeno, Michio [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computational Logic: Logic Programming and Beyond [electronic resource] : Essays in Honour of Robert A. Kowalski Part II / edited by Antonis C. Kakas, Fariba Sadri.

by Kakas, Antonis C [editor.] | Sadri, Fariba [editor.] | SpringerLink (Online service).

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

E-BOOKS
Foundations and Applications of Multi-Agent Systems [electronic resource] : UKMAS Workshops 1996–2000 Selected Papers / edited by Mark d’Inverno, Michael Luck, Michael Fisher, Chris Preist.

by d’Inverno, Mark [editor.] | Luck, Michael [editor.] | Fisher, Michael [editor.] | Preist, Chris [editor.] | SpringerLink (Online service).

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

E-BOOKS
Logic Programming [electronic resource] : 17thInternational Conference, ICLP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings / edited by Philippe Codognet.

by Codognet, Philippe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2237Source: 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
Digital Cities II: Computational and Sociological Approaches [electronic resource] : Second Kyoto Workshop on Digital Cities Kyoto, Japan, October 18–20, 2001 Revised Papers / edited by Makoto Tanabe, Peter Besselaar, Toru Ishida.

by Tanabe, Makoto [editor.] | Besselaar, Peter [editor.] | Ishida, Toru [editor.] | SpringerLink (Online service).

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

E-BOOKS
Information Retrieval Techniques for Speech Applications [electronic resource] / edited by Anni R. Coden, Eric W. Brown, Savitha Srinivasan.

by Coden, Anni R [editor.] | Brown, Eric W [editor.] | Srinivasan, Savitha [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advanced Internet Services and Applications [electronic resource] : First International Workshop, AISA 2002 Seoul, Korea, August 1–2, 2002 Proceedings / edited by Whie Chang.

by Chang, Whie [editor.] | SpringerLink (Online service).

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

E-BOOKS
WEBKDD 2001 — Mining Web Log Data Across All Customers Touch Points [electronic resource] : Third International Workshop San Francisco, CA, USA, August 26, 2001 Revised Papers / edited by Ron Kohavi, Brij M. Masand, Myra Spiliopoulou, Jaideep Srivastava.

by Kohavi, Ron [editor.] | Masand, Brij M [editor.] | Spiliopoulou, Myra [editor.] | Srivastava, Jaideep [editor.] | SpringerLink (Online service).

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

E-BOOKS
Algorithm Engineering and Experiments [electronic resource] : 4th International Workshop, ALENEX 2002 San Francisco, CA, USA, January 4–5, 2002 Revised Papers / edited by David M. Mount, Clifford Stein.

by Mount, David M [editor.] | Stein, Clifford [editor.] | SpringerLink (Online service).

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

E-BOOKS
Grid Computing — GRID 2001 [electronic resource] : Second International Workshop Denver, CO, USA, November 12, 2001 Proceedings / edited by Craig A. Lee.

by Lee, Craig A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2242Source: 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
Recent Trends in Algebraic Development Techniques [electronic resource] : 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting Genova, Italy, April 1–3, 2001 Selected Papers / edited by Maura Cerioli, Gianna Reggio.

by Cerioli, Maura [editor.] | Reggio, Gianna [editor.] | SpringerLink (Online service).

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

E-BOOKS
Mobile Agents [electronic resource] : 5th International Conference, MA 2001 Atlanta, GA, USA, December 2–4, 2001 Proceedings / edited by Gian Pietro Picco.

by Picco, Gian Pietro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2240Source: 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
ZB 2002:Formal Specification and Development in Z and B [electronic resource] : 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings / edited by Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson.

by Bert, Didier [editor.] | Bowen, Jonathan P [editor.] | Henson, Martin C [editor.] | Robinson, Ken [editor.] | SpringerLink (Online service).

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

E-BOOKS
Discovery Science [electronic resource] : 4th International Conference, DS 2001 Washington, DC, USA, November 25–28, 2001 Proceedings / edited by Klaus P. Jantke, Ayumi Shinohara.

by Jantke, Klaus P [editor.] | Shinohara, Ayumi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2226Source: 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
Modular Specification and Verification of Object-Oriented Programs [electronic resource] / edited by Peter Müller.

by Müller, Peter [editor.] | SpringerLink (Online service).

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

E-BOOKS
Software Product Lines [electronic resource] : Second International Conference, SPLC 2 San Diego, CA, USA, August 19–22, 2002 Proceedings / edited by Gary J. Chastek.

by Chastek, Gary J [editor.] | SpringerLink (Online service).

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

E-BOOKS
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings / edited by Robert Nieuwenhuis, Andrei Voronkov.

by Nieuwenhuis, Robert [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2250Source: 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
Computer Aided Systems Theory — EUROCAST 2001 [electronic resource] : A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 19–23, 2001 Revised Papers / edited by Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire.

by Moreno-Díaz, Roberto [editor.] | Buchberger, Bruno [editor.] | Luis Freire, José [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2178Source: 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
Computing and Combinatorics [electronic resource] : 8th Annual International Conference, COCOON 2002 Singapore, August 15–17, 2002 Proceedings / edited by Oscar H. Ibarra, Louxin Zhang.

by Ibarra, Oscar H [editor.] | Zhang, Louxin [editor.] | SpringerLink (Online service).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha