Your search returned 18639 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
Evolutionary and Biologically Inspired Music, Sound, Art and Design [electronic resource] : 5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings / edited by Colin Johnson, Vic Ciesielski, João Correia, Penousal Machado.

by Johnson, Colin [editor.] | Ciesielski, Vic [editor.] | Correia, João [editor.] | Machado, Penousal [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9596 | Lecture Notes in Computer Science ; 9596Edition: 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 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
Model Checking Software [electronic resource] : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings / edited by Dragan Bošnački, Anton Wijs.

by Bošnački, Dragan [editor.] | Wijs, Anton [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9641 | Lecture Notes in Computer Science ; 9641Edition: 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
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
Patch-Based Techniques in Medical Imaging [electronic resource] : Second International Workshop, Patch-MI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Proceedings / edited by Guorong Wu, Pierrick Coupé, Yiqiang Zhan, Brent C. Munsell, Daniel Rueckert.

by Wu, Guorong [editor.] | Coupé, Pierrick [editor.] | Zhan, Yiqiang [editor.] | Munsell, Brent C [editor.] | Rueckert, Daniel [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9993 | Lecture Notes in Computer Science ; 9993Edition: 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
Internet of Vehicles. Technologies and Services for Smart Cities [electronic resource] : 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017, Proceedings / edited by Sheng-Lung Peng, Guan-Ling Lee, Reinhard Klette, Ching-Hsien Hsu.

by Peng, Sheng-Lung [editor.] | Lee, Guan-Ling [editor.] | Klette, Reinhard [editor.] | Hsu, Ching-Hsien [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10689 | Lecture Notes in Computer Science ; 10689Edition: 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
Blended Learning: Aligning Theory with Practices [electronic resource] : 9th International Conference, ICBL 2016, Beijing, China, July 19-21, 2016, Proceedings / edited by Simon K.S. Cheung, Lam-for Kwok, Junjie Shang, Aihua Wang, Reggie Kwan.

by Cheung, Simon K.S [editor.] | Kwok, Lam-for [editor.] | Shang, Junjie [editor.] | Wang, Aihua [editor.] | Kwan, Reggie [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9757 | Lecture Notes in Computer Science ; 9757Edition: 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
Towards Integrative Machine Learning and Knowledge Extraction [electronic resource] : BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers / edited by Andreas Holzinger, Randy Goebel, Massimo Ferri, Vasile Palade.

by Holzinger, Andreas [editor.] | Goebel, Randy [editor.] | Ferri, Massimo [editor.] | Palade, Vasile [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10344 | Lecture Notes in Computer Science ; 10344Edition: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha