|
|
|
Business Process Management [electronic resource] : 12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014. Proceedings / edited by Shazia Sadiq, Pnina Soffer, Hagen V�olzer.
by Sadiq, Shazia [editor.] | Soffer, Pnina [editor.] | V�olzer, Hagen [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
|
|
|
|
Collaboration in a Hyperconnected World [electronic resource] : 17th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2016, Porto, Portugal, October 3-5, 2016, Proceedings / edited by Hamideh Afsarmanesh, Luis M. Camarinha-Matos, Ant�onio Lucas Soares.
by Afsarmanesh, Hamideh [editor.] | Camarinha-Matos, Luis M [editor.] | Lucas Soares, Ant�onio [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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
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
|
|
|
|
Signal Processing and Information Technology [electronic resource] : Second International Joint Conference, SPIT 2012, Dubai, UAE, September 20-21, 2012, Revised Selected Papers / edited by Vinu V. Das, Passent Elkafrawy.
by Das, Vinu V [editor.] | Elkafrawy, Passent [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
|
|
|
|
Algebraic Informatics [electronic resource] : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings / edited by Traian Muntean, Dimitrios Poulakis, Robert Rolland.
by Muntean, Traian [editor.] | Poulakis, Dimitrios [editor.] | Rolland, Robert [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems [electronic resource] : 18th International GI/ITG Conference, MMB & DFT 2016, M�unster, Germany, April 4-6, 2016, Proceedings / edited by Anne Remke, Boudewijn R. Haverkort.
by Remke, Anne [editor.] | Haverkort, Boudewijn R [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
|
