Results
|
2441.
|
|
|
2442.
|
|
|
2443.
|
Verified Software: Theories, Tools, Experiments [electronic resource] : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings / by Series: Programming and Software Engineering ; 5295
Edition: 1st ed. 2008.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008
In:
Springer Nature eBook
Availability: No items available.
|
|
2444.
|
|
|
2445.
|
|
|
2446.
|
|
|
2447.
|
|
|
2448.
|
|
|
2449.
|
|
|
2450.
|
|
|
2451.
|
|
|
2452.
|
Security, Privacy, and Applied Cryptography Engineering [electronic resource] : Second International Conference, SPACE 2012, Chennai, India, November 3-4, 2012, Proceedings / by Series: Security and Cryptology ; 7644
Edition: 1st ed. 2012.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer Nature eBook
Availability: No items available.
|
|
2453.
|
|
|
2454.
|
|
|
2455.
|
|
|
2456.
|
|
|
2457.
|
|
|
2458.
|
Persuasive Technology [electronic resource] : 5th International Conference, PERSUASIVE 2010, Copenhagen, Denmark, June 7-10, 2010, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6137
Edition: 1st ed. 2010.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010
In:
Springer Nature eBook
Availability: No items available.
|
|
2459.
|
|
|
2460.
|
|