Your search returned 760 results.

Not what you expected? Check for suggestions
E-BOOKS
Software Engineering for Resilient Systems [electronic resource] : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings / edited by Alexander Romanovsky, Elena A. Troubitsyna.

by Romanovsky, Alexander [editor.] | Troubitsyna, Elena A [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10479 | Lecture Notes in Computer Science ; 10479Edition: 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
Critical Systems: Formal Methods and Automated Verification [electronic resource] : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings / edited by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti.

by Petrucci, Laure [editor.] | Seceleanu, Cristina [editor.] | Cavalcanti, Ana [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10471 | Lecture Notes in Computer Science ; 10471Edition: 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
Cryptographic Hardware and Embedded Systems – CHES 2017 [electronic resource] : 19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings / edited by Wieland Fischer, Naofumi Homma.

by Fischer, Wieland [editor.] | Homma, Naofumi [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10529 | Lecture Notes in Computer Science ; 10529Edition: 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
Fetal, Infant and Ophthalmic Medical Image Analysis [electronic resource] : International Workshop, FIFI 2017, and 4th International Workshop, OMIA 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, Proceedings / edited by M. Jorge Cardoso, Tal Arbel, Andrew Melbourne, Hrvoje Bogunovic, Pim Moeskops, Xinjian Chen, Ernst Schwartz, Mona Garvin, Emma Robinson, Emanuele Trucco, Michael Ebner, Yanwu Xu, Antonios Makropoulos, Adrien Desjardin, Tom Vercauteren.

by Cardoso, M. Jorge [editor.] | Arbel, Tal [editor.] | Melbourne, Andrew [editor.] | Bogunovic, Hrvoje [editor.] | Moeskops, Pim [editor.] | Chen, Xinjian [editor.] | Schwartz, Ernst [editor.] | Garvin, Mona [editor.] | Robinson, Emma [editor.] | Trucco, Emanuele [editor.] | Ebner, Michael [editor.] | Xu, Yanwu [editor.] | Makropoulos, Antonios [editor.] | Desjardin, Adrien [editor.] | Vercauteren, Tom [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10554 | Lecture Notes in Computer Science ; 10554Edition: 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
Provable Security [electronic resource] : 11th International Conference, ProvSec 2017, Xi'an, China, October 23-25, 2017, Proceedings / edited by Tatsuaki Okamoto, Yong Yu, Man Ho Au, Yannan Li.

by Okamoto, Tatsuaki [editor.] | Yu, Yong [editor.] | Au, Man Ho [editor.] | Li, Yannan [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10592 | Lecture Notes in Computer Science ; 10592Edition: 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
Service-Oriented Computing - ICSOC 2014 Workshops [electronic resource] : WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers / edited by Farouk Toumani, Barbara Pernici, Daniela Grigori, Djamal Benslimane, Jan Mendling, Nejib Ben Hadj-Alouane, Brian Blake, Olivier Perrin, Iman Saleh Moustafa, Sami Bhiri.

by Toumani, Farouk [editor.] | Pernici, Barbara [editor.] | Grigori, Daniela [editor.] | Benslimane, Djamal [editor.] | Mendling, Jan [editor.] | Ben Hadj-Alouane, Nejib [editor.] | Blake, Brian [editor.] | Perrin, Olivier [editor.] | Saleh Moustafa, Iman [editor.] | Bhiri, Sami [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 8954 | Lecture Notes in Computer Science ; 8954Edition: 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
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedings / edited by Paul Spirakis, Philippas Tsigas.

by Spirakis, Paul [editor.] | Tsigas, Philippas [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10616 | Lecture Notes in Computer Science ; 10616Edition: 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
Electronic Participation [electronic resource] : 7th IFIP 8.5 International Conference, ePart 2015, Thessaloniki, Greece, August 30 -- September 2, 2015, Proceedings / edited by Efthimios Tambouris, Panos Panagiotopoulos, Øystein Sæbø, Konstantinos Tarabanis, Maria A. Wimmer, Michela Milano, Theresa Pardo.

by Tambouris, Efthimios [editor.] | Panagiotopoulos, Panos [editor.] | Sæbø, Øystein [editor.] | Tarabanis, Konstantinos [editor.] | Wimmer, Maria A [editor.] | Milano, Michela [editor.] | Pardo, Theresa [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9249 | Lecture Notes in Computer Science ; 9249Edition: 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
Pattern Recognition and Machine Intelligence [electronic resource] : 7th International Conference, PReMI 2017, Kolkata, India, December 5-8, 2017, Proceedings / edited by B. Uma Shankar, Kuntal Ghosh, Deba Prasad Mandal, Shubhra Sankar Ray, David Zhang, Sankar K. Pal.

by Shankar, B. Uma [editor.] | Ghosh, Kuntal [editor.] | Mandal, Deba Prasad [editor.] | Ray, Shubhra Sankar [editor.] | Zhang, David [editor.] | Pal, Sankar K [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10597 | Lecture Notes in Computer Science ; 10597Edition: 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
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies [electronic resource] : Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers / edited by Manjunath Gorentla Venkata, Pavel Shamis, Neena Imam, M. Graham Lopez.

by Gorentla Venkata, Manjunath [editor.] | Shamis, Pavel [editor.] | Imam, Neena [editor.] | Lopez, M. Graham [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9397 | Lecture Notes in Computer Science ; 9397Edition: 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
Critical Information Infrastructures Security [electronic resource] : 9th International Conference, CRITIS 2014, Limassol, Cyprus, October 13-15, 2014, Revised Selected Papers / edited by Christos G. Panayiotou, Georgios Ellinas, Elias Kyriakides, Marios M. Polycarpou.

by Panayiotou, Christos G [editor.] | Ellinas, Georgios [editor.] | Kyriakides, Elias [editor.] | Polycarpou, Marios M [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 8985 | Lecture Notes in Computer Science ; 8985Edition: 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
Artificial Life and Computational Intelligence [electronic resource] : Second Australasian Conference, ACALCI 2016, Canberra, ACT, Australia, February 2-5, 2016, Proceedings / edited by Tapabrata Ray, Ruhul Sarker, Xiaodong Li.

by Ray, Tapabrata [editor.] | Sarker, Ruhul [editor.] | Li, Xiaodong [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9592 | Lecture Notes in Computer Science ; 9592Edition: 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
Artificial Intelligence and Soft Computing [electronic resource] : 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part II / edited by Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada.

by Rutkowski, Leszek [editor.] | Korytkowski, Marcin [editor.] | Scherer, Rafał [editor.] | Tadeusiewicz, Ryszard [editor.] | Zadeh, Lotfi A [editor.] | Zurada, Jacek M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9693 | Lecture Notes in Computer Science ; 9693Edition: 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
Product-Focused Software Process Improvement [electronic resource] : 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings / edited by Pekka Abrahamsson, Andreas Jedlitschka, Anh Nguyen Duc, Michael Felderer, Sousuke Amasaki, Tommi Mikkonen.

by Abrahamsson, Pekka [editor.] | Jedlitschka, Andreas [editor.] | Nguyen Duc, Anh [editor.] | Felderer, Michael [editor.] | Amasaki, Sousuke [editor.] | Mikkonen, Tommi [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10027 | Lecture Notes in Computer Science ; 10027Edition: 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
HCI in Business, Government, and Organizations: eCommerce and Innovation [electronic resource] : Third International Conference, HCIBGO 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part I / edited by Fiona Fui-Hoon Nah, Chuan-Hoo Tan.

by Nah, Fiona Fui-Hoon [editor.] | Tan, Chuan-Hoo [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9751 | Lecture Notes in Computer Science ; 9751Edition: 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
Reachability Problems [electronic resource] : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings / edited by Kim Guldstrand Larsen, Igor Potapov, Jiří Srba.

by Larsen, Kim Guldstrand [editor.] | Potapov, Igor [editor.] | Srba, Jiří [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9899 | Lecture Notes in Computer Science ; 9899Edition: 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
Network and System Security [electronic resource] : 10th International Conference, NSS 2016, Taipei, Taiwan, September 28-30, 2016, Proceedings / edited by Jiageng Chen, Vincenzo Piuri, Chunhua Su, Moti Yung.

by Chen, Jiageng [editor.] | Piuri, Vincenzo [editor.] | Su, Chunhua [editor.] | Yung, Moti [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9955 | Lecture Notes in Computer Science ; 9955Edition: 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
Computer Security – ESORICS 2016 [electronic resource] : 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part I / edited by Ioannis Askoxylakis, Sotiris Ioannidis, Sokratis Katsikas, Catherine Meadows.

by Askoxylakis, Ioannis [editor.] | Ioannidis, Sotiris [editor.] | Katsikas, Sokratis [editor.] | Meadows, Catherine [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9878 | Lecture Notes in Computer Science ; 9878Edition: 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
Web Technologies and Applications [electronic resource] : APWeb 2016 Workshops, WDMA, GAP, and SDMA, Suzhou, China, September 23-25, 2016, Proceedings / edited by Atsuyuki Morishima, Rong Zhang, Wenjie Zhang, Lijun Chang, Tom Z. J Fu, Kuien Liu, Xiaoyan Yang, Jia Zhu, Zhiwei Zhang.

by Morishima, Atsuyuki [editor.] | Zhang, Rong [editor.] | Zhang, Wenjie [editor.] | Chang, Lijun [editor.] | Fu, Tom Z. J [editor.] | Liu, Kuien [editor.] | Yang, Xiaoyan [editor.] | Zhu, Jia [editor.] | Zhang, Zhiwei [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9865 | Lecture Notes in Computer Science ; 9865Edition: 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
Ubiquitous Computing and Ambient Intelligence [electronic resource] : 10th International Conference, UCAmI 2016, San Bartolomé de Tirajana, Gran Canaria, Spain, November 29 – December 2, 2016, Part II / edited by Carmelo R. García, Pino Caballero-Gil, Mike Burmester, Alexis Quesada-Arencibia.

by García, Carmelo R [editor.] | Caballero-Gil, Pino [editor.] | Burmester, Mike [editor.] | Quesada-Arencibia, Alexis [editor.] | SpringerLink (Online service).

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

Powered by Koha