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

Silva, Alexandra.

概要
作品: 0 作品在 4 項出版品 1 種語言
書目資訊
Logic and program semantics = essays dedicated to Dexter Kozen on the occasion of his 60th birthday / by: Constable, Robert L.; Silva, Alexandra.; SpringerLink (Online service) (書目-電子資源)
New trends towards Mediterranean tourism sustainability / by: Rosalino, Luís M.; Silva, Alexandra.; Abreu, Toño. (書目-語言資料,印刷品)
Computer aided verification = 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings.. Part I / by: Silva, Alexandra.; SpringerLink (Online service); CAV (Conference) (2021 :); Leino, K. Rustan M. (書目-電子資源)
Computer aided verification = 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings.. Part II / by: Silva, Alexandra.; SpringerLink (Online service); Leino, K. Rustan M.; CAV (Conference) (2021 :) (書目-電子資源)
 
 
變更密碼
登入