|
|
|
Cloud Computing [electronic resource] : Methods and Practical Approaches / edited by Zaigham Mahmood.
by Mahmood, Zaigham [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
High Performance Cloud Auditing and Applications [electronic resource] / edited by Keesook J. Han, Baek-Young Choi, Sejun Song.
by Han, Keesook J [editor.] | Choi, Baek-Young [editor.] | Song, Sejun [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Reversible Computation [electronic resource] : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings / edited by Gerhard W. Dueck, D. Michael Miller.
by Dueck, Gerhard W [editor.] | Miller, D. Michael [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
|
|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings / edited by Matthew Flatt, Hai-Feng Guo.
by Flatt, Matthew [editor.] | Guo, Hai-Feng [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
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / edited by Barbara Jobstmann, K. Rustan M. Leino.
by Jobstmann, Barbara [editor.] | Leino, K. Rustan M [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Perspectives on the Future of Software Engineering [electronic resource] : Essays in Honor of Dieter Rombach / edited by J�urgen M�unch, Klaus Schmid.
by M�unch, J�urgen [editor.] | Schmid, Klaus [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
|
|
|
|
Cloud Computing [electronic resource] : Third International Conference, CloudComp 2012, Vienna, Austria, September 24-26, 2012, Revised Selected Papers / edited by Mazin Yousif, Lutz Schubert.
by Yousif, Mazin [editor.] | Schubert, Lutz [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
|
|
|
|
Model and Data Engineering [electronic resource] : 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings / edited by Yamine Ait Ameur, Ladjel Bellatreche, George A. Papadopoulos.
by Ait Ameur, Yamine [editor.] | Bellatreche, Ladjel [editor.] | Papadopoulos, George A [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
|
|
|
|
Analyzing Time Interval Data [electronic resource] : Introducing an Information System for Time Interval Data Analysis / by Philipp Meisen.
by Meisen, Philipp [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Big Data Technologies and Applications [electronic resource] / by Borko Furht, Flavio Villanustre.
by Furht, Borko [author.] | Villanustre, Flavio [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
|
|
|
|
Coordination of Complex Sociotechnical Systems [electronic resource] : Self-organisation of Knowledge in MoK / by Stefano Mariani.
by Mariani, Stefano [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
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [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, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Software Project Management in a Changing World [electronic resource] / edited by G�unther Ruhe, Claes Wohlin.
by Ruhe, G�unther [editor.] | Wohlin, Claes [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, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings / edited by Dang Van Hung, Mizuhito Ogawa.
by Hung, Dang Van [editor.] | Ogawa, Mizuhito [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
|
|
|
|
Model Checking Software [electronic resource] : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings / edited by Ezio Bartocci, C. R. Ramakrishnan.
by Bartocci, Ezio [editor.] | Ramakrishnan, C. R [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
|
|
|
|
Handbook on Agent-Oriented Design Processes [electronic resource] / edited by Massimo Cossentino, Vincent Hilaire, Ambra Molesini, Valeria Seidita.
by Cossentino, Massimo [editor.] | Hilaire, Vincent [editor.] | Molesini, Ambra [editor.] | Seidita, Valeria [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, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie.
by Blazy, Sandrine [editor.] | Paulin-Mohring, Christine [editor.] | Pichardie, David [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
|
|
|
|
Computer and Information Sciences [electronic resource] : 31st International Symposium, ISCIS 2016, Krak�ow, Poland, October 27-28, 2016, Proceedings / edited by Tadeusz Czach�orski, Erol Gelenbe, Krzysztof Grochla, Ricardo Lent.
by Czach�orski, Tadeusz [editor.] | Gelenbe, Erol [editor.] | Grochla, Krzysztof [editor.] | Lent, Ricardo [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
|
|
|
|
Service-Oriented and Cloud Computing [electronic resource] : Second European Conference, ESOCC 2013, M�alaga, Spain, September 11-13, 2013. Proceedings / edited by Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel.
by Lau, Kung-Kiu [editor.] | Lamersdorf, Winfried [editor.] | Pimentel, Ernesto [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
|
|
|
|
Software and Data Technologies [electronic resource] : 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers / edited by Mar�ia Jos�e Escalona, Jos�e Cordeiro, Boris Shishkov.
by Escalona, Mar�ia Jos�e [editor.] | Cordeiro, Jos�e [editor.] | Shishkov, Boris [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
|
