|
|
|
|
|
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings / edited by Alessandro Cimatti, Marjan Sirjani. by Cimatti, Alessandro [editor.] | Sirjani, Marjan [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10469 | Lecture Notes in Computer Science ; 10469Edition: 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): .
|
|
|
|
|
Electronic Government [electronic resource] : 16th IFIP WG 8.5 International Conference, EGOV 2017, St. Petersburg, Russia, September 4-7, 2017, Proceedings / edited by Marijn Janssen, Karin Axelsson, Olivier Glassey, Bram Klievink, Robert Krimmer, Ida Lindgren, Peter Parycek, Hans J. Scholl, Dmitrii Trutnev. by Janssen, Marijn [editor.] | Axelsson, Karin [editor.] | Glassey, Olivier [editor.] | Klievink, Bram [editor.] | Krimmer, Robert [editor.] | Lindgren, Ida [editor.] | Parycek, Peter [editor.] | Scholl, Hans J [editor.] | Trutnev, Dmitrii [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10428 | Lecture Notes in Computer Science ; 10428Edition: 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): .
|
|
|
|
|
Computer Information Systems and Industrial Management [electronic resource] : 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings / edited by Khalid Saeed, Władysław Homenda, Rituparna Chaki. by Saeed, Khalid [editor.] | Homenda, Władysław [editor.] | Chaki, Rituparna [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10244 | Lecture Notes in Computer Science ; 10244Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Symbiotic Interaction [electronic resource] : 5th International Workshop, Symbiotic 2016, Padua, Italy, September 29–30, 2016, Revised Selected Papers / edited by Luciano Gamberini, Anna Spagnolli, Giulio Jacucci, Benjamin Blankertz, Jonathan Freeman. by Gamberini, Luciano [editor.] | Spagnolli, Anna [editor.] | Jacucci, Giulio [editor.] | Blankertz, Benjamin [editor.] | Freeman, Jonathan [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9961 | Lecture Notes in Computer Science ; 9961Edition: 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): .
|
|
|
|
|
Algorithms for Computational Biology [electronic resource] : 4th International Conference, AlCoB 2017, Aveiro, Portugal, June 5-6, 2017, Proceedings / edited by Daniel Figueiredo, Carlos Martín-Vide, Diogo Pratas, Miguel A. Vega-Rodríguez. by Figueiredo, Daniel [editor.] | Martín-Vide, Carlos [editor.] | Pratas, Diogo [editor.] | Vega-Rodríguez, Miguel A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Bioinformatics ; 10252 | Lecture Notes in Computer Science ; 10252Edition: 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): .
|
|
|
|
|
Artificial Intelligence and Soft Computing [electronic resource] : 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part I / edited by Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada. by Rutkowski, Leszek [editor.] | Korytkowski, Marcin [editor.] | Scherer, Rafał [editor.] | Tadeusiewicz, Ryszard [editor.] | Zadeh, Lotfi A [editor.] | Zurada, Jacek M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9692 | Lecture Notes in Computer Science ; 9692Edition: 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): .
|
|
|
|
|
Machine Learning in Medical Imaging [electronic resource] : 6th International Workshop, MLMI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Proceedings / edited by Luping Zhou, Li Wang, Qian Wang, Yinghuan Shi. by Zhou, Luping [editor.] | Wang, Li [editor.] | Wang, Qian [editor.] | Shi, Yinghuan [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9352 | Lecture Notes in Computer Science ; 9352Edition: 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): .
|
|
|
|
|
Security, Privacy, and Anonymity in Computation, Communication, and Storage [electronic resource] : 9th International Conference, SpaCCS 2016, Zhangjiajie, China, November 16-18, 2016, Proceedings / edited by Guojun Wang, Indrakshi Ray, Jose M. Alcaraz Calero, Sabu M. Thampi. by Wang, Guojun [editor.] | Ray, Indrakshi [editor.] | Alcaraz Calero, Jose M [editor.] | Thampi, Sabu M [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10066 | Lecture Notes in Computer Science ; 10066Edition: 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): .
|
|
|
|
|
Ambient Intelligence [electronic resource] : 12th European Conference, AmI 2015, Athens, Greece, November 11-13, 2015, Proceedings / edited by Boris De Ruyter, Achilles Kameas, Periklis Chatzimisios, Irene Mavrommati. by De Ruyter, Boris [editor.] | Kameas, Achilles [editor.] | Chatzimisios, Periklis [editor.] | Mavrommati, Irene [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9425 | Lecture Notes in Computer Science ; 9425Edition: 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): .
|
|
|
|
|
Trust and Trustworthy Computing [electronic resource] : 8th International Conference, TRUST 2015, Heraklion, Greece, August 24-26, 2015, Proceedings / edited by Mauro Conti, Matthias Schunter, Ioannis Askoxylakis. by Conti, Mauro [editor.] | Schunter, Matthias [editor.] | Askoxylakis, Ioannis [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9229 | Lecture Notes in Computer Science ; 9229Edition: 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): .
|
|
|
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Andrew Pitts. by Pitts, Andrew [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9034 | Lecture Notes in Computer Science ; 9034Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Advances in Swarm Intelligence [electronic resource] : 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I / edited by Ying Tan, Yuhui Shi, Ben Niu. by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Niu, Ben [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9712 | Lecture Notes in Computer Science ; 9712Edition: 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 XXXI [electronic resource] : 31st Annual IFIP WG 11.3 Conference, DBSec 2017, Philadelphia, PA, USA, July 19-21, 2017, Proceedings / edited by Giovanni Livraga, Sencun Zhu. by Livraga, Giovanni [editor.] | Zhu, Sencun [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10359 | Lecture Notes in Computer Science ; 10359Edition: 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): .
|
|
|
|
|
New Trends in Image Analysis and Processing -- ICIAP 2015 Workshops [electronic resource] : ICIAP 2015 International Workshops, BioFor, CTMR, RHEUMA, ISCA, MADiMa, SBMI, and QoEM, Genoa, Italy, September 7-8, 2015, Proceedings / edited by Vittorio Murino, Enrico Puppo, Diego Sona, Marco Cristani, Carlo Sansone. by Murino, Vittorio [editor.] | Puppo, Enrico [editor.] | Sona, Diego [editor.] | Cristani, Marco [editor.] | Sansone, Carlo [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9281 | Lecture Notes in Computer Science ; 9281Edition: 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): .
|
|
|
|
|
Data Management on New Hardware [electronic resource] : 7th International Workshop on Accelerating Data Analysis and Data Management Systems Using Modern Processor and Storage Architectures, ADMS 2016 and 4th International Workshop on In-Memory Data Management and Analytics, IMDM 2016, New Delhi, India, September 1, 2016, Revised Selected Papers / edited by Spyros Blanas, Rajesh Bordawekar, Tirthankar Lahiri, Justin Levandoski, Andrew Pavlo. by Blanas, Spyros [editor.] | Bordawekar, Rajesh [editor.] | Lahiri, Tirthankar [editor.] | Levandoski, Justin [editor.] | Pavlo, Andrew [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10195 | Lecture Notes in Computer Science ; 10195Edition: 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): .
|
|
|
|
|
Computer Vision – ECCV 2016 [electronic resource] : 14th European Conference, Amsterdam, The Netherlands, October 11–14, 2016, Proceedings, Part IV / edited by Bastian Leibe, Jiri Matas, Nicu Sebe, Max Welling. by Leibe, Bastian [editor.] | Matas, Jiri [editor.] | Sebe, Nicu [editor.] | Welling, Max [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9908 | Lecture Notes in Computer Science ; 9908Edition: 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): .
|
|
|
|
|
SOFSEM 2016: Theory and Practice of Computer Science [electronic resource] : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings / edited by Rūsiņš Mārtiņš Freivalds, Gregor Engels, Barbara Catania. by Freivalds, Rūsiņš Mārtiņš [editor.] | Engels, Gregor [editor.] | Catania, Barbara [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9587 | Lecture Notes in Computer Science ; 9587Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Experimental Algorithms [electronic resource] : 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings / edited by Andrew V. Goldberg, Alexander S. Kulikov. by Goldberg, Andrew V [editor.] | Kulikov, Alexander S [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9685 | Lecture Notes in Computer Science ; 9685Edition: 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): .
|
