Your search returned 1708 results.

Not what you expected? Check for suggestions
E-BOOKS
Statistical Language and Speech Processing [electronic resource] : 5th International Conference, SLSP 2017, Le Mans, France, October 23–25, 2017, Proceedings / edited by Nathalie Camelin, Yannick Estève, Carlos Martín-Vide.

by Camelin, Nathalie [editor.] | Estève, Yannick [editor.] | Martín-Vide, Carlos [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10583 | Lecture Notes in Computer Science ; 10583Edition: 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): .

Place hold Log in to add tags
E-BOOKS
Automated Reasoning [electronic resource] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings / edited by Nicola Olivetti, Ashish Tiwari.

by Olivetti, Nicola [editor.] | Tiwari, Ashish [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9706 | Lecture Notes in Computer Science ; 9706Edition: 1st ed. 2016.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, 2016Online 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
Semantic Technology [electronic resource] : 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings / edited by Zhe Wang, Anni-Yasmin Turhan, Kewen Wang, Xiaowang Zhang.

by Wang, Zhe [editor.] | Turhan, Anni-Yasmin [editor.] | Wang, Kewen [editor.] | Zhang, Xiaowang [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10675 | Lecture Notes in Computer Science ; 10675Edition: 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): .

Place hold Log in to add tags
E-BOOKS
ModelEd, TestEd, TrustEd [electronic resource] : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday / edited by Joost-Pieter Katoen, Rom Langerak, Arend Rensink.

by Katoen, Joost-Pieter [editor.] | Langerak, Rom [editor.] | Rensink, Arend [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10500 | Lecture Notes in Computer Science ; 10500Edition: 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): .

Place hold Log in to add tags
E-BOOKS
Digital Libraries: Data, Information, and Knowledge for Digital Lives [electronic resource] : 19th International Conference on Asia-Pacific Digital Libraries, ICADL 2017, Bangkok, Thailand, November 13-15, 2017, Proceedings / edited by Songphan Choemprayong, Fabio Crestani, Sally Jo Cunningham.

by Choemprayong, Songphan [editor.] | Crestani, Fabio [editor.] | Cunningham, Sally Jo [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10647 | Lecture Notes in Computer Science ; 10647Edition: 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): .

Place hold Log in to add tags
E-BOOKS
Logics in Artificial Intelligence [electronic resource] : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings / edited by Loizos Michael, Antonis Kakas.

by Michael, Loizos [editor.] | Kakas, Antonis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10021 | Lecture Notes in Computer Science ; 10021Edition: 1st ed. 2016.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, 2016Online 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 Conceptual Modeling [electronic resource] : ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6–9, 2017, Proceedings / edited by Sergio de Cesare, Ulrich Frank.

by de Cesare, Sergio [editor.] | Frank, Ulrich [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10651 | Lecture Notes in Computer Science ; 10651Edition: 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): .

Place hold Log in to add tags
E-BOOKS
Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / edited by Daniel Kroening, Corina S. Păsăreanu.

by Kroening, Daniel [editor.] | Păsăreanu, Corina S [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9207 | Lecture Notes in Computer Science ; 9207Edition: 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): .

Place hold Log in to add tags
E-BOOKS
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings / edited by Alessandro Antonucci, Laurence Cholvy, Odile Papini.

by Antonucci, Alessandro [editor.] | Cholvy, Laurence [editor.] | Papini, Odile [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10369 | Lecture Notes in Computer Science ; 10369Edition: 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): .

Place hold Log in to add tags
E-BOOKS
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) [electronic resource] : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings / edited by Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré.

by Amblard, Maxime [editor.] | de Groote, Philippe [editor.] | Pogodalla, Sylvain [editor.] | Retoré, Christian [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10054 | Lecture Notes in Computer Science ; 10054Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online 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
Numerical Software Verification [electronic resource] : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers / edited by Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar.

by Bogomolov, Sergiy [editor.] | Martel, Matthieu [editor.] | Prabhakar, Pavithra [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10152 | Lecture Notes in Computer Science ; 10152Edition: 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): .

Place hold Log in to add tags
E-BOOKS
Theory and Practice of Formal Methods [electronic resource] : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday / edited by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen.

by Ábrahám, Erika [editor.] | Bonsangue, Marcello [editor.] | Johnsen, Einar Broch [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9660 | Lecture Notes in Computer Science ; 9660Edition: 1st ed. 2016.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, 2016Online 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
Formal Methods for Multicore Programming [electronic resource] : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / edited by Marco Bernardo, Einar Broch Johnsen.

by Bernardo, Marco [editor.] | Johnsen, Einar Broch [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9104 | Lecture Notes in Computer Science ; 9104Edition: 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): .

Place hold Log in to add tags
E-BOOKS
Formal Methods for Industrial Critical Systems [electronic resource] : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / edited by Manuel Núñez, Matthias Güdemann.

by Núñez, Manuel [editor.] | Güdemann, Matthias [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9128 | Lecture Notes in Computer Science ; 9128Edition: 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): .

Place hold Log in to add tags
E-BOOKS
PRIMA 2016: Principles and Practice of Multi-Agent Systems [electronic resource] : 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings / edited by Matteo Baldoni, Amit K. Chopra, Tran Cao Son, Katsutoshi Hirayama, Paolo Torroni.

by Baldoni, Matteo [editor.] | Chopra, Amit K [editor.] | Son, Tran Cao [editor.] | Hirayama, Katsutoshi [editor.] | Torroni, Paolo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9862 | Lecture Notes in Computer Science ; 9862Edition: 1st ed. 2016.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, 2016Online 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
KI 2015: Advances in Artificial Intelligence [electronic resource] : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings / edited by Steffen Hölldobler, , Rafael Peñaloza, Sebastian Rudolph.

by Hölldobler, Steffen [editor.] | Peñaloza, Rafael [editor.] | Rudolph, Sebastian [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Rule Technologies. Research, Tools, and Applications [electronic resource] : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings / edited by Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman.

by Alferes, Jose Julio [editor.] | Bertossi, Leopoldo [editor.] | Governatori, Guido [editor.] | Fodor, Paul [editor.] | Roman, Dumitru [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9718 | Lecture Notes in Computer Science ; 9718Edition: 1st ed. 2016.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, 2016Online 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 XX [electronic resource] / edited by James F. Peters, Andrzej Skowron.

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

Series: Transactions on Rough Sets ; 10020 | Lecture Notes in Computer Science ; 10020Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online 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
Logic, Language, Information, and Computation [electronic resource] : 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings / edited by Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira.

by de Paiva, Valeria [editor.] | de Queiroz, Ruy [editor.] | Moss, Lawrence S [editor.] | Leivant, Daniel [editor.] | de Oliveira, Anjolina G [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9160 | Lecture Notes in Computer Science ; 9160Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online 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
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I / edited by Axel Legay, Tiziana Margaria.

by Legay, Axel [editor.] | Margaria, Tiziana [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10205 | Lecture Notes in Computer Science ; 10205Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online 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