Your search returned 471 results.

Not what you expected? Check for suggestions
E-BOOKS
Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / edited by Elvira Albert, Ivan Lanese.

by Albert, Elvira [editor.] | Lanese, Ivan [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9688 | Lecture Notes in Computer Science ; 9688Edition: 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 Information Systems Engineering – WISE 2017 [electronic resource] : 18th International Conference, Puschino, Russia, October 7-11, 2017, Proceedings, Part II / edited by Athman Bouguettaya, Yunjun Gao, Andrey Klimenko, Lu Chen, Xiangliang Zhang, Fedor Dzerzhinskiy, Weijia Jia, Stanislav V. Klimenko, Qing Li.

by Bouguettaya, Athman [editor.] | Gao, Yunjun [editor.] | Klimenko, Andrey [editor.] | Chen, Lu [editor.] | Zhang, Xiangliang [editor.] | Dzerzhinskiy, Fedor [editor.] | Jia, Weijia [editor.] | Klimenko, Stanislav V [editor.] | Li, Qing [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10570 | Lecture Notes in Computer Science ; 10570Edition: 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
Combinatorial Optimization and Applications [electronic resource] : 10th International Conference, COCOA 2016, Hong Kong, China, December 16–18, 2016, Proceedings / edited by T-H. Hubert Chan, Minming Li, Lusheng Wang.

by Chan, T-H. Hubert [editor.] | Li, Minming [editor.] | Wang, Lusheng [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10043 | Lecture Notes in Computer Science ; 10043Edition: 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] : 17th Asia-Pacific Web Conference, APWeb 2015, Guangzhou, China, September 18-20, 2015, Proceedings / edited by Reynold Cheng, Bin Cui, Zhenjie Zhang, Ruichu Cai, Jia Xu.

by Cheng, Reynold [editor.] | Cui, Bin [editor.] | Zhang, Zhenjie [editor.] | Cai, Ruichu [editor.] | Xu, Jia [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9313 | Lecture Notes in Computer Science ; 9313Edition: 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
Advances in Cryptology – CRYPTO 2017 [electronic resource] : 37th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 20–24, 2017, Proceedings, Part I / edited by Jonathan Katz, Hovav Shacham.

by Katz, Jonathan [editor.] | Shacham, Hovav [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10401 | Lecture Notes in Computer Science ; 10401Edition: 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
Advances in Information and Computer Security [electronic resource] : 10th International Workshop on Security, IWSEC 2015, Nara, Japan, August 26-28, 2015, Proceedings / edited by Keisuke Tanaka, Yuji Suga.

by Tanaka, Keisuke [editor.] | Suga, Yuji [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9241 | Lecture Notes in Computer Science ; 9241Edition: 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
Wireless Algorithms, Systems, and Applications [electronic resource] : 12th International Conference, WASA 2017, Guilin, China, June 19-21, 2017, Proceedings / edited by Liran Ma, Abdallah Khreishah, Yan Zhang, Mingyuan Yan.

by Ma, Liran [editor.] | Khreishah, Abdallah [editor.] | Zhang, Yan [editor.] | Yan, Mingyuan [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10251 | Lecture Notes in Computer Science ; 10251Edition: 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
Algorithmic Aspects of Cloud Computing [electronic resource] : Second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised Selected Papers / edited by Timos Sellis, Konstantinos Oikonomou.

by Sellis, Timos [editor.] | Oikonomou, Konstantinos [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10230 | Lecture Notes in Computer Science ; 10230Edition: 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
Web Services, Formal Methods, and Behavioral Types [electronic resource] : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / edited by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich.

by Hildebrandt, Thomas [editor.] | Ravara, António [editor.] | van der Werf, Jan Martijn [editor.] | Weidlich, Matthias [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9421 | Lecture Notes in Computer Science ; 9421Edition: 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
Image Analysis and Processing - ICIAP 2017 [electronic resource] : 19th International Conference, Catania, Italy, September 11-15, 2017, Proceedings, Part I / edited by Sebastiano Battiato, Giovanni Gallo, Raimondo Schettini, Filippo Stanco.

by Battiato, Sebastiano [editor.] | Gallo, Giovanni [editor.] | Schettini, Raimondo [editor.] | Stanco, Filippo [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10484 | Lecture Notes in Computer Science ; 10484Edition: 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
Formal Methods and Software Engineering [electronic resource] : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings / edited by Zhenhua Duan, Luke Ong.

by Duan, Zhenhua [editor.] | Ong, Luke [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10610 | Lecture Notes in Computer Science ; 10610Edition: 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 XXIV [electronic resource] : 24th International Workshop, Brno, Czech Republic, April 7-8, 2016, Revised Selected Papers / edited by Jonathan Anderson, Vashek Matyáš, Bruce Christianson, Frank Stajano.

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

Series: Security and Cryptology ; 10368 | Lecture Notes in Computer Science ; 10368Edition: 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
Cloud Computing and Security [electronic resource] : Third International Conference, ICCCS 2017, Nanjing, China, June 16-18, 2017, Revised Selected Papers, Part II / edited by Xingming Sun, Han-Chieh Chao, Xingang You, Elisa Bertino.

by Sun, Xingming [editor.] | Chao, Han-Chieh [editor.] | You, Xingang [editor.] | Bertino, Elisa [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10603 | Lecture Notes in Computer Science ; 10603Edition: 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
Artificial Neural Networks and Machine Learning – ICANN 2017 [electronic resource] : 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II / edited by Alessandra Lintas, Stefano Rovetta, Paul F.M.J. Verschure, Alessandro E.P. Villa.

by Lintas, Alessandra [editor.] | Rovetta, Stefano [editor.] | Verschure, Paul F.M.J [editor.] | Villa, Alessandro E.P [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10614 | Lecture Notes in Computer Science ; 10614Edition: 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
Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments [electronic resource] : First International Conference, ISDDC 2017, Vancouver, BC, Canada, October 26-28, 2017, Proceedings / edited by Issa Traore, Isaac Woungang, Ahmed Awad.

by Traore, Issa [editor.] | Woungang, Isaac [editor.] | Awad, Ahmed [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10618 | Lecture Notes in Computer Science ; 10618Edition: 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
Ubiquitous Computing and Ambient Intelligence. Sensing, Processing, and Using Environmental Information [electronic resource] : 9th International Conference, UCAmI 2015, Puerto Varas, Chile, December 1-4, 2015, Proceedings / edited by Juan M. García-Chamizo, Giancarlo Fortino, Sergio F. Ochoa.

by García-Chamizo, Juan M [editor.] | Fortino, Giancarlo [editor.] | Ochoa, Sergio F [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9454 | Lecture Notes in Computer Science ; 9454Edition: 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
Graphical Models for Security [electronic resource] : Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers / edited by Sjouke Mauw, Barbara Kordy, Sushil Jajodia.

by Mauw, Sjouke [editor.] | Kordy, Barbara [editor.] | Jajodia, Sushil [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9390 | Lecture Notes in Computer Science ; 9390Edition: 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
Data Science [electronic resource] : Second International Conference, ICDS 2015, Sydney, Australia, August 8-9, 2015, Proceedings / edited by Chengqi Zhang, Wei Huang, Yong Shi, Philip S. Yu, Yangyong Zhu, Yingjie Tian, Peng Zhang, Jing He.

by Zhang, Chengqi [editor.] | Huang, Wei [editor.] | Shi, Yong [editor.] | Yu, Philip S [editor.] | Zhu, Yangyong [editor.] | Tian, Yingjie [editor.] | Zhang, Peng [editor.] | He, Jing [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9208 | Lecture Notes in Computer Science ; 9208Edition: 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
Wireless Algorithms, Systems, and Applications [electronic resource] : 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings / edited by Kuai Xu, Haojin Zhu.

by Xu, Kuai [editor.] | Zhu, Haojin [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9204 | Lecture Notes in Computer Science ; 9204Edition: 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
Information Security Practice and Experience [electronic resource] : 13th International Conference, ISPEC 2017, Melbourne, VIC, Australia, December 13–15, 2017, Proceedings / edited by Joseph K. Liu, Pierangela Samarati.

by Liu, Joseph K [editor.] | Samarati, Pierangela [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10701 | Lecture Notes in Computer Science ; 10701Edition: 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