Your search returned 573 results.

Not what you expected? Check for suggestions
E-BOOKS
Advances in Conceptual Modeling. Recent Developments and New Directions [electronic resource] : ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31 - November 3, 2011. Proceedings / edited by Olga Troyer, Claudia Bauzer Medeiros, Roland Billen, Pierre Hallot, Alkis Simitsis, Hans Mingroot.

by Troyer, Olga [editor.] | Bauzer Medeiros, Claudia [editor.] | Billen, Roland [editor.] | Hallot, Pierre [editor.] | Simitsis, Alkis [editor.] | Mingroot, Hans [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation [electronic resource] : Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday / edited by Thomas Eiter, Hannes Strass, Mirosław Truszczyński, Stefan Woltran.

by Eiter, Thomas [editor.] | Strass, Hannes [editor.] | Truszczyński, Mirosław [editor.] | Woltran, Stefan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9060 | Lecture Notes in Computer Science ; 9060Edition: 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
Multi-disciplinary Trends in Artificial Intelligence [electronic resource] : 11th International Workshop, MIWAI 2017, Gadong, Brunei, November 20-22, 2017, Proceedings / edited by Somnuk Phon-Amnuaisuk, Swee-Peng Ang, Soo-Young Lee.

by Phon-Amnuaisuk, Somnuk [editor.] | Ang, Swee-Peng [editor.] | Lee, Soo-Young [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10607 | Lecture Notes in Computer Science ; 10607Edition: 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
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings / edited by Renate A. Schmidt, Cláudia Nalon.

by Schmidt, Renate A [editor.] | Nalon, Cláudia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10501 | Lecture Notes in Computer Science ; 10501Edition: 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
Advances in Artificial Intelligence [electronic resource] : 18th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2005, Victoria, Canada, May 9-11, 2005. Proceedings / edited by Balázs Kégl, Guy Lapalme.

by Kégl, Balázs [editor.] | Lapalme, Guy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3501Source: 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
The Semantic Web – ISWC 2005 [electronic resource] : 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedings / edited by Yolanda Gil, Enrico Motta, V. Richard Benjamins, Mark A. Musen.

by Gil, Yolanda [editor.] | Motta, Enrico [editor.] | Benjamins, V. Richard [editor.] | Musen, Mark A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3729Source: 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
Uncertainty and Intelligent Systems [electronic resource] : 2nd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems IPMU '88 Urbino, Italy, July 4–7, 1988 Proceedings / edited by B. Bouchon, L. Saitta, R. R. Yager.

by Bouchon, B [editor.] | Saitta, L [editor.] | Yager, R. R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 313Source: 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
Advances in Artificial Intelligence [electronic resource] : International Joint Conference 7th Ibero-American Conference on AI 15th Brazilian Symposium on AI IBERAMIA-SBIA 2000 Atibaia, SP, Brazil, November 19–22, 2000 Proceedings / edited by Maria Carolina Monard, Jaime Simão Sichman.

by Monard, Maria Carolina [editor.] | Sichman, Jaime Simão [editor.] | SpringerLink (Online service).

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

E-BOOKS
Modeling and Using Context [electronic resource] : Third International and Interdisciplinary Conference, CONTEXT 2001 Dundee, UK, July 27–30, 2001 Proceedings / edited by Varol Akman, Paolo Bouquet, Richmond Thomason, Roger Young.

by Akman, Varol [editor.] | Bouquet, Paolo [editor.] | Thomason, Richmond [editor.] | Young, Roger [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2116Source: 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
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 6th European Conference, ECSQARU 2001 Toulouse, France, September 19–21, 2001 Proceedings / edited by Salem Benferhat, Philippe Besnard.

by Benferhat, Salem [editor.] | Besnard, Philippe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2143Source: 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
Case-Based Reasoning Research and Development [electronic resource] : 5th International Conference on Case-Based Reasoning, ICCBR 2003 Trondheim, Norway, June 23–26, 2003 Proceedings / edited by Kevin D. Ashley, Derek G. Bridge.

by Ashley, Kevin D [editor.] | Bridge, Derek G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2689Source: 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
Conceptual Modeling - ER 2006 [electronic resource] : 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006. Proceedings / edited by David W. Embley, Antoni Olivé, Sudha Ram.

by Embley, David W [editor.] | Olivé, Antoni [editor.] | Ram, Sudha [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4215Source: 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
Automated Technology for Verification and Analysis [electronic resource] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings / edited by Susanne Graf, Wenhui Zhang.

by Graf, Susanne [editor.] | Zhang, Wenhui [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4218Source: 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
Logic Programming and Automated Reasoning [electronic resource] : International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings / edited by Andrei Voronkov.

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

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

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): .

E-BOOKS
Artificial Intelligence in Medicine [electronic resource] : Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making, AIMDM'99 Aalborg, Denmark, June 20–24, 1999 Proceedings / edited by Werner Horn, Yuval Shahar, Greger Lindberg, Steen Andreassen, Jeremy Wyatt.

by Horn, Werner [editor.] | Shahar, Yuval [editor.] | Lindberg, Greger [editor.] | Andreassen, Steen [editor.] | Wyatt, Jeremy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1620Source: 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
Artificial Intelligence in Medicine [electronic resource] : 5th Conference on Artificial Intelligence in Medicine Europe, AIME '95 Pavia, Italy, June 25–28, 1995 Proceedings / edited by Pedro Barahona, Mario Stefanelli, Jeremy Wyatt.

by Barahona, Pedro [editor.] | Stefanelli, Mario [editor.] | Wyatt, Jeremy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 934Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online 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] : 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008 Proceedings / edited by Sean Bechhofer, Manfred Hauswirth, Jörg Hoffmann, Manolis Koubarakis.

by Bechhofer, Sean [editor.] | Hauswirth, Manfred [editor.] | Hoffmann, Jörg [editor.] | Koubarakis, Manolis [editor.] | SpringerLink (Online service).

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

E-BOOKS
Artificial Intelligence in Medicine [electronic resource] : 6th Conference on Artificial Intelligence in Medicine Europe, AIME'97 Grenoble, France, March 23–26, 1997 Proceedings / edited by Elpida Keravnou, Catherine Garbay, Robert Baud, Jeremy Wyatt.

by Keravnou, Elpida [editor.] | Garbay, Catherine [editor.] | Baud, Robert [editor.] | Wyatt, Jeremy [editor.] | SpringerLink (Online service).

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

E-BOOKS
Rough Sets and Intelligent Systems Paradigms [electronic resource] : International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007. Proceedings / edited by Marzena Kryszkiewicz, James F. Peters, Henryk Rybinski, Andrzej Skowron.

by Kryszkiewicz, Marzena [editor.] | Peters, James F [editor.] | Rybinski, Henryk [editor.] | Skowron, Andrzej [editor.] | SpringerLink (Online service).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha