Results
|
1.
|
Hardware and Software: Verification and Testing [electronic resource] : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / edited by Valeria Bertacco, Axel Legay. by
- Bertacco, Valeria [editor.]
- Legay, Axel [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8244
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.
|
|
2.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings / edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni. by
- Giacobazzi, Roberto [editor.]
- Berdine, Josh [editor.]
- Mastroeni, Isabella [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7737
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.
|
|
3.
|
Model-Based Methodologies for Pervasive and Embedded Software [electronic resource] : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers / edited by Ricardo J. Machado, Rita Suzana P. Maciel, Julia Rubin, Goetz Botterweck. by
- Machado, Ricardo J [editor.]
- Maciel, Rita Suzana P [editor.]
- Rubin, Julia [editor.]
- Botterweck, Goetz [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7706
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.
|
|
4.
|
Computing and Combinatorics [electronic resource] : 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings / edited by Ding-Zhu Du, Guochuan Zhang. by
- Du, Ding-Zhu [editor.]
- Zhang, Guochuan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7936
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.
|