|
|
|
Web Services, Formal Methods, and Behavioral Types [electronic resource] : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / edited by Thomas Hildebrandt, Ant�onio Ravara, Jan Martijn van der Werf, Matthias Weidlich.
by Hildebrandt, Thomas [editor.] | Ravara, Ant�onio [editor.] | van der Werf, Jan Martijn [editor.] | Weidlich, Matthias [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithmic Aspects of Cloud Computing [electronic resource] : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers / edited by Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos.
by Karydis, Ioannis [editor.] | Sioutas, Spyros [editor.] | Triantafillou, Peter [editor.] | Tsoumakos, Dimitrios [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Critical Infrastructures: Risk and Vulnerability Assessment in Transportation of Dangerous Goods [electronic resource] : Transportation by Road and Rail / by Bogdan I. Vamanu, Adrian V. Gheorghe, Polinpapilinho F. Katina.
by Vamanu, Bogdan I [author.] | Gheorghe, Adrian V [author.] | Katina, Polinpapilinho F [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Achieving Success and Innovation in Global Sourcing: Perspectives and Practices [electronic resource] : 9th Global Sourcing Workshop 2015, La Thuile, Italy, February 18-21, 2015, Revised Selected Papers / edited by Ilan Oshri, Julia Kotlarsky, Leslie P. Willcocks.
by Oshri, Ilan [editor.] | Kotlarsky, Julia [editor.] | Willcocks, Leslie P [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Methods in Systems Biology [electronic resource] : 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings / edited by Olivier Roux, J�er�emie Bourdon.
by Roux, Olivier [editor.] | Bourdon, J�er�emie [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Social Computing and Multiagent Systems [electronic resource] : 6th International Workshop on Collaborative Agents Research and Development, CARE 2015 and Second International Workshop on Multiagent Foundations of Social Computing, MFSC 2015, Istanbul, Turkey, May 4, 2015, Revised Selected Papers / edited by Fernando Koch, Christian Guttmann, Didac Busquets.
by Koch, Fernando [editor.] | Guttmann, Christian [editor.] | Busquets, Didac [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Business Intelligence [electronic resource] : Third European Summer School, eBISS 2013, Dagstuhl Castle, Germany, July 7-12, 2013, Tutorial Lectures / edited by Esteban Zim�anyi.
by Zim�anyi, Esteban [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Software Process Improvement and Capability Determination [electronic resource] : 15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015. Proceedings / edited by Terry Rout, Rory V. O'Connor, Alec Dorling.
by Rout, Terry [editor.] | O'Connor, Rory V [editor.] | Dorling, Alec [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Techniques for Safety-Critical Systems [electronic resource] : Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers / edited by Cyrille Artho, Peter Csaba �Olveczky.
by Artho, Cyrille [editor.] | �Olveczky, Peter Csaba [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Computer-Human Interaction. Cognitive Effects of Spatial Interaction, Learning, and Ability [electronic resource] : 25th Australian Computer-Human Interaction Conference, OzCHI 2013, Adelaide, SA, Australia, November 25-29, 2013. Revised and Extended Papers / edited by Theodor Wyeld, Paul Calder, Haifeng Shen.
by Wyeld, Theodor [editor.] | Calder, Paul [editor.] | Shen, Haifeng [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Exploring Services Science [electronic resource] : 6th International Conference, IESS 2015, Porto, Portugal, February 4-6, 2015, Proceedings / edited by Henriqueta N�ovoa, Monica Drăgoicea.
by N�ovoa, Henriqueta [editor.] | Drăgoicea, Monica [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Guide to DataFlow Supercomputing [electronic resource] : Basic Concepts, Case Studies, and a Detailed Example / by Veljko Milutinović, Jakob Salom, Nemanja Trifunovic, Roberto Giorgi.
by Milutinović, Veljko [author.] | Salom, Jakob [author.] | Trifunovic, Nemanja [author.] | Giorgi, Roberto [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
UML @ Classroom [electronic resource] : An Introduction to Object-Oriented Modeling / by Martina Seidl, Marion Scholz, Christian Huemer, Gerti Kappel.
by Seidl, Martina [author.] | Scholz, Marion [author.] | Huemer, Christian [author.] | Kappel, Gerti [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
S-BPM ONE - Application Studies and Work in Progress [electronic resource] : 6th International Conference, S-BPM ONE 2014, Eichst�att, Germany, April 22-23, 2014. Proceedings / edited by Cornelia Zehbold.
by Zehbold, Cornelia [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
High-Performance Computing on the Intel� Xeon Phi™ [electronic resource] : How to Fully Exploit MIC Architectures / by Endong Wang, Qing Zhang, Bo Shen, Guangyong Zhang, Xiaowei Lu, Qing Wu, Yajuan Wang.
by Wang, Endong [author.] | Zhang, Qing [author.] | Shen, Bo [author.] | Zhang, Guangyong [author.] | Lu, Xiaowei [author.] | Wu, Qing [author.] | Wang, Yajuan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Automated Reasoning [electronic resource] : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings / edited by St�ephane Demri, Deepak Kapur, Christoph Weidenbach.
by Demri, St�ephane [editor.] | Kapur, Deepak [editor.] | Weidenbach, Christoph [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Decision Support Systems III - Impact of Decision Support Systems for Global Environments [electronic resource] : Euro Working Group Workshops, EWG-DSS 2013, Thessaloniki, Greece, May 29-31, 2013, and Rome, Italy, July 1-4, 2013, Revised Selected and Extended Papers / edited by F�atima Dargam, Jorge E. Hern�andez, Pascale Zarat�e, Shaofeng Liu, Rita Ribeiro, Boris Delibašić, Jason Papathanasiou.
by Dargam, F�atima [editor.] | Hern�andez, Jorge E [editor.] | Zarat�e, Pascale [editor.] | Liu, Shaofeng [editor.] | Ribeiro, Rita [editor.] | Delibašić, Boris [editor.] | Papathanasiou, Jason [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Software Engineering Education for a Global E-Service Economy [electronic resource] : State of the Art, Trends and Developments / edited by Gianmario Motta, Bing Wu.
by Motta, Gianmario [editor.] | Wu, Bing [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Software Language Engineering [electronic resource] : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings / edited by Martin Erwig, Richard F. Paige, Eric Van Wyk.
by Erwig, Martin [editor.] | Paige, Richard F [editor.] | Wyk, Eric Van [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Modelling Foundations and Applications [electronic resource] : 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings / edited by Jordi Cabot, Julia Rubin.
by Cabot, Jordi [editor.] | Rubin, Julia [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
