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

Fernandez, Maribel.

概要
作品: 1 作品在 3 項出版品 1 種語言
書目資訊
Graph transformation = 16th International Conference, ICGT 2023, held as part of STAF 2023, Leicester, UK, July 19-20, 2023 : proceedings / by: ICGT (Conference) (2023 :); Fernandez, Maribel.; Poskitt, Christopher M.; SpringerLink (Online service); STAF (Federation of conferences) ((2023 :) (書目-電子資源)
Programming languages and operational semantics = a concise overview / by: Fernandez, Maribel.; SpringerLink (Online service) (書目-電子資源)
Models of computation = an introduction to computability theory / by: SpringerLink (Online service); Fernandez, Maribel. (書目-語言資料,印刷品)
Logic-based program synthesis and transformation = 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings / by: Fernandez, Maribel.; SpringerLink (Online service); LOPSTR (Symposium) (2020 :) (書目-電子資源)
 
 
變更密碼
登入