|
|
|
|
On the Move to Meaningful Internet Systems. OTM 2017 Conferences [electronic resource] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I / edited by Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike Papazoglou, Adrian Paschke, Claudio Agostino Ardagna, Robert Meersman. by Panetto, Hervé [editor.] | Debruyne, Christophe [editor.] | Gaaloul, Walid [editor.] | Papazoglou, Mike [editor.] | Paschke, Adrian [editor.] | Ardagna, Claudio Agostino [editor.] | Meersman, Robert [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10573 | Lecture Notes in Computer Science ; 10573Edition: 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): .
|
|
|
|
|
Critical Systems: Formal Methods and Automated Verification [electronic resource] : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings / edited by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti. by Petrucci, Laure [editor.] | Seceleanu, Cristina [editor.] | Cavalcanti, Ana [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10471 | Lecture Notes in Computer Science ; 10471Edition: 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 - ICSOC 2014 Workshops [electronic resource] : WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers / edited by Farouk Toumani, Barbara Pernici, Daniela Grigori, Djamal Benslimane, Jan Mendling, Nejib Ben Hadj-Alouane, Brian Blake, Olivier Perrin, Iman Saleh Moustafa, Sami Bhiri. by Toumani, Farouk [editor.] | Pernici, Barbara [editor.] | Grigori, Daniela [editor.] | Benslimane, Djamal [editor.] | Mendling, Jan [editor.] | Ben Hadj-Alouane, Nejib [editor.] | Blake, Brian [editor.] | Perrin, Olivier [editor.] | Saleh Moustafa, Iman [editor.] | Bhiri, Sami [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 8954 | Lecture Notes in Computer Science ; 8954Edition: 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): .
|
|
|
|
|
Rule Technologies: Foundations, Tools, and Applications [electronic resource] : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings / edited by Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman. by Bassiliades, Nick [editor.] | Gottlob, Georg [editor.] | Sadri, Fariba [editor.] | Paschke, Adrian [editor.] | Roman, Dumitru [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9202 | Lecture Notes in Computer Science ; 9202Edition: 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): .
|
|
|
|
|
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies [electronic resource] : Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers / edited by Manjunath Gorentla Venkata, Pavel Shamis, Neena Imam, M. Graham Lopez. by Gorentla Venkata, Manjunath [editor.] | Shamis, Pavel [editor.] | Imam, Neena [editor.] | Lopez, M. Graham [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9397 | Lecture Notes in Computer Science ; 9397Edition: 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): .
|
|
|
|
|
Product-Focused Software Process Improvement [electronic resource] : 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings / edited by Pekka Abrahamsson, Andreas Jedlitschka, Anh Nguyen Duc, Michael Felderer, Sousuke Amasaki, Tommi Mikkonen. by Abrahamsson, Pekka [editor.] | Jedlitschka, Andreas [editor.] | Nguyen Duc, Anh [editor.] | Felderer, Michael [editor.] | Amasaki, Sousuke [editor.] | Mikkonen, Tommi [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10027 | Lecture Notes in Computer Science ; 10027Edition: 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): .
|
|
|
|
|
Product-Focused Software Process Improvement [electronic resource] : 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29–December 1, 2017, Proceedings / edited by Michael Felderer, Daniel Méndez Fernández, Burak Turhan, Marcos Kalinowski, Federica Sarro, Dietmar Winkler. by Felderer, Michael [editor.] | Méndez Fernández, Daniel [editor.] | Turhan, Burak [editor.] | Kalinowski, Marcos [editor.] | Sarro, Federica [editor.] | Winkler, Dietmar [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10611 | Lecture Notes in Computer Science ; 10611Edition: 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): .
|
|
|
|
|
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems [electronic resource] : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures / edited by Marco Bernardo, Rocco De Nicola, Jane Hillston. by Bernardo, Marco [editor.] | De Nicola, Rocco [editor.] | Hillston, Jane [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9700 | Lecture Notes in Computer Science ; 9700Edition: 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): .
|
|
|
|
|
Coordination Models and Languages [electronic resource] : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / edited by Alberto Lluch Lafuente, José Proença. by Lluch Lafuente, Alberto [editor.] | Proença, José [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9686 | Lecture Notes in Computer Science ; 9686Edition: 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): .
|
|
|
|
|
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems [electronic resource] : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings / edited by Anne Remke, Boudewijn R. Haverkort. by Remke, Anne [editor.] | Haverkort, Boudewijn R [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9629 | Lecture Notes in Computer Science ; 9629Edition: 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): .
|
|
|
|
|
OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments [electronic resource] : Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers / edited by Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale, Tiffany M. Mintz. by Gorentla Venkata, Manjunath [editor.] | Imam, Neena [editor.] | Pophale, Swaroop [editor.] | Mintz, Tiffany M [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10007 | Lecture Notes in Computer Science ; 10007Edition: 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): .
|
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings / edited by Leila Ribeiro, Thierry Lecomte. by Ribeiro, Leila [editor.] | Lecomte, Thierry [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10090 | Lecture Notes in Computer Science ; 10090Edition: 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): .
|
|
|
|
|
Model and Data Engineering [electronic resource] : 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings / edited by Ladjel Bellatreche, Óscar Pastor, Jesús M. Almendros Jiménez, Yamine Aït-Ameur. by Bellatreche, Ladjel [editor.] | Pastor, Óscar [editor.] | Almendros Jiménez, Jesús M [editor.] | Aït-Ameur, Yamine [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9893 | Lecture Notes in Computer Science ; 9893Edition: 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): .
|
|
|
|
|
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [electronic resource] : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings / edited by Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky. by Fantechi, Alessandro [editor.] | Lecomte, Thierry [editor.] | Romanovsky, Alexander [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10598 | Lecture Notes in Computer Science ; 10598Edition: 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): .
|
|
|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings / edited by Enrico Pontelli, Tran Cao Son. by Pontelli, Enrico [editor.] | Son, Tran Cao [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9131 | Lecture Notes in Computer Science ; 9131Edition: 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 Methods: Foundations and Applications [electronic resource] : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings / edited by Simone Cavalheiro, José Fiadeiro. by Cavalheiro, Simone [editor.] | Fiadeiro, José [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10623 | Lecture Notes in Computer Science ; 10623Edition: 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): .
|
|
|
|
|
Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings / edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang. by Larsen, Kim Guldstrand [editor.] | Sokolsky, Oleg [editor.] | Wang, Ji [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10606 | Lecture Notes in Computer Science ; 10606Edition: 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): .
|
|
|
|
|
Hardware and Software: Verification and Testing [electronic resource] : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings / edited by Ofer Strichman, Rachel Tzoref-Brill. by Strichman, Ofer [editor.] | Tzoref-Brill, Rachel [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10629 | Lecture Notes in Computer Science ; 10629Edition: 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): .
|
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers / edited by Christiano Braga, Peter Csaba Ölveczky. by Braga, Christiano [editor.] | Ölveczky, Peter Csaba [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9539 | Lecture Notes in Computer Science ; 9539Edition: 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): .
|
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings / edited by Kazuhiro Ogata, Mark Lawford, Shaoying Liu. by Ogata, Kazuhiro [editor.] | Lawford, Mark [editor.] | Liu, Shaoying [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10009 | Lecture Notes in Computer Science ; 10009Edition: 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): .
|
