Results
|
21.
|
Trustworthy Global Computing [electronic resource] : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers / edited by Catuscia Palamidessi, Mark D. Ryan. by
- Palamidessi, Catuscia [editor.]
- Ryan, Mark D [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8191
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.
|
|
22.
|
Formal Methods and Software Engineering [electronic resource] : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings / edited by Lindsay Groves, Jing Sun. by
- Groves, Lindsay [editor.]
- Sun, Jing [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8144
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.
|
|
23.
|
Advances in Information and Computer Security [electronic resource] : 8th International Workshop on Security, IWSEC 2013, Okinawa, Japan, November 18-20, 2013, Proceedings / edited by Kazuo Sakiyama, Masayuki Terada. by
- Sakiyama, Kazuo [editor.]
- Terada, Masayuki [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8231
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.
|
|
24.
|
Internet and Distributed Computing Systems [electronic resource] : 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings / edited by Mukaddim Pathan, Guiyi Wei, Giancarlo Fortino. by
- Pathan, Mukaddim [editor.]
- Wei, Guiyi [editor.]
- Fortino, Giancarlo [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8223
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.
|
|
25.
|
|