Your search returned 3393 results.

Not what you expected? Check for suggestions
E-BOOKS
Logic for Programming and Automated Reasoning [electronic resource] : 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings / edited by Harald Ganzinger, David McAllester, Andrei Voronkov.

by Ganzinger, Harald [editor.] | McAllester, David [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1705Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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] : Third European Conference, PKDD’99, Prague, Czech Republic, September 15-18, 1999. Proceedings / edited by Jan M. Żytkow, Jan Rauch.

by Żytkow, Jan M [editor.] | Rauch, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1704Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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] : 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings / edited by Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin.

by Bertot, Yves [editor.] | Dowek, Gilles [editor.] | Théry, Laurent [editor.] | Hirschowitz, André [editor.] | Paulin, Christine [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1690Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999Online 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
Rigorous Development of Complex Fault-Tolerant Systems [electronic resource] / edited by Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna.

by Butler, Michael [editor.] | Jones, Cliff B [editor.] | Romanovsky, Alexander [editor.] | Troubitsyna, Elena [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4157Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online 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 for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings / edited by Miki Hermann, Andrei Voronkov.

by Hermann, Miki [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4246Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online 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
On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part II / edited by Robert Meersman, Zahir Tari.

by Meersman, Robert [editor.] | Tari, Zahir [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4276Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online 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 Systems Theory — EUROCAST '93 [electronic resource] : A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory Las Palmas, Spain, February 22–26, 1993 Proceedings / edited by Franz Pichler, Roberto Moreno Díaz.

by Pichler, Franz [editor.] | Moreno Díaz, Roberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 763Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
Vivid Logic [electronic resource] : Knowledge-Based Reasoning with Two Kinds of Negation / by Gerd Wagner.

by Wagner, Gerd [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 764Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I / edited by Robert Meersman, Zahir Tari.

by Meersman, Robert [editor.] | Tari, Zahir [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4275Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online 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 Information Systems III [electronic resource] : 7th International Bi-Conference Workshop, AOIS 2005, Utrecht, Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers / edited by Manuel Kolp, Paolo Bresciani, Brian Henderson-Sellers, Michael Winikoff.

by Kolp, Manuel [editor.] | Bresciani, Paolo [editor.] | Henderson-Sellers, Brian [editor.] | Winikoff, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3529Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online 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
The Dynamics of Concepts [electronic resource] : A Connectionist Model / edited by Philip R. Loocke.

by Loocke, Philip R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 766Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
DataWarehousing and Knowledge Discovery [electronic resource] : First International Conference, DaWaK’99 Florence, Italy, August 30 – September 1, 1999 Proceedings / edited by Mukesh Mohania, A Min Tjoa.

by Mohania, Mukesh [editor.] | Tjoa, A Min [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1676Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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] : 5th European Conference, ECAL’99 Lausanne, Switzerland, September 13–17, 1999 Proceedings / edited by Dario Floreano, Jean-Daniel Nicoud, Francesco Mondada.

by Floreano, Dario [editor.] | Nicoud, Jean-Daniel [editor.] | Mondada, Francesco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1674Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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] : 10th International Conference, DEXA’99 Florence, Italy, August 30 – September 3, 1999 Proceedings / edited by Trevor J.M. Bench-Capon, Giovanni Soda, A Min Tjoa.

by Bench-Capon, Trevor J.M [editor.] | Soda, Giovanni [editor.] | Tjoa, A Min [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1677Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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
Representing Plans Under Uncertainty [electronic resource] : A Logic of Time, Chance, and Action / edited by Peter Haddawy.

by Haddawy, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 770Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
Modeling and Using Context [electronic resource] : Second International and Interdisciplinary Conference,CONTEXT’99 Trento, Italy, September 9–11, 1999 Proceedings / edited by Paolo Bouquet, Massimo Benerecetti, Luciano Serafini, Patrick Brézillon, Francesca Castellani.

by Bouquet, Paolo [editor.] | Benerecetti, Massimo [editor.] | Serafini, Luciano [editor.] | Brézillon, Patrick [editor.] | Castellani, Francesca [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1688Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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
Focusing Solutions for Data Mining [electronic resource] : Analytical Studies and Experimental Results in Real-World Domains / edited by Thomas Reinartz.

by Reinartz, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1623Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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 Today [electronic resource] : Recent Trends and Developments / edited by Michael J. Wooldridge, Manuela Veloso.

by Wooldridge, Michael J [editor.] | Veloso, Manuela [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1600Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999Online 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
Management and Processing of Complex Data Structures [electronic resource] : Third Workshop on Information Systems and Artificial Intelligence Hamburg, Germany, February 28–March 2, 1994 Proceedings / edited by Kai Luck, Heinz Marburger.

by Luck, Kai [editor.] | Marburger, Heinz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 777Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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 Database Technology — EDBT '94 [electronic resource] : 4th International Conference on Extending Database Technology Cambridge, United Kingdom, March 28–31, 1994 Proceedings / edited by Matthias Jarke, Janis Bubenko, Keith Jeffery.

by Jarke, Matthias [editor.] | Bubenko, Janis [editor.] | Jeffery, Keith [editor.] | SpringerLink (Online service).

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