Your search returned 766 results.

Not what you expected? Check for suggestions
E-BOOKS
Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie.

by Blazy, Sandrine [editor.] | Paulin-Mohring, Christine [editor.] | Pichardie, David [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 9th International Conference, MLDM 2013, New York, NY, USA, July 19-25, 2013. Proceedings / edited by Petra Perner.

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

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

Place hold Log in to add tags
E-BOOKS
Geometric Science of Information [electronic resource] : First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings / edited by Frank Nielsen, Frédéric Barbaresco.

by Nielsen, Frank [editor.] | Barbaresco, Frédéric [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Combinatorics on Words [electronic resource] : 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings / edited by Juhani Karhumäki, Arto Lepistö, Luca Zamboni.

by Karhumäki, Juhani [editor.] | Lepistö, Arto [editor.] | Zamboni, Luca [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Security Engineering and Intelligence Informatics [electronic resource] : CD-ARES 2013 Workshops: MoCrySEn and SeCIHD, Regensburg, Germany, September 2-6, 2013. Proceedings / edited by Alfredo Cuzzocrea, Christian Kittl, Dimitris E. Simos, Edgar Weippl, Lida Xu.

by Cuzzocrea, Alfredo [editor.] | Kittl, Christian [editor.] | Simos, Dimitris E [editor.] | Weippl, Edgar [editor.] | Xu, Lida [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Advances in Artificial Intelligence [electronic resource] : 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. Proceedings / edited by Concha Bielza, Antonio Salmerón, Amparo Alonso-Betanzos, J. Ignacio Hidalgo, Luis Martínez, Alicia Troncoso, Emilio Corchado, Juan M. Corchado.

by Bielza, Concha [editor.] | Salmerón, Antonio [editor.] | Alonso-Betanzos, Amparo [editor.] | Hidalgo, J. Ignacio [editor.] | Martínez, Luis [editor.] | Troncoso, Alicia [editor.] | Corchado, Emilio [editor.] | Corchado, Juan M [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Language Processing and Knowledge in the Web [electronic resource] : 25th International Conference, GSCL 2013, Darmstadt, Germany, September 25-27, 2013. Proceedings / edited by Iryna Gurevych, Chris Biemann, Torsten Zesch.

by Gurevych, Iryna [editor.] | Biemann, Chris [editor.] | Zesch, Torsten [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Artificial Neural Networks and Machine Learning – ICANN 2013 [electronic resource] : 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings / edited by Valeri Mladenov, Petia Koprinkova-Hristova, Günther Palm, Alessandro E. P. Villa, Bruno Appollini, Nikola Kasabov.

by Mladenov, Valeri [editor.] | Koprinkova-Hristova, Petia [editor.] | Palm, Günther [editor.] | Villa, Alessandro E. P [editor.] | Appollini, Bruno [editor.] | Kasabov, Nikola [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Hybrid Artificial Intelligent Systems [electronic resource] : 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings / edited by Jeng-Shyang Pan, Marios M. Polycarpou, Michał Woźniak, André C. P. L. F. Carvalho, Héctor Quintián, Emilio Corchado.

by Pan, Jeng-Shyang [editor.] | Polycarpou, Marios M [editor.] | Woźniak, Michał [editor.] | Carvalho, André C. P. L. F [editor.] | Quintián, Héctor [editor.] | Corchado, Emilio [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Frontiers of Combining Systems [electronic resource] : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings / edited by Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt.

by Fontaine, Pascal [editor.] | Ringeissen, Christophe [editor.] | Schmidt, Renate A [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Discovery Science [electronic resource] : 16th International Conference, DS 2013, Singapore, October 6-9, 2013. Proceedings / edited by Johannes Fürnkranz, Eyke Hüllermeier, Tomoyuki Higuchi.

by Fürnkranz, Johannes [editor.] | Hüllermeier, Eyke [editor.] | Higuchi, Tomoyuki [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Algorithmic Learning Theory [electronic resource] : 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings / edited by Sanjay Jain, Rémi Munos, Frank Stephan, Thomas Zeugmann.

by Jain, Sanjay [editor.] | Munos, Rémi [editor.] | Stephan, Frank [editor.] | Zeugmann, Thomas [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Computational Logistics [electronic resource] : 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings / edited by Dario Pacino, Stefan Voß, Rune Møller Jensen.

by Pacino, Dario [editor.] | Voß, Stefan [editor.] | Jensen, Rune Møller [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Image Analysis and Processing – ICIAP 2013 [electronic resource] : 17th International Conference, Naples, Italy, September 9-13, 2013. Proceedings, Part I / edited by Alfredo Petrosino.

by Petrosino, Alfredo [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Image Analysis and Processing – ICIAP 2013 [electronic resource] : 17th International Conference, Naples, Italy, September 9-13, 2013, Proceedings, Part II / edited by Alfredo Petrosino.

by Petrosino, Alfredo [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Intelligent Data Engineering and Automated Learning – IDEAL 2013 [electronic resource] : 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013. Proceedings / edited by Hujun Yin, Ke Tang, Yang Gao, Frank Klawonn, Minho Lee, Thomas Weise, Bin Li, Xin Yao.

by Yin, Hujun [editor.] | Tang, Ke [editor.] | Gao, Yang [editor.] | Klawonn, Frank [editor.] | Lee, Minho [editor.] | Weise, Thomas [editor.] | Li, Bin [editor.] | Yao, Xin [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Advances in Intelligent Data Analysis XII [electronic resource] : 12th International Symposium, IDA 2013, London, UK, October 17-19, 2013. Proceedings / edited by Allan Tucker, Frank Höppner, Arno Siebes, Stephen Swift.

by Tucker, Allan [editor.] | Höppner, Frank [editor.] | Siebes, Arno [editor.] | Swift, Stephen [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Evolution of Telecommunication Services [electronic resource] : The Convergence of Telecom and Internet: Technologies and Ecosystems / edited by Emmanuel Bertin, Noel Crespi, Thomas Magedanz.

by Bertin, Emmanuel [editor.] | Crespi, Noel [editor.] | Magedanz, Thomas [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Algorithmic Decision Theory [electronic resource] : Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings / edited by Patrice Perny, Marc Pirlot, Alexis Tsoukiàs.

by Perny, Patrice [editor.] | Pirlot, Marc [editor.] | Tsoukiàs, Alexis [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications [electronic resource] : 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part I / edited by José Ruiz-Shulcloper, Gabriella Sanniti di Baja.

by Ruiz-Shulcloper, José [editor.] | Sanniti di Baja, Gabriella [editor.] | SpringerLink (Online service).

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

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

Powered by Koha