|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings / edited by Deepak D'Souza, K. Narayan Kumar. by D'Souza, Deepak [editor.] | Narayan Kumar, K [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10482 | Lecture Notes in Computer Science ; 10482Edition: 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): .
|
|
|
|
|
Network and Parallel Computing [electronic resource] : 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings / edited by Xuanhua Shi, Hong An, Chao Wang, Mahmut Kandemir, Hai Jin. by Shi, Xuanhua [editor.] | An, Hong [editor.] | Wang, Chao [editor.] | Kandemir, Mahmut [editor.] | Jin, Hai [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10578 | Lecture Notes in Computer Science ; 10578Edition: 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): .
|
|
|
|
|
Image Analysis and Processing - ICIAP 2017 [electronic resource] : 19th International Conference, Catania, Italy, September 11-15, 2017, Proceedings, Part II / 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 ; 10485 | Lecture Notes in Computer Science ; 10485Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Advances in Visual Informatics [electronic resource] : 5th International Visual Informatics Conference, IVIC 2017, Bangi, Malaysia, November 28–30, 2017, Proceedings / edited by Halimah Badioze Zaman, Peter Robinson, Alan F. Smeaton, Timothy K. Shih, Sergio Velastin, Tada Terutoshi, Azizah Jaafar, Nazlena Mohamad Ali. by Badioze Zaman, Halimah [editor.] | Robinson, Peter [editor.] | Smeaton, Alan F [editor.] | Shih, Timothy K [editor.] | Velastin, Sergio [editor.] | Terutoshi, Tada [editor.] | Jaafar, Azizah [editor.] | Mohamad Ali, Nazlena [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10645 | Lecture Notes in Computer Science ; 10645Edition: 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): .
|
|
|
|
|
Neural Information Processing [electronic resource] : 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part III / edited by Derong Liu, Shengli Xie, Yuanqing Li, Dongbin Zhao, El-Sayed M. El-Alfy. by Liu, Derong [editor.] | Xie, Shengli [editor.] | Li, Yuanqing [editor.] | Zhao, Dongbin [editor.] | El-Alfy, El-Sayed M [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10636 | Lecture Notes in Computer Science ; 10636Edition: 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 and Models for the Web Graph [electronic resource] : 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings / edited by David F. Gleich, Júlia Komjáthy, Nelly Litvak. by Gleich, David F [editor.] | Komjáthy, Júlia [editor.] | Litvak, Nelly [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9479 | Lecture Notes in Computer Science ; 9479Edition: 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): .
|
|
|
|
|
Theory of Cryptography [electronic resource] : 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part I / edited by Yael Kalai, Leonid Reyzin. by Kalai, Yael [editor.] | Reyzin, Leonid [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10677 | Lecture Notes in Computer Science ; 10677Edition: 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): .
|
|
|
|
|
Social Computing and Social Media. Applications and Analytics [electronic resource] : 9th International Conference, SCSM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II / edited by Gabriele Meiselwitz. by Meiselwitz, Gabriele [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10283 | Lecture Notes in Computer Science ; 10283Edition: 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): .
|
|
|
|
|
Computational Science and Its Applications – ICCSA 2017 [electronic resource] : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part I / 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 ; 10404 | Lecture Notes in Computer Science ; 10404Edition: 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): .
|
|
|
|
|
High-Performance Scientific Computing [electronic resource] : First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4–5, 2016, Revised Selected Papers / edited by Edoardo Di Napoli, Marc-André Hermanns, Hristo Iliev, Andreas Lintermann, Alexander Peyser. by Di Napoli, Edoardo [editor.] | Hermanns, Marc-André [editor.] | Iliev, Hristo [editor.] | Lintermann, Andreas [editor.] | Peyser, Alexander [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10164 | Lecture Notes in Computer Science ; 10164Edition: 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): .
|
|
|
|
|
Communication Systems and Networks [electronic resource] : 9th International Conference, COMSNETS 2017, Bengaluru, India, January 4–8, 2017, Revised Selected Papers and Invited Papers / edited by Nishanth Sastry, Sandip Chakraborty. by Sastry, Nishanth [editor.] | Chakraborty, Sandip [editor.] | SpringerLink (Online service). Series: Computer Communication Networks and Telecommunications ; 10340 | Lecture Notes in Computer Science ; 10340Edition: 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): .
|
|
|
|
|
Human-Computer Interaction – INTERACT 2017 [electronic resource] : 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part IV / edited by Regina Bernhaupt, Girish Dalvi, Anirudha Joshi, Devanuj K. Balkrishan, Jacki O’Neill, Marco Winckler. by Bernhaupt, Regina [editor.] | Dalvi, Girish [editor.] | Joshi, Anirudha [editor.] | K. Balkrishan, Devanuj [editor.] | O’Neill, Jacki [editor.] | Winckler, Marco [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10516 | Lecture Notes in Computer Science ; 10516Edition: 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): .
|
|
|
|
|
Autonomous Agents and Multiagent Systems [electronic resource] : AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers / edited by Gita Sukthankar, Juan A. Rodriguez-Aguilar. by Sukthankar, Gita [editor.] | Rodriguez-Aguilar, Juan A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10642 | Lecture Notes in Computer Science ; 10642Edition: 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): .
|
|
|
|
|
Analytical and Computational Methods in Probability Theory [electronic resource] : First International Conference, ACMPT 2017, Moscow, Russia, October 23-27, 2017, Proceedings / edited by Vladimir V. Rykov, Nozer D. Singpurwalla, Andrey M. Zubkov. by Rykov, Vladimir V [editor.] | Singpurwalla, Nozer D [editor.] | Zubkov, Andrey M [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10684 | Lecture Notes in Computer Science ; 10684Edition: 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): .
|
|
|
|
|
Critical Information Infrastructures Security [electronic resource] : 11th International Conference, CRITIS 2016, Paris, France, October 10–12, 2016, Revised Selected Papers / edited by Grigore Havarneanu, Roberto Setola, Hypatia Nassopoulos, Stephen Wolthusen. by Havarneanu, Grigore [editor.] | Setola, Roberto [editor.] | Nassopoulos, Hypatia [editor.] | Wolthusen, Stephen [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10242 | Lecture Notes in Computer Science ; 10242Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Big Data Analytics [electronic resource] : 5th International Conference, BDA 2017, Hyderabad, India, December 12-15, 2017, Proceedings / edited by P. Krishna Reddy, Ashish Sureka, Sharma Chakravarthy, Subhash Bhalla. by Reddy, P. Krishna [editor.] | Sureka, Ashish [editor.] | Chakravarthy, Sharma [editor.] | Bhalla, Subhash [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10721 | Lecture Notes in Computer Science ; 10721Edition: 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): .
|
|
|
|
|
Theory and Practice of Natural Computing [electronic resource] : 6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017, Proceedings / edited by Carlos Martín-Vide, Roman Neruda, Miguel A. Vega-Rodríguez. by Martín-Vide, Carlos [editor.] | Neruda, Roman [editor.] | Vega-Rodríguez, Miguel A [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10687 | Lecture Notes in Computer Science ; 10687Edition: 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): .
|
|
|
|
|
High Performance Computing [electronic resource] : 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18–22, 2017, Proceedings / edited by Julian M. Kunkel, Rio Yokota, Pavan Balaji, David Keyes. by Kunkel, Julian M [editor.] | Yokota, Rio [editor.] | Balaji, Pavan [editor.] | Keyes, David [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10266 | Lecture Notes in Computer Science ; 10266Edition: 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): .
|
