|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 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 ; 9338 | Lecture Notes in Computer Science ; 9338Edition: 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 Transformation [electronic resource] : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings / edited by Esther Guerra, Mark van den Brand. by Guerra, Esther [editor.] | van den Brand, Mark [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10374 | Lecture Notes in Computer Science ; 10374Edition: 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): .
|
|
|
|
|
Research in Attacks, Intrusions, and Defenses [electronic resource] : 18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015. Proceedings / edited by Herbert Bos, Fabian Monrose, Gregory Blanc. by Bos, Herbert [editor.] | Monrose, Fabian [editor.] | Blanc, Gregory [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9404 | Lecture Notes in Computer Science ; 9404Edition: 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] : 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings / edited by Pieter Van Gorp, Gregor Engels. by Van Gorp, Pieter [editor.] | Engels, Gregor [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9765 | Lecture Notes in Computer Science ; 9765Edition: 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): .
|
|
|
|
|
Mastering Scale and Complexity in Software Reuse [electronic resource] : 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings / edited by Goetz Botterweck, Claudia Werner. by Botterweck, Goetz [editor.] | Werner, Claudia [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10221 | Lecture Notes in Computer Science ; 10221Edition: 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 Architectures for Parallel Processing [electronic resource] : 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings / edited by Shadi Ibrahim, Kim-Kwang Raymond Choo, Zheng Yan, Witold Pedrycz. by Ibrahim, Shadi [editor.] | Choo, Kim-Kwang Raymond [editor.] | Yan, Zheng [editor.] | Pedrycz, Witold [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10393 | Lecture Notes in Computer Science ; 10393Edition: 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): .
|
|
|
|
|
Intelligent Cloud Computing [electronic resource] : First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers / edited by Asma Al-Saidi, Rudolf Fleischer, Zakaria Maamar, Omer F. Rana. by Al-Saidi, Asma [editor.] | Fleischer, Rudolf [editor.] | Maamar, Zakaria [editor.] | Rana, Omer F [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8993 | Lecture Notes in Computer Science ; 8993Edition: 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): .
|
|
|
|
|
Service Oriented and Cloud Computing [electronic resource] : 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015, Proceedings / edited by Schahram Dustdar, Frank Leymann, Massimo Villari. by Dustdar, Schahram [editor.] | Leymann, Frank [editor.] | Villari, Massimo [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9306 | Lecture Notes in Computer Science ; 9306Edition: 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): .
|
|
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings / edited by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov. by Davis, Martin [editor.] | Fehnker, Ansgar [editor.] | McIver, Annabelle [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9450 | Lecture Notes in Computer Science ; 9450Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Modelling Foundations and Applications [electronic resource] : 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings / edited by Anthony Anjorin, Huáscar Espinoza. by Anjorin, Anthony [editor.] | Espinoza, Huáscar [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10376 | Lecture Notes in Computer Science ; 10376Edition: 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): .
|
|
|
|
|
Tests and Proofs [electronic resource] : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings / edited by Jasmin Christian Blanchette, Nikolai Kosmatov. by Blanchette, Jasmin Christian [editor.] | Kosmatov, Nikolai [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9154 | Lecture Notes in Computer Science ; 9154Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Coordination Models and Languages [electronic resource] : 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings / edited by Jean-Marie Jacquet, Mieke Massink. by Jacquet, Jean-Marie [editor.] | Massink, Mieke [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10319 | Lecture Notes in Computer Science ; 10319Edition: 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): .
|
|
|
|
|
Runtime Verification [electronic resource] : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings / edited by Shuvendu Lahiri, Giles Reger. by Lahiri, Shuvendu [editor.] | Reger, Giles [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10548 | Lecture Notes in Computer Science ; 10548Edition: 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 - ESA 2015 [electronic resource] : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings / edited by Nikhil Bansal, Irene Finocchi. by Bansal, Nikhil [editor.] | Finocchi, Irene [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9294 | Lecture Notes in Computer Science ; 9294Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Dependable Software Engineering: Theories, Tools, and Applications [electronic resource] : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / edited by Xuandong Li, Zhiming Liu, Wang Yi. by Li, Xuandong [editor.] | Liu, Zhiming [editor.] | Yi, Wang [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9409 | Lecture Notes in Computer Science ; 9409Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Computational Science and Its Applications -- ICCSA 2015 [electronic resource] : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan. by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Gavrilova, Marina L [editor.] | Rocha, Ana Maria Alves Coutinho [editor.] | Torre, Carmelo [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9155 | Lecture Notes in Computer Science ; 9155Edition: 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): .
|
|
|
|
|
|
|
|
|
|
|
