Your search returned 1207 results.

Not what you expected? Check for suggestions
E-BOOKS
Modeling Decisions for Artificial Intelligence [electronic resource] : 5th International Conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008. Proceedings / edited by Vicenç Torra, Yasuo Narukawa.

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

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

Place hold Log in to add tags
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): .

Place hold Log in to add tags
E-BOOKS
Provable Security [electronic resource] : Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings / edited by Joonsang Baek, Feng Bao, Kefei Chen, Xuejia Lai.

by Baek, Joonsang [editor.] | Bao, Feng [editor.] | Chen, Kefei [editor.] | Lai, Xuejia [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks [electronic resource] : Second International Conference, IPTComm 2008, Heidelberg, Germany, July 1-2, 2008. Revised Selected Papers / edited by Henning Schulzrinne, Radu State, Saverio Niccolini.

by Schulzrinne, Henning [editor.] | State, Radu [editor.] | Niccolini, Saverio [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Transactions on Petri Nets and Other Models of Concurrency I [electronic resource] / edited by Kurt Jensen, Wil M. P. Aalst, Jonathan Billington.

by Jensen, Kurt [editor.] | Aalst, Wil M. P [editor.] | Billington, Jonathan [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Learning and Intelligent Optimization [electronic resource] : Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers / edited by Vittorio Maniezzo, Roberto Battiti, Jean-Paul Watson.

by Maniezzo, Vittorio [editor.] | Battiti, Roberto [editor.] | Watson, Jean-Paul [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
High Performance Computing for Computational Science - VECPAR 2008 [electronic resource] : 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers / edited by José M. Laginha M. Palma, Patrick R. Amestoy, Michel Daydé, Marta Mattoso, João Correia Lopes.

by Palma, José M. Laginha M [editor.] | Amestoy, Patrick R [editor.] | Daydé, Michel [editor.] | Mattoso, Marta [editor.] | Lopes, João Correia [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
WALCOM: Algorithms and Computation [electronic resource] : Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009. Proceedings / edited by Sandip Das, Ryuhei Uehara.

by Das, Sandip [editor.] | Uehara, Ryuhei [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Information Security Applications [electronic resource] : 9th International Workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, Revised Selected Papers / edited by Kyo-Il Chung, Kiwook Sohn, Moti Yung.

by Chung, Kyo-Il [editor.] | Sohn, Kiwook [editor.] | Yung, Moti [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Evolutionary Multi-Criterion Optimization [electronic resource] : 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009. Proceedings / edited by Matthias Ehrgott, Carlos M. Fonseca, Xavier Gandibleux, Jin-Kao Hao, Marc Sevaux.

by Ehrgott, Matthias [editor.] | Fonseca, Carlos M [editor.] | Gandibleux, Xavier [editor.] | Hao, Jin-Kao [editor.] | Sevaux, Marc [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Research in Computational Molecular Biology [electronic resource] : 13th Annual International Conference, RECOMB 2009, Tucson, AZ, USA, May 18-21, 2009. Proceedings / edited by Serafim Batzoglou.

by Batzoglou, Serafim [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Computer Aided Verification [electronic resource] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings / edited by Ahmed Bouajjani, Oded Maler.

by Bouajjani, Ahmed [editor.] | Maler, Oded [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
RoboCup 2008: Robot Soccer World Cup XII [electronic resource] / edited by Luca Iocchi, Hitoshi Matsubara, Alfredo Weitzenfeld, Changjiu Zhou.

by Iocchi, Luca [editor.] | Matsubara, Hitoshi [editor.] | Weitzenfeld, Alfredo [editor.] | Zhou, Changjiu [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Recent Trends in Algebraic Development Techniques [electronic resource] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / edited by Andrea Corradini, Ugo Montanari.

by Corradini, Andrea [editor.] | Montanari, Ugo [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Computer Science Logic [electronic resource] : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings / edited by Erich Grädel, Reinhard Kahle.

by Grädel, Erich [editor.] | Kahle, Reinhard [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Testing of Software and Communication Systems [electronic resource] : 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings / edited by Manuel Núñez, Paul Baker, Mercedes G. Merayo.

by Núñez, Manuel [editor.] | Baker, Paul [editor.] | Merayo, Mercedes G [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
AI*IA 2009: Emergent Perspectives in Artificial Intelligence [electronic resource] : XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia, Italy, December 9-12, 2009 Proceedings / edited by Roberto Serra, Rita Cucchiara.

by Serra, Roberto [editor.] | Cucchiara, Rita [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Structural Information and Communication Complexity [electronic resource] : 16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers / edited by Shay Kutten, Janez Žerovnik.

by Kutten, Shay [editor.] | Žerovnik, Janez [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Computational Science and Its Applications – ICCSA 2010 [electronic resource] : International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part II / edited by David Taniar, Osvaldo Gervasi, Beniamino Murgante, Eric Pardede, Bernady O. Apduhan.

by Taniar, David [editor.] | Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Pardede, Eric [editor.] | Apduhan, Bernady O [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Architecting Critical Systems [electronic resource] : First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings / edited by Holger Giese.

by Giese, Holger [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha