|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings / edited by Martin Fränzle, Nicolas Markey. by Fränzle, Martin [editor.] | Markey, Nicolas [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9884 | Lecture Notes in Computer Science ; 9884Edition: 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): .
|
|
|
|
|
Computer Algebra in Scientific Computing [electronic resource] : 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov. by Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Seiler, Werner M [editor.] | Vorozhtsov, Evgenii V [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9301 | Lecture Notes in Computer Science ; 9301Edition: 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): .
|
|
|
|
|
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications [electronic resource] : 21st Iberoamerican Congress, CIARP 2016, Lima, Peru, November 8–11, 2016, Proceedings / edited by César Beltrán-Castañón, Ingela Nyström, Fazel Famili. by Beltrán-Castañón, César [editor.] | Nyström, Ingela [editor.] | Famili, Fazel [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10125 | Lecture Notes in Computer Science ; 10125Edition: 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): .
|
|
|
|
|
Evolutionary Multi-Criterion Optimization [electronic resource] : 9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings / edited by Heike Trautmann, Günter Rudolph, Kathrin Klamroth, Oliver Schütze, Margaret Wiecek, Yaochu Jin, Christian Grimme. by Trautmann, Heike [editor.] | Rudolph, Günter [editor.] | Klamroth, Kathrin [editor.] | Schütze, Oliver [editor.] | Wiecek, Margaret [editor.] | Jin, Yaochu [editor.] | Grimme, Christian [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10173 | Lecture Notes in Computer Science ; 10173Edition: 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): .
|
|
|
|
|
Service-Oriented Computing [electronic resource] : 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings / edited by Quan Z. Sheng, Eleni Stroulia, Samir Tata, Sami Bhiri. by Sheng, Quan Z [editor.] | Stroulia, Eleni [editor.] | Tata, Samir [editor.] | Bhiri, Sami [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9936 | Lecture Notes in Computer Science ; 9936Edition: 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): .
|
|
|
|
|
Architecture of Computing Systems – ARCS 2015 [electronic resource] : 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings / edited by Luís Miguel Pinho Pinho, Wolfgang Karl, Albert Cohen, Uwe Brinkschulte. by Pinho, Luís Miguel Pinho [editor.] | Karl, Wolfgang [editor.] | Cohen, Albert [editor.] | Brinkschulte, Uwe [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9017 | Lecture Notes in Computer Science ; 9017Edition: 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): .
|
|
|
|
|
Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques [electronic resource] : 5th International Conference, IScIDE 2015, Suzhou, China, June 14-16, 2015, Revised Selected Papers, Part II / edited by Xiaofei He, Xinbo Gao, Yanning Zhang, Zhi-Hua Zhou, Zhi-Yong Liu, Baochuan Fu, Fuyuan Hu, Zhancheng Zhang. by He, Xiaofei [editor.] | Gao, Xinbo [editor.] | Zhang, Yanning [editor.] | Zhou, Zhi-Hua [editor.] | Liu, Zhi-Yong [editor.] | Fu, Baochuan [editor.] | Hu, Fuyuan [editor.] | Zhang, Zhancheng [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9243 | Lecture Notes in Computer Science ; 9243Edition: 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): .
|
|
|
|
|
Digital Education: Out to the World and Back to the Campus [electronic resource] : 5th European MOOCs Stakeholders Summit, EMOOCs 2017, Madrid, Spain, May 22-26, 2017, Proceedings / edited by Carlos Delgado Kloos, Patrick Jermann, Mar Pérez-Sanagustín, Daniel T. Seaton, Su White. by Delgado Kloos, Carlos [editor.] | Jermann, Patrick [editor.] | Pérez-Sanagustín, Mar [editor.] | Seaton, Daniel T [editor.] | White, Su [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10254 | Lecture Notes in Computer Science ; 10254Edition: 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): .
|
|
|
|
|
Engineering Trustworthy Software Systems [electronic resource] : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang. by Bowen, Jonathan P [editor.] | Liu, Zhiming [editor.] | Zhang, Zili [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10215 | Lecture Notes in Computer Science ; 10215Edition: 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): .
|
|
|
|
|
End-User Development [electronic resource] : 6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017, Proceedings / edited by Simone Barbosa, Panos Markopoulos, Fabio Paternò, Simone Stumpf, Stefano Valtolina. by Barbosa, Simone [editor.] | Markopoulos, Panos [editor.] | Paternò, Fabio [editor.] | Stumpf, Simone [editor.] | Valtolina, Stefano [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10303 | Lecture Notes in Computer Science ; 10303Edition: 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 Drawing and Network Visualization [electronic resource] : 23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers / edited by Emilio Di Giacomo, Anna Lubiw. by Di Giacomo, Emilio [editor.] | Lubiw, Anna [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9411 | Lecture Notes in Computer Science ; 9411Edition: 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): .
|
|
|
|
|
Reasoning Web. Semantic Interoperability on the Web [electronic resource] : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures / edited by Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab. by Ianni, Giovambattista [editor.] | Lembo, Domenico [editor.] | Bertossi, Leopoldo [editor.] | Faber, Wolfgang [editor.] | Glimm, Birte [editor.] | Gottlob, Georg [editor.] | Staab, Steffen [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10370 | Lecture Notes in Computer Science ; 10370Edition: 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): .
|
|
|
|
|
Cross-Cultural Design [electronic resource] : 8th International Conference, CCD 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings / edited by Pei-Luen Patrick Rau. by Rau, Pei-Luen Patrick [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9741 | Lecture Notes in Computer Science ; 9741Edition: 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): .
|
|
|
|
|
Software Reuse: Bridging with Social-Awareness [electronic resource] : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings / edited by Georgia M. Kapitsaki, Eduardo Santana de Almeida. by Kapitsaki, Georgia M [editor.] | Santana de Almeida, Eduardo [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9679 | Lecture Notes in Computer Science ; 9679Edition: 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): .
|
|
|
|
|
Rules and Reasoning [electronic resource] : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings / edited by Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman. by Costantini, Stefania [editor.] | Franconi, Enrico [editor.] | Van Woensel, William [editor.] | Kontchakov, Roman [editor.] | Sadri, Fariba [editor.] | Roman, Dumitru [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10364 | Lecture Notes in Computer Science ; 10364Edition: 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. Novel User Experiences [electronic resource] : 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part III / edited by Masaaki Kurosu. by Kurosu, Masaaki [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9733 | Lecture Notes in Computer Science ; 9733Edition: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Intelligent Data Engineering and Automated Learning – IDEAL 2016 [electronic resource] : 17th International Conference, Yangzhou, China, October 12–14, 2016, Proceedings / edited by Hujun Yin, Yang Gao, Bin Li, Daoqiang Zhang, Ming Yang, Yun Li, Frank Klawonn, Antonio J. Tallón-Ballesteros. by Yin, Hujun [editor.] | Gao, Yang [editor.] | Li, Bin [editor.] | Zhang, Daoqiang [editor.] | Yang, Ming [editor.] | Li, Yun [editor.] | Klawonn, Frank [editor.] | Tallón-Ballesteros, Antonio J [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9937 | Lecture Notes in Computer Science ; 9937Edition: 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): .
|
|
|
|
|
Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data [electronic resource] : 15th China National Conference, CCL 2016, and 4th International Symposium, NLP-NABD 2016, Yantai, China, October 15-16, 2016, Proceedings / edited by Maosong Sun, Xuanjing Huang, Hongfei Lin, Zhiyuan Liu, Yang Liu. by Sun, Maosong [editor.] | Huang, Xuanjing [editor.] | Lin, Hongfei [editor.] | Liu, Zhiyuan [editor.] | Liu, Yang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10035 | Lecture Notes in Computer Science ; 10035Edition: 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): .
|
