語系
跳至 : 概要 | 書目資訊 | 主題

Abadi, Martin.

概要
作品: 194 作品在 2 項出版品 1 種語言
書目資訊
Trustworthy global computing = 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers / by: Abadi, Martin.; SpringerLink (Online service); Lluch Lafuente, Alberto. (書目-電子資源)
Theoretical aspects of computer software = Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings / by: Abadi, Martin.; Ito Takayasu.; SpringerLink (Online service); TACS '97 ((1997 :) (書目-語言資料,印刷品)
CONCUR 2005 - Concurrency Theory = 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings / by: Abadi, Martin.; De Alfaro, Luca.; SpringerLink (Online service); International Conference on Concurrency Theory (2005 :) (書目-語言資料,印刷品)
 
 
變更密碼
登入