Your search returned 5696 results.

Not what you expected? Check for suggestions
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
Advanced Data Mining and Applications [electronic resource] : 13th International Conference, ADMA 2017, Singapore, November 5–6, 2017, Proceedings / edited by Gao Cong, Wen-Chih Peng, Wei Emma Zhang, Chengliang Li, Aixin Sun.

by Cong, Gao [editor.] | Peng, Wen-Chih [editor.] | Zhang, Wei Emma [editor.] | Li, Chengliang [editor.] | Sun, Aixin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10604 | Lecture Notes in Computer Science ; 10604Edition: 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
Mobile Web and Intelligent Information Systems [electronic resource] : 14th International Conference, MobiWIS 2017, Prague, Czech Republic, August 21-23, 2017, Proceedings / edited by Muhammad Younas, Irfan Awan, Irena Holubova.

by Younas, Muhammad [editor.] | Awan, Irfan [editor.] | Holubova, Irena [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10486 | Lecture Notes in Computer Science ; 10486Edition: 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 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
E-Learning and Games [electronic resource] : 10th International Conference, Edutainment 2016, Hangzhou, China, April 14-16, 2016, Revised Selected Papers / edited by Abdennour El Rhalibi, Feng Tian, Zhigeng Pan, Baoquan Liu.

by El Rhalibi, Abdennour [editor.] | Tian, Feng [editor.] | Pan, Zhigeng [editor.] | Liu, Baoquan [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9654 | Lecture Notes in Computer Science ; 9654Edition: 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
Mobile, Secure, and Programmable Networking [electronic resource] : Third International Conference, MSPN 2017, Paris, France, June 29-30, 2017, Revised Selected Papers / edited by Samia Bouzefrane, Soumya Banerjee, Françoise Sailhan, Selma Boumerdassi, Eric Renault.

by Bouzefrane, Samia [editor.] | Banerjee, Soumya [editor.] | Sailhan, Françoise [editor.] | Boumerdassi, Selma [editor.] | Renault, Eric [editor.] | SpringerLink (Online service).

Series: Computer Communication Networks and Telecommunications ; 10566 | Lecture Notes in Computer Science ; 10566Edition: 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 Protocols XXV [electronic resource] : 25th International Workshop, Cambridge, UK, March 20–22, 2017, Revised Selected Papers / edited by Frank Stajano, Jonathan Anderson, Bruce Christianson, Vashek Matyáš.

by Stajano, Frank [editor.] | Anderson, Jonathan [editor.] | Christianson, Bruce [editor.] | Matyáš, Vashek [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10476 | Lecture Notes in Computer Science ; 10476Edition: 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
Modelling and Simulation for Autonomous Systems [electronic resource] : Second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015, Revised Selected Papers / edited by Jan Hodicky.

by Hodicky, Jan [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9055 | Lecture Notes in Computer Science ; 9055Edition: 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
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
Towards Autonomous Robotic Systems [electronic resource] : 16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015, Proceedings / edited by Clare Dixon, Karl Tuyls.

by Dixon, Clare [editor.] | Tuyls, Karl [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9287 | Lecture Notes in Computer Science ; 9287Edition: 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
Computational Collective Intelligence [electronic resource] : 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I / edited by Manuel Núñez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawiński.

by Núñez, Manuel [editor.] | Nguyen, Ngoc Thanh [editor.] | Camacho, David [editor.] | Trawiński, Bogdan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9329 | Lecture Notes in Computer Science ; 9329Edition: 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
Privacy Technologies and Policy [electronic resource] : 5th Annual Privacy Forum, APF 2017, Vienna, Austria, June 7-8, 2017, Revised Selected Papers / edited by Erich Schweighofer, Herbert Leitold, Andreas Mitrakas, Kai Rannenberg.

by Schweighofer, Erich [editor.] | Leitold, Herbert [editor.] | Mitrakas, Andreas [editor.] | Rannenberg, Kai [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10518 | Lecture Notes in Computer Science ; 10518Edition: 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
Mining Intelligence and Knowledge Exploration [electronic resource] : 5th International Conference, MIKE 2017, Hyderabad, India, December 13–15, 2017, Proceedings / edited by Ashish Ghosh, Rajarshi Pal, Rajendra Prasath.

by Ghosh, Ashish [editor.] | Pal, Rajarshi [editor.] | Prasath, Rajendra [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10682 | Lecture Notes in Computer Science ; 10682Edition: 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
Queueing Theory and Network Applications [electronic resource] : 12th International Conference, QTNA 2017, Qinhuangdao, China, August 21-23, 2017, Proceedings / edited by Wuyi Yue, Quan-Lin Li, Shunfu Jin, Zhanyou Ma.

by Yue, Wuyi [editor.] | Li, Quan-Lin [editor.] | Jin, Shunfu [editor.] | Ma, Zhanyou [editor.] | SpringerLink (Online service).

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