1.
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).
Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: ; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
2.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings / edited by Sriram Sankaranarayanan, Enrico Vicario. by Sankaranarayanan, Sriram [editor.] | Vicario, Enrico [editor.] | SpringerLink (Online service).
Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: ; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
3.
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).
Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: ; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
4.
Computational Logistics [electronic resource] : 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / edited by Francesco Corman, Stefan Voß, Rudy R. Negenborn. by Corman, Francesco [editor.] | Voß, Stefan [editor.] | Negenborn, Rudy R [editor.] | SpringerLink (Online service).
Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: ; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
5.
On the Move to Meaningful Internet Systems: OTM 2015 Conferences [electronic resource] : Confederated International Conferences: CoopIS, ODBASE, and C&TC 2015, Rhodes, Greece, October 26-30, 2015. Proceedings / edited by Christophe Debruyne, Hervé Panetto, Robert Meersman, Tharam Dillon, Georg Weichhart, Yuan An, Claudio Agostino Ardagna. by Debruyne, Christophe [editor.] | Panetto, Hervé [editor.] | Meersman, Robert [editor.] | Dillon, Tharam [editor.] | Weichhart, Georg [editor.] | An, Yuan [editor.] | Ardagna, Claudio Agostino [editor.] | SpringerLink (Online service).
Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: ; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
6.
Product-Focused Software Process Improvement [electronic resource] : 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings / edited by Pekka Abrahamsson, Luis Corral, Markku Oivo, Barbara Russo. by Abrahamsson, Pekka [editor.] | Corral, Luis [editor.] | Oivo, Markku [editor.] | Russo, Barbara [editor.] | SpringerLink (Online service).
Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: ; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
7.
Web Engineering [electronic resource] : 16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016. Proceedings / edited by Alessandro Bozzon, Philippe Cudre-Maroux, Cesare Pautasso. by Bozzon, Alessandro [editor.] | Cudre-Maroux, Philippe [editor.] | Pautasso, Cesare [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: ; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available :
8.
Advanced Information Systems Engineering [electronic resource] : 28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings / edited by Selmin Nurcan, Pnina Soffer, Marko Bajec, Johann Eder. by Nurcan, Selmin [editor.] | Soffer, Pnina [editor.] | Bajec, Marko [editor.] | Eder, Johann [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: ; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available :
9.
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).
Source: Springer eBooksMaterial type: ; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available :
10.
Computational Logistics [electronic resource] : 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings / edited by Ana Paias, Mario Ruthmair, Stefan Voß. by Paias, Ana [editor.] | Ruthmair, Mario [editor.] | Voß, Stefan [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: ; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available :
11.
Computer Safety, Reliability, and Security [electronic resource] : 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings / edited by Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch. by Skavhaug, Amund [editor.] | Guiochet, Jérémie [editor.] | Bitsch, Friedemann [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: ; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available :
12.
Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings / edited by Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch. by Skavhaug, Amund [editor.] | Guiochet, Jérémie [editor.] | Schoitsch, Erwin [editor.] | Bitsch, Friedemann [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: ; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available :
13.
Service-Oriented Computing – ICSOC 2015 Workshops [electronic resource] : WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers / edited by Alex Norta, Walid Gaaloul, G. R. Gangadharan, Hoa Khanh Dam. by Norta, Alex [editor.] | Gaaloul, Walid [editor.] | Gangadharan, G. R [editor.] | Dam, Hoa Khanh [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: ; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available :
14.
Uml and the unified process by Favre, L.
Material type: ; Format:
print
Language: English Publisher: Hershey : Irm, 2003Availability: Items available for loan: Call number: 005.1 FAV/U
15.
16.
17.
Practical Aspects of Declarative Languages [electronic resource] : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings / edited by Yuliya Lierler, Walid Taha. by Lierler, Yuliya [editor.] | Taha, Walid [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: ; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available :
18.
Modeling and Using Context [electronic resource] : 10th International and Interdisciplinary Conference, CONTEXT 2017, Paris, France, June 20-23, 2017, Proceedings / edited by Patrick Brézillon, Roy Turner, Carlo Penco. by Brézillon, Patrick [editor.] | Turner, Roy [editor.] | Penco, Carlo [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: ; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available :
19.
Cross-Cultural Design [electronic resource] : 9th International Conference, CCD 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings / edited by Pei-Luen Patrick Rau. by Rau, Pei-Luen Patrick [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: ; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available :
20.
Human-Computer Interaction. User Interface Design, Development and Multimodality [electronic resource] : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I / edited by Masaaki Kurosu. by Kurosu, Masaaki [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: ; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available :
21.
Human-Computer Interaction. Interaction Contexts [electronic resource] : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II / edited by Masaaki Kurosu. by Kurosu, Masaaki [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: ; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available :
22.
Human Aspects of Information Security, Privacy and Trust [electronic resource] : 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings / edited by Theo Tryfonas. by Tryfonas, Theo [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: ; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available :
23.
Designing the Digital Transformation [electronic resource] : 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 – June 1, 2017, Proceedings / edited by Alexander Maedche, Jan vom Brocke, Alan Hevner. by Maedche, Alexander [editor.] | vom Brocke, Jan [editor.] | Hevner, Alan [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: ; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available :
24.
Formal Concept Analysis [electronic resource] : 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings / edited by Karell Bertet, Daniel Borchmann, Peggy Cellier, Sébastien Ferré. by Bertet, Karell [editor.] | Borchmann, Daniel [editor.] | Cellier, Peggy [editor.] | Ferré, Sébastien [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: ; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available :
25.
Advanced Information Systems Engineering [electronic resource] : 29th International Conference, CAiSE 2017, Essen, Germany, June 12-16, 2017, Proceedings / edited by Eric Dubois, Klaus Pohl. by Dubois, Eric [editor.] | Pohl, Klaus [editor.] | SpringerLink (Online service).
Source: Springer eBooksMaterial type: ; Format:
electronic
available online
; Literary form:
Not fiction
Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available :
