Your search returned 3421 results.

Not what you expected? Check for suggestions
E-BOOKS
Logic, Language and Meaning [electronic resource] : 18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011, Revised Selected Papers / edited by Maria Aloni, Vadim Kimmelman, Floris Roelofsen, Galit W. Sassoon, Katrin Schulz, Matthijs Westera.

by Aloni, Maria [editor.] | Kimmelman, Vadim [editor.] | Roelofsen, Floris [editor.] | Sassoon, Galit W [editor.] | Schulz, Katrin [editor.] | Westera, Matthijs [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7218Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Lectures on Logic and Computation [electronic resource] : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes / edited by Nick Bezhanishvili, Valentin Goranko.

by Bezhanishvili, Nick [editor.] | Goranko, Valentin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7388Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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 Data Mining. Applications and Theoretical Aspects [electronic resource] : 12th Industrial Conference, ICDM 2012, Berlin, Germany, July 13-20, 2012. Proceedings / edited by Petra Perner.

by Perner, Petra [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7377Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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
Biomimetic and Biohybrid Systems [electronic resource] : First International Conference, Living Machines 2012, Barcelona, Spain, July 9-12, 2012. Proceedings / edited by Tony J. Prescott, Nathan F. Lepora, Anna Mura, Paul F. M. J. Verschure.

by Prescott, Tony J [editor.] | Lepora, Nathan F [editor.] | Mura, Anna [editor.] | Verschure, Paul F. M. J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7375Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 8th International Conference, MLDM 2012, Berlin, Germany, July 13-20, 2012. Proceedings / edited by Petra Perner.

by Perner, Petra [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7376Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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 Logic of Categorial Grammars [electronic resource] : A Deductive Account of Natural Language Syntax and Semantics / by Richard Moot, Christian Retoré.

by Moot, Richard [author.] | Retoré, Christian [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6850Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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 Brain Inspired Cognitive Systems [electronic resource] : 5th International Conference, BICS 2012, Shenyang, China, July 11-14, 2012. Proceedings / edited by Huaguang Zhang, Amir Hussain, Derong Liu, Zhanshan Wang.

by Zhang, Huaguang [editor.] | Hussain, Amir [editor.] | Liu, Derong [editor.] | Wang, Zhanshan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7366Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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
Articulated Motion and Deformable Objects [electronic resource] : 7th International Conference, AMDO 2012, Port d’Andratx, Mallorca, Spain, July 11-13, 2012. Proceedings / edited by Francisco J. Perales, Robert B. Fisher, Thomas B. Moeslund.

by Perales, Francisco J [editor.] | Fisher, Robert B [editor.] | Moeslund, Thomas B [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7378Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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
Deontic Logic in Computer Science [electronic resource] : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings / edited by Thomas Ågotnes, Jan Broersen, Dag Elgesem.

by Ågotnes, Thomas [editor.] | Broersen, Jan [editor.] | Elgesem, Dag [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7393Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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
Intelligent Computing Theories and Applications [electronic resource] : 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings / edited by De-Shuang Huang, Jianhua Ma, Kang-Hyun Jo, M. Michael Gromiha.

by Huang, De-Shuang [editor.] | Ma, Jianhua [editor.] | Jo, Kang-Hyun [editor.] | Gromiha, M. Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7390Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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
Intelligent Computing Technology [electronic resource] : 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings / edited by De-Shuang Huang, Changjun Jiang, Vitoantonio Bevilacqua, Juan Carlos Figueroa.

by Huang, De-Shuang [editor.] | Jiang, Changjun [editor.] | Bevilacqua, Vitoantonio [editor.] | Figueroa, Juan Carlos [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7389Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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
Theory and Applications of Satisfiability Testing – SAT 2012 [electronic resource] : 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings / edited by Alessandro Cimatti, Roberto Sebastiani.

by Cimatti, Alessandro [editor.] | Sebastiani, Roberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7317Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Methodologies and Technologies for Networked Enterprises [electronic resource] : ArtDeco: Adaptive Infrastructures for Decentralised Organisations / edited by Giuseppe Anastasi, Emilio Bellini, Elisabetta Nitto, Carlo Ghezzi, Letizia Tanca, Eugenio Zimeo.

by Anastasi, Giuseppe [editor.] | Bellini, Emilio [editor.] | Nitto, Elisabetta [editor.] | Ghezzi, Carlo [editor.] | Tanca, Letizia [editor.] | Zimeo, Eugenio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7200Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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
Web Engineering [electronic resource] : 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. Proceedings / edited by Marco Brambilla, Takehiro Tokuda, Robert Tolksdorf.

by Brambilla, Marco [editor.] | Tokuda, Takehiro [editor.] | Tolksdorf, Robert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7387Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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
Agents and Peer-to-Peer Computing [electronic resource] : 7th International Workshop, AP2PC 2008, Estoril, Portugal, May 13, 2008 and 8th International Workshop, AP2PC 2009, Budapest, Hungary, May 11, 2009. Revised Selected Papers / edited by Domenico Beneventano, Zoran Despotovic, Francesco Guerra, Sam Joseph, Gianluca Moro, Adrián Perreau Pinninck.

by Beneventano, Domenico [editor.] | Despotovic, Zoran [editor.] | Guerra, Francesco [editor.] | Joseph, Sam [editor.] | Moro, Gianluca [editor.] | Pinninck, Adrián Perreau [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6573Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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
Bisociative Knowledge Discovery [electronic resource] : An Introduction to Concept, Algorithms, Tools, and Applications / edited by Michael R. Berthold.

by Berthold, Michael R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7250Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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 Computer Games [electronic resource] : 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers / edited by H. Jaap Herik, Aske Plaat.

by Herik, H. Jaap [editor.] | Plaat, Aske [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7168Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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
Rough Sets and Knowledge Technology [electronic resource] : 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012. Proceedings / edited by Tianrui Li, Hung Son Nguyen, Guoyin Wang, Jerzy Grzymala-Busse, Ryszard Janicki, Aboul Ella Hassanien, Hong Yu.

by Li, Tianrui [editor.] | Nguyen, Hung Son [editor.] | Wang, Guoyin [editor.] | Grzymala-Busse, Jerzy [editor.] | Janicki, Ryszard [editor.] | Hassanien, Aboul Ella [editor.] | Yu, Hong [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7414Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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 Rough Sets XV [electronic resource] / edited by James F. Peters, Andrzej Skowron.

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

Series: Lecture Notes in Computer Science ; 7255Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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
Programming Multi-Agent Systems [electronic resource] : 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers / edited by Louise Dennis, Olivier Boissier, Rafael H. Bordini.

by Dennis, Louise [editor.] | Boissier, Olivier [editor.] | Bordini, Rafael H [editor.] | SpringerLink (Online service).

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