|
|
|
Software Quality. Software and Systems Quality in Distributed and Mobile Environments [electronic resource] : 7th International Conference, SWQD 2015, Vienna, Austria, January 20-23, 2015, Proceedings / edited by Dietmar Winkler, Stefan Biffl, Johannes Bergsmann.
by Winkler, Dietmar [editor.] | Biffl, Stefan [editor.] | Bergsmann, Johannes [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
|
|
|
|
PRIMA 2014: Principles and Practice of Multi-Agent Systems [electronic resource] : 17th International Conference, Gold Coast, QLD Australia, December 1-5, 2014. Proceedings / edited by Hoa Khanh Dam, Jeremy Pitt, Yang Xu, Guido Governatori, Takayuki Ito.
by Dam, Hoa Khanh [editor.] | Pitt, Jeremy [editor.] | Xu, Yang [editor.] | Governatori, Guido [editor.] | Ito, Takayuki [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
|
|
|
|
Ubiquitous Computing and Ambient Intelligence. Personalisation and User Adapted Services [electronic resource] : 8th International Conference, UCAmI 2014, Belfast, UK, December 2-5, 2014. Proceedings / edited by Ram�on Herv�as, Sungyoung Lee, Chris Nugent, Jos�e Bravo.
by Herv�as, Ram�on [editor.] | Lee, Sungyoung [editor.] | Nugent, Chris [editor.] | Bravo, Jos�e [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
|
|
|
|
Euro-Par 2014: Parallel Processing Workshops [electronic resource] : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I / edited by Lu�is Lopes, Julius Žilinskas, Alexandru Costan, Roberto G. Cascella, Gabor Kecskemeti, Emmanuel Jeannot, Mario Cannataro, Laura Ricci, Siegfried Benkner, Salvador Petit, Vittorio Scarano, Jos�e Gracia, Sascha Hunold, Stephen L. Scott, Stefan Lankes, Christian Lengauer, Jesus Carretero, Jens Breitbart, Michael Alexander.
by Lopes, Lu�is [editor.] | Žilinskas, Julius [editor.] | Costan, Alexandru [editor.] | Cascella, Roberto G [editor.] | Kecskemeti, Gabor [editor.] | Jeannot, Emmanuel [editor.] | Cannataro, Mario [editor.] | Ricci, Laura [editor.] | Benkner, Siegfried [editor.] | Petit, Salvador [editor.] | Scarano, Vittorio [editor.] | Gracia, Jos�e [editor.] | Hunold, Sascha [editor.] | Scott, Stephen L [editor.] | Lankes, Stefan [editor.] | Lengauer, Christian [editor.] | Carretero, Jesus [editor.] | Breitbart, Jens [editor.] | Alexander, Michael [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
|
|
|
|
Membrane Computing [electronic resource] : 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers / edited by Artiom Alhazov, Svetlana Cojocaru, Marian Gheorghe, Yurii Rogozhin, Grzegorz Rozenberg, Arto Salomaa.
by Alhazov, Artiom [editor.] | Cojocaru, Svetlana [editor.] | Gheorghe, Marian [editor.] | Rogozhin, Yurii [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [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
|
|
|
|
Cyber Security and Privacy [electronic resource] : Third Cyber Security and Privacy EU Forum, CSP Forum 2014, Athens, Greece, May 21-22, 2014, Revised Selected Papers / edited by Frances Cleary, Massimo Felici.
by Cleary, Frances [editor.] | Felici, Massimo [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
|
|
|
|
Human Interface and the Management of Information. Information and Knowledge Design [electronic resource] : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part I / edited by Sakae Yamamoto.
by Yamamoto, Sakae [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
|
|
|
|
Human-Computer Interaction: Design and Evaluation [electronic resource] : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part I / edited by Masaaki Kurosu.
by Kurosu, Masaaki [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
|
|
|
|
Foundational and Practical Aspects of Resource Analysis [electronic resource] : Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers / edited by Ugo Dal Lago, Ricardo Pe�na.
by Dal Lago, Ugo [editor.] | Pe�na, 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, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Provable Security [electronic resource] : 8th International Conference, ProvSec 2014, Hong Kong, China, October 9-10, 2014. Proceedings / edited by Sherman S. M. Chow, Joseph K. Liu, Lucas C. K. Hui, Siu Ming Yiu.
by Chow, Sherman S. M [editor.] | Liu, Joseph K [editor.] | Hui, Lucas C. K [editor.] | Yiu, Siu Ming [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
|
|
|
|
Service-Oriented and Cloud Computing [electronic resource] : 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings / edited by Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski.
by Aiello, Marco [editor.] | Johnsen, Einar Broch [editor.] | Dustdar, Schahram [editor.] | Georgievski, Ilche [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
|
|
|
|
Verified Software: Theories, Tools and Experiments [electronic resource] : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers / edited by Dimitra Giannakopoulou, Daniel Kroening.
by Giannakopoulou, Dimitra [editor.] | Kroening, Daniel [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
|
|
|
|
System Analysis and Modeling: Models and Reusability [electronic resource] : 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings / edited by Daniel Amyot, Pau Fonseca i Casas, Gunter Mussbacher.
by Amyot, Daniel [editor.] | Fonseca i Casas, Pau [editor.] | Mussbacher, Gunter [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
|
|
|
|
Open Source Software: Quality Verification [electronic resource] : 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013. Proceedings / edited by Etiel Petrinja, Giancarlo Succi, Nabil El Ioini, Alberto Sillitti.
by Petrinja, Etiel [editor.] | Succi, Giancarlo [editor.] | Ioini, Nabil El [editor.] | Sillitti, Alberto [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
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings / edited by Stephan Merz, Jun Pang.
by Merz, Stephan [editor.] | Pang, Jun [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
|
|
|
|
Case-Based Reasoning Research and Development [electronic resource] : 22nd International Conference, ICCBR 2014, Cork, Ireland, September 29, 2014 - October 1, 2014. Proceedings / edited by Luc Lamontagne, Enric Plaza.
by Lamontagne, Luc [editor.] | Plaza, Enric [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
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part I / edited by Xian-he Sun, Wenyu Qu, Ivan Stojmenovic, Wanlei Zhou, Zhiyang Li, Hua Guo, Geyong Min, Tingting Yang, Yulei Wu, Lei Liu.
by Sun, Xian-he [editor.] | Qu, Wenyu [editor.] | Stojmenovic, Ivan [editor.] | Zhou, Wanlei [editor.] | Li, Zhiyang [editor.] | Guo, Hua [editor.] | Min, Geyong [editor.] | Yang, Tingting [editor.] | Wu, Yulei [editor.] | Liu, Lei [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
|
|
|
|
Fault-Tolerance Techniques for High-Performance Computing [electronic resource] / edited by Thomas Herault, Yves Robert.
by Herault, Thomas [editor.] | Robert, Yves [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
|
|
|
|
Web Reasoning and Rule Systems [electronic resource] : 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings / edited by Roman Kontchakov, Marie-Laure Mugnier.
by Kontchakov, Roman [editor.] | Mugnier, Marie-Laure [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
|
|
|
|
Language and Automata Theory and Applications [electronic resource] : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings / edited by Adrian-Horia Dediu, Carlos Mart�in-Vide, Bianca Truthe.
by Dediu, Adrian-Horia [editor.] | Mart�in-Vide, Carlos [editor.] | Truthe, Bianca [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
|
