Your search returned 15593 results.

Not what you expected? Check for suggestions
E-BOOKS
Descriptional Complexity of Formal Systems [electronic resource] : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings / edited by Jeffrey Shallit, Alexander Okhotin.

by Shallit, Jeffrey [editor.] | Okhotin, Alexander [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9118 | Lecture Notes in Computer Science ; 9118Edition: 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
Health Information Science [electronic resource] : 5th International Conference, HIS 2016, Shanghai, China, November 5-7, 2016, Proceedings / edited by Xiaoxia Yin, James Geller, Ye Li, Rui Zhou, Hua Wang, Yanchun Zhang.

by Yin, Xiaoxia [editor.] | Geller, James [editor.] | Li, Ye [editor.] | Zhou, Rui [editor.] | Wang, Hua [editor.] | Zhang, Yanchun [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10038 | Lecture Notes in Computer Science ; 10038Edition: 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
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / edited by Barbara Jobstmann, K. Rustan M. Leino.

by Jobstmann, Barbara [editor.] | Leino, K. Rustan M [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9583 | Lecture Notes in Computer Science ; 9583Edition: 1st ed. 2016.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, 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
Bioinformatics Research and Applications [electronic resource] : 13th International Symposium, ISBRA 2017, Honolulu, HI, USA, May 29 – June 2, 2017, Proceedings / edited by Zhipeng Cai, Ovidiu Daescu, Min Li.

by Cai, Zhipeng [editor.] | Daescu, Ovidiu [editor.] | Li, Min [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Bioinformatics ; 10330 | Lecture Notes in Computer Science ; 10330Edition: 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
Public-Key Cryptography – PKC 2017 [electronic resource] : 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, The Netherlands, March 28-31, 2017, Proceedings, Part II / edited by Serge Fehr.

by Fehr, Serge [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10175 | Lecture Notes in Computer Science ; 10175Edition: 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
Lightweight Cryptography for Security and Privacy [electronic resource] : Third International Workshop, LightSec 2014, Istanbul, Turkey, September 1-2, 2014, Revised Selected Papers / edited by Thomas Eisenbarth, Erdinç Öztürk.

by Eisenbarth, Thomas [editor.] | Öztürk, Erdinç [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 8898 | Lecture Notes in Computer Science ; 8898Edition: 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 Artificial Intelligence - IBERAMIA 2016 [electronic resource] : 15th Ibero-American Conference on AI, San José, Costa Rica, November 23-25, 2016, Proceedings / edited by Manuel Montes y Gómez, Hugo Jair Escalante, Alberto Segura, Juan de Dios Murillo.

by Montes y Gómez, Manuel [editor.] | Escalante, Hugo Jair [editor.] | Segura, Alberto [editor.] | Murillo, Juan de Dios [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10022 | Lecture Notes in Computer Science ; 10022Edition: 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
Computational Logistics [electronic resource] : 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings / edited by Ana Paias, Mario Ruthmair, Stefan Voß.

by Paias, Ana [editor.] | Ruthmair, Mario [editor.] | Voß, Stefan [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9855 | Lecture Notes in Computer Science ; 9855Edition: 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 and Video Technology – PSIVT 2015 Workshops [electronic resource] : RV 2015, GPID 2013, VG 2015, EO4AS 2015, MCBMIIA 2015, and VSWS 2015, Auckland, New Zealand, November 23-27, 2015. Revised Selected Papers / edited by Fay Huang, Akihiro Sugimoto.

by Huang, Fay [editor.] | Sugimoto, Akihiro [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9555 | Lecture Notes in Computer Science ; 9555Edition: 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
Bridging People and Sound [electronic resource] : 12th International Symposium, CMMR 2016, São Paulo, Brazil, July 5–8, 2016, Revised Selected Papers / edited by Mitsuko Aramaki, Richard Kronland-Martinet, Sølvi Ystad.

by Aramaki, Mitsuko [editor.] | Kronland-Martinet, Richard [editor.] | Ystad, Sølvi [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10525 | Lecture Notes in Computer Science ; 10525Edition: 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 Techniques for Distributed Objects, Components, and Systems [electronic resource] : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / edited by Susanne Graf, Mahesh Viswanathan.

by Graf, Susanne [editor.] | Viswanathan, Mahesh [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9039 | Lecture Notes in Computer Science ; 9039Edition: 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
Hybrid Systems Biology [electronic resource] : Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers / edited by Alessandro Abate, David Safranek.

by Abate, Alessandro [editor.] | Safranek, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Bioinformatics ; 9271 | Lecture Notes in Computer Science ; 9271Edition: 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
Persuasive Technology [electronic resource] : 10th International Conference, PERSUASIVE 2015, Chicago, IL, USA, June 3-5, 2015, Proceedings / edited by Thomas MacTavish, Santosh Basapur.

by MacTavish, Thomas [editor.] | Basapur, Santosh [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9072 | Lecture Notes in Computer Science ; 9072Edition: 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
Verified Software: Theories, Tools, and Experiments [electronic resource] : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers / edited by Arie Gurfinkel, Sanjit A. Seshia.

by Gurfinkel, Arie [editor.] | Seshia, Sanjit A [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9593 | Lecture Notes in Computer Science ; 9593Edition: 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
Hybrid Learning: Innovation in Educational Practices [electronic resource] : 8th International Conference, ICHL 2015, Wuhan, China, July 27–29, 2015. Proceedings / edited by Simon K.S. Cheung, Lam-for Kwok, Harrison Yang, Joseph Fong, Reggie Kwan.

by Cheung, Simon K.S [editor.] | Kwok, Lam-for [editor.] | Yang, Harrison [editor.] | Fong, Joseph [editor.] | Kwan, Reggie [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9167 | Lecture Notes in Computer Science ; 9167Edition: 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
Dynamic Data-Driven Environmental Systems Science [electronic resource] : First International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014, Revised Selected Papers / edited by Sai Ravela, Adrian Sandu.

by Ravela, Sai [editor.] | Sandu, Adrian [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8964 | Lecture Notes in Computer Science ; 8964Edition: 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] : 5th International Conference, SPACE 2015, Jaipur, India, October 3-7, 2015, Proceedings / edited by Rajat Subhra Chakraborty, Peter Schwabe, Jon Solworth.

by Chakraborty, Rajat Subhra [editor.] | Schwabe, Peter [editor.] | Solworth, Jon [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9354 | Lecture Notes in Computer Science ; 9354Edition: 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
Transactions on Petri Nets and Other Models of Concurrency X [electronic resource] / edited by Maciej Koutny, Jörg Desel, Serge Haddad.

by Koutny, Maciej [editor.] | Desel, Jörg [editor.] | Haddad, Serge [editor.] | SpringerLink (Online service).

Series: Transactions on Petri Nets and Other Models of Concurrency ; 9410 | Lecture Notes in Computer Science ; 9410Edition: 1st ed. 2015.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, 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
Software Engineering and Formal Methods [electronic resource] : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers / edited by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe.

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

Series: Programming and Software Engineering ; 9509 | Lecture Notes in Computer Science ; 9509Edition: 1st ed. 2015.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, 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
Economics of Grids, Clouds, Systems, and Services [electronic resource] : 12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015, Revised Selected Papers / edited by Jörn Altmann, Gheorghe Cosmin Silaghi, Omer F. Rana.

by Altmann, Jörn [editor.] | Silaghi, Gheorghe Cosmin [editor.] | Rana, Omer F [editor.] | SpringerLink (Online service).

Series: Computer Communication Networks and Telecommunications ; 9512 | Lecture Notes in Computer Science ; 9512Edition: 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