Your search returned 3740 results.

Not what you expected? Check for suggestions
E-BOOKS
Model and Data Engineering [electronic resource] : 7th International Conference, MEDI 2017, Barcelona, Spain, October 4–6, 2017, Proceedings / edited by Yassine Ouhammou, Mirjana Ivanovic, Alberto Abelló, Ladjel Bellatreche.

by Ouhammou, Yassine [editor.] | Ivanovic, Mirjana [editor.] | Abelló, Alberto [editor.] | Bellatreche, Ladjel [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10563 | Lecture Notes in Computer Science ; 10563Edition: 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
The Semantic Web – ISWC 2017 [electronic resource] : 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II / edited by Claudia d'Amato, Miriam Fernandez, Valentina Tamma, Freddy Lecue, Philippe Cudré-Mauroux, Juan Sequeda, Christoph Lange, Jeff Heflin.

by d'Amato, Claudia [editor.] | Fernandez, Miriam [editor.] | Tamma, Valentina [editor.] | Lecue, Freddy [editor.] | Cudré-Mauroux, Philippe [editor.] | Sequeda, Juan [editor.] | Lange, Christoph [editor.] | Heflin, Jeff [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10588 | Lecture Notes in Computer Science ; 10588Edition: 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
Spatial Cognition X [electronic resource] : 13th Biennial Conference, KogWis 2016, Bremen, Germany, September 26–30, 2016, and 10th International Conference, Spatial Cognition 2016, Philadelphia, PA, USA, August 2–5, 2016, Revised Selected Papers / edited by Thomas Barkowsky, Heather Burte, Christoph Hölscher, Holger Schultheis.

by Barkowsky, Thomas [editor.] | Burte, Heather [editor.] | Hölscher, Christoph [editor.] | Schultheis, Holger [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10523 | Lecture Notes in Computer Science ; 10523Edition: 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
Information Theoretic Security [electronic resource] : 10th International Conference, ICITS 2017, Hong Kong, China, November 29 – December 2, 2017, Proceedings / edited by Junji Shikata.

by Shikata, Junji [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10681 | Lecture Notes in Computer Science ; 10681Edition: 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
Verified Software. Theories, Tools, and Experiments [electronic resource] : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers / edited by Andrei Paskevich, Thomas Wies.

by Paskevich, Andrei [editor.] | Wies, Thomas [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10712 | Lecture Notes in Computer Science ; 10712Edition: 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
Behavior Modeling -- Foundations and Applications [electronic resource] : International Workshops, BM-FA 2009-2014, Revised Selected Papers / edited by Ella Roubtsova, Ashley McNeile, Ekkart Kindler, Christian Gerth.

by Roubtsova, Ella [editor.] | McNeile, Ashley [editor.] | Kindler, Ekkart [editor.] | Gerth, Christian [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6368 | Lecture Notes in Computer Science ; 6368Edition: 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
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
Electronic Voting [electronic resource] : Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings / edited by Robert Krimmer, Melanie Volkamer, Nadja Braun Binder, Norbert Kersting, Olivier Pereira, Carsten Schürmann.

by Krimmer, Robert [editor.] | Volkamer, Melanie [editor.] | Braun Binder, Nadja [editor.] | Kersting, Norbert [editor.] | Pereira, Olivier [editor.] | Schürmann, Carsten [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10615 | Lecture Notes in Computer Science ; 10615Edition: 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
Transactions on Petri Nets and Other Models of Concurrency XII [electronic resource] / edited by Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang.

by Koutny, Maciej [editor.] | Kleijn, Jetty [editor.] | Penczek, Wojciech [editor.] | Zhang, Mingmin [editor.] | SpringerLink (Online service).

Series: Transactions on Petri Nets and Other Models of Concurrency ; 10470 | Lecture Notes in Computer Science ; 10470Edition: 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
E-BOOKS
The Semantic Web – ISWC 2017 [electronic resource] : 16th International Semantic Web Conference, Vienna, Austria, October 21–25, 2017, Proceedings, Part I / edited by Claudia d'Amato, Miriam Fernandez, Valentina Tamma, Freddy Lecue, Philippe Cudré-Mauroux, Juan Sequeda, Christoph Lange, Jeff Heflin.

by d'Amato, Claudia [editor.] | Fernandez, Miriam [editor.] | Tamma, Valentina [editor.] | Lecue, Freddy [editor.] | Cudré-Mauroux, Philippe [editor.] | Sequeda, Juan [editor.] | Lange, Christoph [editor.] | Heflin, Jeff [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10587 | Lecture Notes in Computer Science ; 10587Edition: 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
Software Engineering for Self-Adaptive Systems III. Assurances [electronic resource] : International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers / edited by Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese.

by de Lemos, Rogério [editor.] | Garlan, David [editor.] | Ghezzi, Carlo [editor.] | Giese, Holger [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9640 | Lecture Notes in Computer Science ; 9640Edition: 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
Economics of Grids, Clouds, Systems, and Services [electronic resource] : 13th International Conference, GECON 2016, Athens, Greece, September 20-22, 2016, Revised Selected Papers / edited by José Ángel Bañares, Konstantinos Tserpes, Jörn Altmann.

by Bañares, José Ángel [editor.] | Tserpes, Konstantinos [editor.] | Altmann, Jörn [editor.] | SpringerLink (Online service).

Series: Computer Communication Networks and Telecommunications ; 10382 | Lecture Notes in Computer Science ; 10382Edition: 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
Security, Privacy, and Applied Cryptography Engineering [electronic resource] : 6th International Conference, SPACE 2016, Hyderabad, India, December 14-18, 2016, Proceedings / edited by Claude Carlet, M. Anwar Hasan, Vishal Saraswat.

by Carlet, Claude [editor.] | Hasan, M. Anwar [editor.] | Saraswat, Vishal [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10076 | Lecture Notes in Computer Science ; 10076Edition: 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
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
Testing Software and Systems [electronic resource] : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings / edited by Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün.

by Yevtushenko, Nina [editor.] | Cavalli, Ana Rosa [editor.] | Yenigün, Hüsnü [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10533 | Lecture Notes in Computer Science ; 10533Edition: 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
Human-Computer Interaction: Design and Evaluation [electronic resource] : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2–7, 2015. Proceedings, Part I / edited by Masaaki Kurosu.

by Kurosu, Masaaki [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9169 | Lecture Notes in Computer Science ; 9169Edition: 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
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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha