Results
|
|
541.
|
Hardware and Software: Verification and Testing [electronic resource] : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / edited by Armin Biere, Amir Nahir, Tanja Vos. by
- Biere, Armin [editor.]
- Nahir, Amir [editor.]
- Vos, Tanja [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7857
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
542.
|
|
|
|
543.
|
|
|
|
544.
|
|
|
|
545.
|
|
|
|
546.
|
|
|
|
547.
|
|
|
|
548.
|
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)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 112
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
549.
|
|
|
|
550.
|
|
|
|
551.
|
Extremes in a Changing Climate [electronic resource] : Detection, Analysis and Uncertainty / edited by Amir AghaKouchak, David Easterling, Kuolin Hsu, Siegfried Schubert, Soroosh Sorooshian. by
- AghaKouchak, Amir [editor.]
- Easterling, David [editor.]
- Hsu, Kuolin [editor.]
- Schubert, Siegfried [editor.]
- Sorooshian, Soroosh [editor.]
- SpringerLink (Online service)
Series: Water Science and Technology Library ; 65
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013
Availability: No items available.
|
|
|
552.
|
|
|
|
553.
|
|
|
|
554.
|
New Results in Dependability and Computer Systems [electronic resource] : Proceedings of the 8th International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, September 9-13, 2013, Brunów, Poland / edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk. by
- Zamojski, Wojciech [editor.]
- Mazurkiewicz, Jacek [editor.]
- Sugier, Jarosław [editor.]
- Walkowiak, Tomasz [editor.]
- Kacprzyk, Janusz [editor.]
- SpringerLink (Online service)
Series: Advances in Intelligent Systems and Computing ; 224
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Heidelberg : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
555.
|
|
|
|
556.
|
|
|
|
557.
|
|
|
|
558.
|
|
|
|
559.
|
|
|
|
560.
|
|