|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings / edited by Bernd Finkbeiner, Geguang Pu, Lijun Zhang. by Finkbeiner, Bernd [editor.] | Pu, Geguang [editor.] | Zhang, Lijun [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9364 | Lecture Notes in Computer Science ; 9364Edition: 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): .
|
|
|
|
|
Theoretical Aspects of Computing - ICTAC 2015 [electronic resource] : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings / edited by Martin Leucker, Camilo Rueda, Frank D. Valencia. by Leucker, Martin [editor.] | Rueda, Camilo [editor.] | Valencia, Frank D [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9399 | Lecture Notes in Computer Science ; 9399Edition: 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): .
|
|
|
|
|
Neural Information Processing [electronic resource] : 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings Part III / edited by Sabri Arik, Tingwen Huang, Weng Kin Lai, Qingshan Liu. by Arik, Sabri [editor.] | Huang, Tingwen [editor.] | Lai, Weng Kin [editor.] | Liu, Qingshan [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9491 | Lecture Notes in Computer Science ; 9491Edition: 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): .
|
|
|
|
|
Integrated Uncertainty in Knowledge Modelling and Decision Making [electronic resource] : 4th International Symposium, IUKM 2015, Nha Trang, Vietnam, October 15-17, 2015, Proceedings / edited by Van-Nam Huynh, Masahiro Inuiguchi, Thierry Demoeux. by Huynh, Van-Nam [editor.] | Inuiguchi, Masahiro [editor.] | Demoeux, Thierry [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9376 | Lecture Notes in Computer Science ; 9376Edition: 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 I / edited by Marcelo Arenas, Oscar Corcho, Elena Simperl, Markus Strohmaier, Mathieu d'Aquin, Kavitha Srinivas, Paul Groth, Michel Dumontier, Jeff Heflin, Krishnaprasad Thirunarayan, 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.] | Thirunarayan, Krishnaprasad [editor.] | Staab, Steffen [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9366 | Lecture Notes in Computer Science ; 9366Edition: 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): .
|
|
|
|
|
Advanced Concepts for Intelligent Vision Systems [electronic resource] : 16th International Conference, ACIVS 2015, Catania, Italy, October 26-29, 2015. Proceedings / edited by Sebastiano Battiato, Jacques Blanc-Talon, Giovanni Gallo, Wilfried Philips, Dan Popescu, Paul Scheunders. by Battiato, Sebastiano [editor.] | Blanc-Talon, Jacques [editor.] | Gallo, Giovanni [editor.] | Philips, Wilfried [editor.] | Popescu, Dan [editor.] | Scheunders, Paul [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9386 | Lecture Notes in Computer Science ; 9386Edition: 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): .
|
|
|
|
|
PRIMA 2015: Principles and Practice of Multi-Agent Systems [electronic resource] : 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings / edited by Qingliang Chen, Paolo Torroni, Serena Villata, Jane Hsu, Andrea Omicini. by Chen, Qingliang [editor.] | Torroni, Paolo [editor.] | Villata, Serena [editor.] | Hsu, Jane [editor.] | Omicini, Andrea [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9387 | Lecture Notes in Computer Science ; 9387Edition: 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): .
|
|
|
|
|
Rough Sets and Knowledge Technology [electronic resource] : 10th International Conference, RSKT 2015, Held as Part of the International Joint Conference on Rough Sets, IJCRS 2015, Tianjin, China, November 20-23, 2015, Proceedings / edited by Davide Ciucci, Guoyin Wang, Sushmita Mitra, Wei-Zhi Wu. by Ciucci, Davide [editor.] | Wang, Guoyin [editor.] | Mitra, Sushmita [editor.] | Wu, Wei-Zhi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9436 | Lecture Notes in Computer Science ; 9436Edition: 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): .
|
|
|
|
|
Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data [electronic resource] : 14th China National Conference, CCL 2015 and Third International Symposium, NLP-NABD 2015, Guangzhou, China, November 13-14, 2015, Proceedings / edited by Maosong Sun, Zhiyuan Liu, Min Zhang, Yang Liu. by Sun, Maosong [editor.] | Liu, Zhiyuan [editor.] | Zhang, Min [editor.] | Liu, Yang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9427 | Lecture Notes in Computer Science ; 9427Edition: 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: ESWC 2015 Satellite Events [electronic resource] : ESWC 2015 Satellite Events, Portorož, Slovenia, May 31 – June 4, 2015, Revised Selected Papers / edited by Fabien Gandon, Christophe Guéret, Serena Villata, John Breslin, Catherine Faron-Zucker, Antoine Zimmermann. by Gandon, Fabien [editor.] | Guéret, Christophe [editor.] | Villata, Serena [editor.] | Breslin, John [editor.] | Faron-Zucker, Catherine [editor.] | Zimmermann, Antoine [editor.] | SpringerLink (Online service). Series: Computer Communication Networks and Telecommunications ; 9341 | Lecture Notes in Computer Science ; 9341Edition: 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 Protocols XXIII [electronic resource] : 23rd International Workshop, Cambridge, UK, March 31 - April 2, 2015, Revised Selected Papers / edited by Bruce Christianson, Petr Švenda, Vashek Matyas, James Malcolm, Frank Stajano, Jonathan Anderson. by Christianson, Bruce [editor.] | Švenda, Petr [editor.] | Matyas, Vashek [editor.] | Malcolm, James [editor.] | Stajano, Frank [editor.] | Anderson, Jonathan [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9379 | Lecture Notes in Computer Science ; 9379Edition: 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): .
|
|
|
|
|
Web Information Systems Engineering – WISE 2015 [electronic resource] : 16th International Conference, Miami, FL, USA, November 1-3, 2015, Proceedings, Part II / edited by Jianyong Wang, Wojciech Cellary, Dingding Wang, Hua Wang, Shu-Ching Chen, Tao Li, Yanchun Zhang. by Wang, Jianyong [editor.] | Cellary, Wojciech [editor.] | Wang, Dingding [editor.] | Wang, Hua [editor.] | Chen, Shu-Ching [editor.] | Li, Tao [editor.] | Zhang, Yanchun [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9419 | Lecture Notes in Computer Science ; 9419Edition: 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): .
|
|
|
|
|
Risk Assessment and Risk-Driven Testing [electronic resource] : Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers / edited by Fredrik Seehusen, Michael Felderer, Jürgen Großmann, Marc-Florian Wendland. by Seehusen, Fredrik [editor.] | Felderer, Michael [editor.] | Großmann, Jürgen [editor.] | Wendland, Marc-Florian [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9488 | Lecture Notes in Computer Science ; 9488Edition: 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): .
|
|
|
|
|
Secure IT Systems [electronic resource] : 20th Nordic Conference, NordSec 2015, Stockholm, Sweden, October 19-21, 2015, Proceedings / edited by Sonja Buchegger, Mads Dam. by Buchegger, Sonja [editor.] | Dam, Mads [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9417 | Lecture Notes in Computer Science ; 9417Edition: 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): .
|
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings / edited by Guojin Wang, Albert Zomaya, Gregorio Martinez, Kenli Li. by Wang, Guojin [editor.] | Zomaya, Albert [editor.] | Martinez, Gregorio [editor.] | Li, Kenli [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9532 | Lecture Notes in Computer Science ; 9532Edition: 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): .
|
|
|
|
|
Large-Scale Scientific Computing [electronic resource] : 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papers / edited by Ivan Lirkov, Svetozar D. Margenov, Jerzy Waśniewski. by Lirkov, Ivan [editor.] | Margenov, Svetozar D [editor.] | Waśniewski, Jerzy [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9374 | Lecture Notes in Computer Science ; 9374Edition: 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 Artificial Intelligence and Soft Computing [electronic resource] : 14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015, Proceedings, Part I / edited by Grigori Sidorov, Sofía N. Galicia-Haro. by Sidorov, Grigori [editor.] | Galicia-Haro, Sofía N [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9413 | Lecture Notes in Computer Science ; 9413Edition: 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): .
|
|
|
|
|
Cryptology and Network Security [electronic resource] : 14th International Conference, CANS 2015, Marrakesh, Morocco, December 10-12, 2015, Proceedings / edited by Michael Reiter, David Naccache. by Reiter, Michael [editor.] | Naccache, David [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9476 | Lecture Notes in Computer Science ; 9476Edition: 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): .
|
|
|
|
|
Big Data Analytics [electronic resource] : 4th International Conference, BDA 2015, Hyderabad, India, December 15-18, 2015, Proceedings / edited by Naveen Kumar, Vasudha Bhatnagar. by Kumar, Naveen [editor.] | Bhatnagar, Vasudha [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9498 | Lecture Notes in Computer Science ; 9498Edition: 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): .
|
