Your search returned 192 results.

Not what you expected? Check for suggestions
E-BOOKS
Abstraction, Reformulation and Approximation [electronic resource] : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings / edited by Jean-Daniel Zucker, Lorenza Saitta.

by Zucker, Jean-Daniel [editor.] | Saitta, Lorenza [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3607Source: 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: Research and Applications [electronic resource] : 3rd European Semantic Web Conference, ESWC 2006 Budva, Montenegro, June 11-14, 2006 Proceedings / edited by York Sure, John Domingue.

by Sure, York [editor.] | Domingue, John [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4011Source: 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
Topics in Artificial Intelligence [electronic resource] : 5th Catalonian Conference on AI, CCIA 2002 Castellón, Spain, October 24–25, 2002 Proceedings / edited by M. Teresa Escrig, Francisco Toledo, Elisabet Golobardes.

by Escrig, M. Teresa [editor.] | Toledo, Francisco [editor.] | Golobardes, Elisabet [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2504Source: 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
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings / edited by Hubert Garavel, John Hatcliff.

by Garavel, Hubert [editor.] | Hatcliff, John [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2619Source: 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
Web Technologies and Applications [electronic resource] : 5th Asia-Pacific Web Conference, APWeb 2003, Xian, China, April 23–25, 2003 Proceedings / edited by Xiaofang Zhou, Maria E. Orlowska, Yanchun Zhang.

by Zhou, Xiaofang [editor.] | Orlowska, Maria E [editor.] | Zhang, Yanchun [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2642Source: 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
Text, Speech and Dialogue [electronic resource] : 6th International Conference, TSD 2003, České Budéjovice, Czech Republic, September 8-12, 2003. Proceedings / edited by Václav Matoušek, Pavel Mautner.

by Matoušek, Václav [editor.] | Mautner, Pavel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2807Source: 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
Logic Programming [electronic resource] : 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings / edited by Peter J. Stuckey.

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

Series: Lecture Notes in Computer Science ; 2401Source: 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
AI 2001: Advances in Artificial Intelligence [electronic resource] : 14th Australian Joint Conference on Artificial Intelligence Adelaide, Australia, December 10–14, 2001 Proceedings / edited by Markus Stumptner, Dan Corbett, Mike Brooks.

by Stumptner, Markus [editor.] | Corbett, Dan [editor.] | Brooks, Mike [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2256Source: 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
Diagrammatic Representation and Inference [electronic resource] : Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18–20, 2002 Proceedings / edited by Mary Hegarty, Bernd Meyer, N. Hari Narayanan.

by Hegarty, Mary [editor.] | Meyer, Bernd [editor.] | Narayanan, N. Hari [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2317Source: 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
Application and Theory of Petri Nets 1993 [electronic resource] : 14th International Conference Chicago, Illinois, USA, June 21–25, 1993 Proceedings / edited by Marco Ajmone Marsan.

by Ajmone Marsan, Marco [editor.] | SpringerLink (Online service).

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

E-BOOKS
Distributed Algorithms [electronic resource] : 7th International Workshop, WDAG'93 Lausanne, Switzerland, September 27–29, 1993 Proceedings / edited by André Schiper.

by Schiper, André [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Artificial Intelligence [electronic resource] : 12th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI'98 Vancouver, BC, Canada, June 18–20, 1998 Proceedings / edited by Robert E. Mercer, Eric Neufeld.

by Mercer, Robert E [editor.] | Neufeld, Eric [editor.] | SpringerLink (Online service).

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

E-BOOKS
Logic, Language, Information and Computation [electronic resource] : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / edited by Wilfrid Hodges, Ruy Queiroz.

by Hodges, Wilfrid [editor.] | Queiroz, Ruy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5110Source: 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
Secure Data Management [electronic resource] : 4th VLDB Workshop, SDM 2007, Vienna, Austria, September 23-24, 2007. Proceedings / edited by Willem Jonker, Milan Petković.

by Jonker, Willem [editor.] | Petković, Milan [editor.] | SpringerLink (Online service).

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

E-BOOKS
Advances in Artificial Intelligence – IBERAMIA 2008 [electronic resource] : 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings / edited by Hector Geffner, Rui Prada, Isabel Machado Alexandre, Nuno David.

by Geffner, Hector [editor.] | Prada, Rui [editor.] | Machado Alexandre, Isabel [editor.] | David, Nuno [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5290Source: 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
Transactions on Rough Sets IX [electronic resource] / edited by James F. Peters, Andrzej Skowron, Henryk Rybiński.

by Peters, James F [editor.] | Skowron, Andrzej [editor.] | Rybiński, Henryk [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5390Source: 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
Hybrid Artificial Intelligence Systems [electronic resource] : 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009. Proceedings / edited by Emilio Corchado, Xindong Wu, Erkki Oja, Álvaro Herrero, Bruno Baruque.

by Corchado, Emilio [editor.] | Wu, Xindong [editor.] | Oja, Erkki [editor.] | Herrero, Álvaro [editor.] | Baruque, Bruno [editor.] | SpringerLink (Online service).

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

E-BOOKS
Algorithms and Computation [electronic resource] : 21st International Symposium, ISAAC 2010, Jeju, Korea, December 15-17, 2010, Proceedings, Part II / edited by Otfried Cheong, Kyung-Yong Chwa, Kunsoo Park.

by Cheong, Otfried [editor.] | Chwa, Kyung-Yong [editor.] | Park, Kunsoo [editor.] | SpringerLink (Online service).

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

E-BOOKS
Rainbow of Computer Science [electronic resource] : Dedicated to Hermann Maurer on the Occasion of His 70th Birthday / edited by Cristian S. Calude, Grzegorz Rozenberg, Arto Salomaa.

by Calude, Cristian S [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6570Source: 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
Fundamental Approaches to Software Engineering [electronic resource] : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Vittorio Cortellessa, Dániel Varró.

by Cortellessa, Vittorio [editor.] | Varró, Dániel [editor.] | SpringerLink (Online service).

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