Your search returned 3156 results.

Not what you expected? Check for suggestions
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
E-BOOKS
Globalizing Domain-Specific Languages [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers / edited by Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe.

by Combemale, Benoit [editor.] | Cheng, Betty H.C [editor.] | France, Robert B [editor.] | Jézéquel, Jean-Marc [editor.] | Rumpe, Bernhard [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9400 | Lecture Notes in Computer Science ; 9400Edition: 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
Algorithms and Data Structures [electronic resource] : 15th International Symposium, WADS 2017, St. John’s, NL, Canada, July 31 – August 2, 2017, Proceedings / edited by Faith Ellen, Antonina Kolokolova, Jörg-Rüdiger Sack.

by Ellen, Faith [editor.] | Kolokolova, Antonina [editor.] | Sack, Jörg-Rüdiger [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10389 | Lecture Notes in Computer Science ; 10389Edition: 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
Risks and Security of Internet and Systems [electronic resource] : 10th International Conference, CRiSIS 2015, Mytilene, Lesbos Island, Greece, July 20-22, 2015, Revised Selected Papers / edited by Costas Lambrinoudakis, Alban Gabillon.

by Lambrinoudakis, Costas [editor.] | Gabillon, Alban [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9572 | Lecture Notes in Computer Science ; 9572Edition: 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
Software Engineering and Formal Methods [electronic resource] : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / edited by Radu Calinescu, Bernhard Rumpe.

by Calinescu, Radu [editor.] | Rumpe, Bernhard [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9276 | Lecture Notes in Computer Science ; 9276Edition: 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
Simulated Evolution and Learning [electronic resource] : 11th International Conference, SEAL 2017, Shenzhen, China, November 10–13, 2017, Proceedings / edited by Yuhui Shi, Kay Chen Tan, Mengjie Zhang, Ke Tang, Xiaodong Li, Qingfu Zhang, Ying Tan, Martin Middendorf, Yaochu Jin.

by Shi, Yuhui [editor.] | Tan, Kay Chen [editor.] | Zhang, Mengjie [editor.] | Tang, Ke [editor.] | Li, Xiaodong [editor.] | Zhang, Qingfu [editor.] | Tan, Ying [editor.] | Middendorf, Martin [editor.] | Jin, Yaochu [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10593 | Lecture Notes in Computer Science ; 10593Edition: 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
Structural Information and Communication Complexity [electronic resource] : 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers / edited by Shantanu Das, Sebastien Tixeuil.

by Das, Shantanu [editor.] | Tixeuil, Sebastien [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10641 | Lecture Notes in Computer Science ; 10641Edition: 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
Computational Science and Its Applications – ICCSA 2017 [electronic resource] : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part IV / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Giuseppe Borruso, Carmelo M. Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Elena Stankova, Alfredo Cuzzocrea.

by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Borruso, Giuseppe [editor.] | Torre, Carmelo M [editor.] | Rocha, Ana Maria A.C [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Stankova, Elena [editor.] | Cuzzocrea, Alfredo [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10407 | Lecture Notes in Computer Science ; 10407Edition: 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 Security [electronic resource] : 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings / edited by Yvo Desmedt.

by Desmedt, Yvo [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 7807 | Lecture Notes in Computer Science ; 7807Edition: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha