Your search returned 8979 results.

Not what you expected? Check for suggestions
E-BOOKS
Mathematical Foundations of Computer Science 2015 [electronic resource] : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I / edited by Giuseppe F Italiano, Giovanni Pighizzini, Donald T. Sannella.

by Italiano, Giuseppe F [editor.] | Pighizzini, Giovanni [editor.] | Sannella, Donald T [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9234 | Lecture Notes in Computer Science ; 9234Edition: 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
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings / edited by Andrzej Pelc, Alexander A. Schwarzmann.

by Pelc, Andrzej [editor.] | Schwarzmann, Alexander A [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9212 | Lecture Notes in Computer Science ; 9212Edition: 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
The Semantic Web - ISWC 2015 [electronic resource] : 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part II / edited by Marcelo Arenas, Oscar Corcho, Elena Simperl, Markus Strohmaier, Mathieu d'Aquin, Kavitha Srinivas, Paul Groth, Michel Dumontier, Jeff Heflin, Krishnaprasad Thirunarayan, Steffen Staab.

by Arenas, Marcelo [editor.] | Corcho, Oscar [editor.] | Simperl, Elena [editor.] | Strohmaier, Markus [editor.] | d'Aquin, Mathieu [editor.] | Srinivas, Kavitha [editor.] | Groth, Paul [editor.] | Dumontier, Michel [editor.] | Heflin, Jeff [editor.] | Thirunarayan, Krishnaprasad [editor.] | Staab, Steffen [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9367 | Lecture Notes in Computer Science ; 9367Edition: 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
Natural Language Processing and Chinese Computing [electronic resource] : 4th CCF Conference, NLPCC 2015, Nanchang, China, October 9-13, 2015, Proceedings / edited by Juanzi Li, Heng Ji, Dongyan Zhao, Yansong Feng.

by Li, Juanzi [editor.] | Ji, Heng [editor.] | Zhao, Dongyan [editor.] | Feng, Yansong [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9362 | Lecture Notes in Computer Science ; 9362Edition: 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 Speech and Language Technologies for Iberian Languages [electronic resource] : Third International Conference, IberSPEECH 2016, Lisbon, Portugal, November 23-25, 2016, Proceedings / edited by Alberto Abad, Alfonso Ortega, António Teixeira, Carmen García Mateo, Carlos D. Martínez Hinarejos, Fernando Perdigão, Fernando Batista, Nuno Mamede.

by Abad, Alberto [editor.] | Ortega, Alfonso [editor.] | Teixeira, António [editor.] | García Mateo, Carmen [editor.] | Martínez Hinarejos, Carlos D [editor.] | Perdigão, Fernando [editor.] | Batista, Fernando [editor.] | Mamede, Nuno [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10077 | Lecture Notes in Computer Science ; 10077Edition: 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] : 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29–December 1, 2017, Proceedings / edited by Michael Felderer, Daniel Méndez Fernández, Burak Turhan, Marcos Kalinowski, Federica Sarro, Dietmar Winkler.

by Felderer, Michael [editor.] | Méndez Fernández, Daniel [editor.] | Turhan, Burak [editor.] | Kalinowski, Marcos [editor.] | Sarro, Federica [editor.] | Winkler, Dietmar [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10611 | Lecture Notes in Computer Science ; 10611Edition: 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 for the Quantitative Evaluation of Collective Adaptive Systems [electronic resource] : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures / edited by Marco Bernardo, Rocco De Nicola, Jane Hillston.

by Bernardo, Marco [editor.] | De Nicola, Rocco [editor.] | Hillston, Jane [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9700 | Lecture Notes in Computer Science ; 9700Edition: 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 and Applications Security and Privacy XXX [electronic resource] : 30th Annual IFIP WG 11.3 Conference, DBSec 2016, Trento, Italy, July 18-20, 2016. Proceedings / edited by Silvio Ranise, Vipin Swarup.

by Ranise, Silvio [editor.] | Swarup, Vipin [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9766 | Lecture Notes in Computer Science ; 9766Edition: 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 Modeling of Objects Presented in Images. Fundamentals, Methods, and Applications [electronic resource] : 5th International Symposium, CompIMAGE 2016, Niagara Falls, NY, USA, September 21-23, 2016, Revised Selected Papers / edited by Reneta P. Barneva, Valentin E. Brimkov, João Manuel R.S. Tavares.

by Barneva, Reneta P [editor.] | Brimkov, Valentin E [editor.] | Tavares, João Manuel R.S [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10149 | Lecture Notes in Computer Science ; 10149Edition: 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
Mathematics and Computation in Music [electronic resource] : 6th International Conference, MCM 2017, Mexico City, Mexico, June 26-29, 2017, Proceedings / edited by Octavio A. Agustín-Aquino, Emilio Lluis-Puebla, Mariana Montiel.

by Agustín-Aquino, Octavio A [editor.] | Lluis-Puebla, Emilio [editor.] | Montiel, Mariana [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10527 | Lecture Notes in Computer Science ; 10527Edition: 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
Constructive Side-Channel Analysis and Secure Design [electronic resource] : 6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015. Revised Selected Papers / edited by Stefan Mangard, Axel Y. Poschmann.

by Mangard, Stefan [editor.] | Poschmann, Axel Y [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9064 | Lecture Notes in Computer Science ; 9064Edition: 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
Innovative Security Solutions for Information Technology and Communications [electronic resource] : 8th International Conference, SECITC 2015, Bucharest, Romania, June 11-12, 2015. Revised Selected Papers / edited by Ion Bica, David Naccache, Emil Simion.

by Bica, Ion [editor.] | Naccache, David [editor.] | Simion, Emil [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9522 | Lecture Notes in Computer Science ; 9522Edition: 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
Formal Methods: Foundations and Applications [electronic resource] : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings / edited by Leila Ribeiro, Thierry Lecomte.

by Ribeiro, Leila [editor.] | Lecomte, Thierry [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10090 | Lecture Notes in Computer Science ; 10090Edition: 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
Model and Data Engineering [electronic resource] : 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings / edited by Ladjel Bellatreche, Óscar Pastor, Jesús M. Almendros Jiménez, Yamine Aït-Ameur.

by Bellatreche, Ladjel [editor.] | Pastor, Óscar [editor.] | Almendros Jiménez, Jesús M [editor.] | Aït-Ameur, Yamine [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9893 | Lecture Notes in Computer Science ; 9893Edition: 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
Simulation and Synthesis in Medical Imaging [electronic resource] : Second International Workshop, SASHIMI 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10, 2017, Proceedings / edited by Sotirios A. Tsaftaris, Ali Gooya, Alejandro F. Frangi, Jerry L. Prince.

by Tsaftaris, Sotirios A [editor.] | Gooya, Ali [editor.] | Frangi, Alejandro F [editor.] | Prince, Jerry L [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10557 | Lecture Notes in Computer Science ; 10557Edition: 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 Retrieval [electronic resource] : 23rd China conference, CCIR 2017, Shanghai, China, July 13–14, 2017, Proceedings / edited by Jirong Wen, Jianyun Nie, Tong Ruan, Yiqun Liu, Tieyun Qian.

by Wen, Jirong [editor.] | Nie, Jianyun [editor.] | Ruan, Tong [editor.] | Liu, Yiqun [editor.] | Qian, Tieyun [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10390 | Lecture Notes in Computer Science ; 10390Edition: 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
Cyberspace Safety and Security [electronic resource] : 9th International Symposium, CSS 2017, Xi’an China, October 23–25, 2017, Proceedings / edited by Sheng Wen, Wei Wu, Aniello Castiglione.

by Wen, Sheng [editor.] | Wu, Wei [editor.] | Castiglione, Aniello [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10581 | Lecture Notes in Computer Science ; 10581Edition: 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, Privacy, and Applied Cryptography Engineering [electronic resource] : 7th International Conference, SPACE 2017, Goa, India, December 13-17, 2017, Proceedings / edited by Sk Subidh Ali, Jean-Luc Danger, Thomas Eisenbarth.

by Ali, Sk Subidh [editor.] | Danger, Jean-Luc [editor.] | Eisenbarth, Thomas [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10662 | Lecture Notes in Computer Science ; 10662Edition: 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
Progress in Cryptology – INDOCRYPT 2017 [electronic resource] : 18th International Conference on Cryptology in India, Chennai, India, December 10-13, 2017, Proceedings / edited by Arpita Patra, Nigel P. Smart.

by Patra, Arpita [editor.] | Smart, Nigel P [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10698 | Lecture Notes in Computer Science ; 10698Edition: 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
Theoretical Aspects of Computing – ICTAC 2016 [electronic resource] : 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings / edited by Augusto Sampaio, Farn Wang.

by Sampaio, Augusto [editor.] | Wang, Farn [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9965 | Lecture Notes in Computer Science ; 9965Edition: 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