|
|
|
|
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;Language: English; Format:
electronic
available online
 ; 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): .
|
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Combinatorial Optimization and Applications [electronic resource] : 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I / edited by Xiaofeng Gao, Hongwei Du, Meng Han. by Gao, Xiaofeng [editor.] | Du, Hongwei [editor.] | Han, Meng [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10627 | Lecture Notes in Computer Science ; 10627Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
