Results
|
|
1.
|
Trustworthy Global Computing electronic resource 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers / edited by Martín Abadi, Alberto Lluch Lafuente. by Abadi, Martín [editor.] | Lluch Lafuente, Alberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
|
2.
|
Principles of Security and Trust electronic resource Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / edited by Martín Abadi, Steve Kremer. by Abadi, Martín [editor.] | Kremer, Steve [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
|
|
|
3.
|
CONCUR 2005 - Concurrency Theory Электронный ресурс 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings edited by MartГn Abadi, Luca de Alfaro. by Abadi, Martin | de Alfaro, Luca | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type:  Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
|
