Your search returned 573 results.

Not what you expected? Check for suggestions
E-BOOKS
Models of Strategic Reasoning [electronic resource] : Logics, Games, and Communities / edited by Johan van Benthem, Sujata Ghosh, Rineke Verbrugge.

by van Benthem, Johan [editor.] | Ghosh, Sujata [editor.] | Verbrugge, Rineke [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 8972 | Lecture Notes in Computer Science ; 8972Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Frontiers of Combining Systems [electronic resource] : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings / edited by Clare Dixon, Marcelo Finger.

by Dixon, Clare [editor.] | Finger, Marcelo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10483 | Lecture Notes in Computer Science ; 10483Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Foundations of Biomedical Knowledge Representation [electronic resource] : Methods and Applications / edited by Arjen Hommersom, Peter J.F. Lucas.

by Hommersom, Arjen [editor.] | Lucas, Peter J.F [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9521 | Lecture Notes in Computer Science ; 9521Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
AI*IA 2013: Advances in Artificial Intelligence [electronic resource] : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings / edited by Matteo Baldoni, Cristina Baroglio, Guido Boella, Roberto Micalizio.

by Baldoni, Matteo [editor.] | Baroglio, Cristina [editor.] | Boella, Guido [editor.] | Micalizio, Roberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8249Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Automated Deduction in Geometry [electronic resource] : Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers / edited by Jürgen Richter-Gebert, Dongming Wang.

by Richter-Gebert, Jürgen [editor.] | Wang, Dongming [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2061Source: 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
Sorts and Types in Artificial Intelligence [electronic resource] : Workshop, Eringerfeld, FRG, April 24–26, 1989 Proceedings / edited by Karl Hans Bläsius, Ulrich Hedtstück, Claus-Rainer Rollinger.

by Bläsius, Karl Hans [editor.] | Hedtstück, Ulrich [editor.] | Rollinger, Claus-Rainer [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 418Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Foundations of Software Science and Computation Structures [electronic resource] : Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings / edited by Wolfgang Thomas.

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

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

E-BOOKS
Reasoning Web. Semantic Technologies for Software Engineering [electronic resource] : 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures / edited by Uwe Aßmann, Andreas Bartho, Christian Wende.

by Aßmann, Uwe [editor.] | Bartho, Andreas [editor.] | Wende, Christian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6325Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

BOOKS
An Introduction to Evolutionary Cognitive Archaeology

by Wynn, Thomas | Coolidge, Frederick L. (Translator).

;Language: English Language: English Publication details: New York Routledge 2022Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 59, Shelf No: 1 Call number: 902 WYNN.

BOOKS
The Sherlock Holmes Book

by Davies, David Stuart | Boyd, Polly (Ed.) | Graham, James (Illustrator) | Hamilton, Vanessa (Illustrator).

;Language: English Language: English Publication details: London DK Publishing 2015Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Technical Processing Call number: 82 DAV.

E-BOOKS
Current Topics in Artificial Intelligence [electronic resource] : 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003, San Sebastian, Spain, November 12-14, 2003. Revised Selected Papers / edited by Ricardo Conejo, Maite Urretavizcaya, José-Luis Pérez-de-la-Cruz.

by Conejo, Ricardo [editor.] | Urretavizcaya, Maite [editor.] | Pérez-de-la-Cruz, José-Luis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3040Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Logics in Artificial Intelligence [electronic resource] : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings / edited by Jóse Júlio Alferes, João Leite.

by Alferes, Jóse Júlio [editor.] | Leite, João [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3229Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
The Semantic Web: Research and Applications [electronic resource] : Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29–June 1, 2005. Proceedings / edited by Asunción Gómez-Pérez, Jérôme Euzenat.

by Gómez-Pérez, Asunción [editor.] | Euzenat, Jérôme [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3532Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Intelligent Data Engineering and Automated Learning - IDEAL 2005 [electronic resource] : 6th International Conference, Brisbane, Australia, July 6-8, 2005. Proceedings / edited by Marcus Gallagher, James P. Hogan, Frederic Maire.

by Gallagher, Marcus [editor.] | Hogan, James P [editor.] | Maire, Frederic [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3578Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
User Modeling 2005 [electronic resource] : 10th International Conference, UM 2005, Edinburgh, Scotland, UK, July 24-29, 2005. Proceedings / edited by Liliana Ardissono, Paul Brna, Antonija Mitrovic.

by Ardissono, Liliana [editor.] | Brna, Paul [editor.] | Mitrovic, Antonija [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3538Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Modeling Decisions for Artificial Intelligence [electronic resource] : Second International Conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005. Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Sadaaki Miyamoto.

by Torra, Vicenç [editor.] | Narukawa, Yasuo [editor.] | Miyamoto, Sadaaki [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3558Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Logical Approaches to Computational Barriers [electronic resource] : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings / edited by Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker.

by Beckmann, Arnold [editor.] | Berger, Ulrich [editor.] | Löwe, Benedikt [editor.] | Tucker, John V [editor.] | SpringerLink (Online service).

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

E-BOOKS
Pattern Recognition [electronic resource] : 4th International Conference Cambridge, U.K., March 28–30, 1988 Proceedings / edited by J. Kittler.

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

Series: Lecture Notes in Computer Science ; 301Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
The Semantic Web - ISWC 2003 [electronic resource] : Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003. Proceedings / edited by Dieter Fensel, Katia Sycara, John Mylopoulos.

by Fensel, Dieter [editor.] | Sycara, Katia [editor.] | Mylopoulos, John [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Artificial Intelligence [electronic resource] : 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, Halifax, Canada, June 11–13, 2003, Proceedings / edited by Yang Xiang, Brahim Chaib-draa.

by Xiang, Yang [editor.] | Chaib-draa, Brahim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 2671Source: 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): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha