|
|
|
|
Advances in Computer Games [electronic resource] : 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers / edited by Aske Plaat, Jaap van den Herik, Walter Kosters. by Plaat, Aske [editor.] | van den Herik, Jaap [editor.] | Kosters, Walter [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9525 | Lecture Notes in Computer Science ; 9525Edition: 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 and Practice of Model Transformations [electronic resource] : 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings / edited by Dimitris Kolovos, Manuel Wimmer. by Kolovos, Dimitris [editor.] | Wimmer, Manuel [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9152 | Lecture Notes in Computer Science ; 9152Edition: 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): .
|
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings / edited by Ahmed Bouajjani, David Monniaux. by Bouajjani, Ahmed [editor.] | Monniaux, David [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10145 | Lecture Notes in Computer Science ; 10145Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Advanced Parallel Processing Technologies [electronic resource] : 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings / edited by Yunji Chen, Paolo Ienne, Qing Ji. by Chen, Yunji [editor.] | Ienne, Paolo [editor.] | Ji, Qing [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9231 | Lecture Notes in Computer Science ; 9231Edition: 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): .
|
|
|
|
|
|
|
|
|
|
FM 2016: Formal Methods [electronic resource] : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / edited by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou. by Fitzgerald, John [editor.] | Heitmeyer, Constance [editor.] | Gnesi, Stefania [editor.] | Philippou, Anna [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9995 | Lecture Notes in Computer Science ; 9995Edition: 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 Safety, Reliability, and Security [electronic resource] : 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / edited by Floor Koornneef, Coen van Gulijk. by Koornneef, Floor [editor.] | van Gulijk, Coen [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9337 | Lecture Notes in Computer Science ; 9337Edition: 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): .
|
|
|
|
|
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): .
|
|
|
|
|
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): .
|
|
|
|
|
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): .
|
|
|
|
|
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): .
|
|
|
|
|
|
|
|
|
|
Service-Oriented Computing – ICSOC 2016 Workshops [electronic resource] : ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10–13, 2016, Revised Selected Papers / edited by Khalil Drira, Hongbing Wang, Qi Yu, Yan Wang, Yuhong Yan, François Charoy, Jan Mendling, Mohamed Mohamed, Zhongjie Wang, Sami Bhiri. by Drira, Khalil [editor.] | Wang, Hongbing [editor.] | Yu, Qi [editor.] | Wang, Yan [editor.] | Yan, Yuhong [editor.] | Charoy, François [editor.] | Mendling, Jan [editor.] | Mohamed, Mohamed [editor.] | Wang, Zhongjie [editor.] | Bhiri, Sami [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10380 | Lecture Notes in Computer Science ; 10380Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Fundamentals of Software Engineering [electronic resource] : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers / edited by Mehdi Dastani, Marjan Sirjani. by Dastani, Mehdi [editor.] | Sirjani, Marjan [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10522 | Lecture Notes in Computer Science ; 10522Edition: 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 Methods in Systems Biology [electronic resource] : 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings / edited by Ezio Bartocci, Pietro Lio, Nicola Paoletti. by Bartocci, Ezio [editor.] | Lio, Pietro [editor.] | Paoletti, Nicola [editor.] | SpringerLink (Online service). Series: Lecture Notes in Bioinformatics ; 9859 | Lecture Notes in Computer Science ; 9859Edition: 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): .
|
