|
|
|
|
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): .
|
|
|
|
|
Graph-Theoretic Concepts in Computer Science [electronic resource] : 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers / edited by Hans L. Bodlaender, Gerhard J. Woeginger. by Bodlaender, Hans L [editor.] | Woeginger, Gerhard J [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10520 | Lecture Notes in Computer Science ; 10520Edition: 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): .
|
|
|
|
|
Knowledge Graphs and Language Technology [electronic resource] : ISWC 2016 International Workshops: KEKI and NLP&DBpedia, Kobe, Japan, October 17-21, 2016, Revised Selected Papers / edited by Marieke van Erp, Sebastian Hellmann, John P. McCrae, Christian Chiarcos, Key-Sun Choi, Jorge Gracia, Yoshihiko Hayashi, Seiji Koide, Pablo Mendes, Heiko Paulheim, Hideaki Takeda. by van Erp, Marieke [editor.] | Hellmann, Sebastian [editor.] | McCrae, John P [editor.] | Chiarcos, Christian [editor.] | Choi, Key-Sun [editor.] | Gracia, Jorge [editor.] | Hayashi, Yoshihiko [editor.] | Koide, Seiji [editor.] | Mendes, Pablo [editor.] | Paulheim, Heiko [editor.] | Takeda, Hideaki [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10579 | Lecture Notes in Computer Science ; 10579Edition: 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): .
|
|
|
|
|
Automated Reasoning [electronic resource] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings / edited by Nicola Olivetti, Ashish Tiwari. by Olivetti, Nicola [editor.] | Tiwari, Ashish [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9706 | Lecture Notes in Computer Science ; 9706Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Future and Emerging Trends in Language Technology. Machine Learning and Big Data [electronic resource] : Second International Workshop, FETLT 2016, Seville, Spain, November 30 –December 2, 2016, Revised Selected Papers / edited by José F Quesada, Francisco-Jesús Martín Mateos, Teresa López Soto. by Quesada, José F [editor.] | Martín Mateos, Francisco-Jesús [editor.] | López Soto, Teresa [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10341 | Lecture Notes in Computer Science ; 10341Edition: 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): .
|
|
|
|
|
Learning and Intelligent Optimization [electronic resource] : 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers / edited by Roberto Battiti, Dmitri E. Kvasov, Yaroslav D. Sergeyev. by Battiti, Roberto [editor.] | Kvasov, Dmitri E [editor.] | Sergeyev, Yaroslav D [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10556 | Lecture Notes in Computer Science ; 10556Edition: 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): .
|
|
|
|
|
Neural Information Processing [electronic resource] : 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part II / 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 ; 10635 | Lecture Notes in Computer Science ; 10635Edition: 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 IV / 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 ; 10637 | Lecture Notes in Computer Science ; 10637Edition: 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): .
|
|
|
|
|
Serious Games [electronic resource] : Third Joint International Conference, JCSG 2017, Valencia, Spain, November 23-24, 2017, Proceedings / edited by Mariano Alcañiz, Stefan Göbel, Minhua Ma, Manuel Fradinho Oliveira, Jannicke Baalsrud Hauge, Tim Marsh. by Alcañiz, Mariano [editor.] | Göbel, Stefan [editor.] | Ma, Minhua [editor.] | Fradinho Oliveira, Manuel [editor.] | Baalsrud Hauge, Jannicke [editor.] | Marsh, Tim [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10622 | Lecture Notes in Computer Science ; 10622Edition: 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): .
|
|
|
|
|
Theory of Cryptography [electronic resource] : 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part II / edited by Yael Kalai, Leonid Reyzin. by Kalai, Yael [editor.] | Reyzin, Leonid [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10678 | Lecture Notes in Computer Science ; 10678Edition: 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): .
|
|
|
|
|
Semantic Technology [electronic resource] : 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings / edited by Zhe Wang, Anni-Yasmin Turhan, Kewen Wang, Xiaowang Zhang. by Wang, Zhe [editor.] | Turhan, Anni-Yasmin [editor.] | Wang, Kewen [editor.] | Zhang, Xiaowang [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10675 | Lecture Notes in Computer Science ; 10675Edition: 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): .
|
|
|
|
|
Brain Informatics [electronic resource] : International Conference, BI 2017, Beijing, China, November 16-18, 2017, Proceedings / edited by Yi Zeng, Yong He, Jeanette Hellgren Kotaleski, Maryann Martone, Bo Xu, Hanchuan Peng, Qingming Luo. by Zeng, Yi [editor.] | He, Yong [editor.] | Kotaleski, Jeanette Hellgren [editor.] | Martone, Maryann [editor.] | Xu, Bo [editor.] | Peng, Hanchuan [editor.] | Luo, Qingming [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10654 | Lecture Notes in Computer Science ; 10654Edition: 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): .
|
