Erakusten 1 - 4 emaitzak -- 4 bilaketa honetara 'Liu, Zhiming', Bilaketaren denbora: 0,09s Findu emaitzak
1
Domain Modeling and the Duration Calculus
nork George, Chris, Liu, Zhiming, Woodcock, Jim
Argitaratua 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testu osoa
Gogokoenen artean sartu
Gorde:
2
Formal Methods and Hybrid Real-Time Systems
nork Jones, Cliff B., Liu, Zhiming, Woodcock, Jim
Argitaratua 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testu osoa
Gogokoenen artean sartu
Gorde:
3
Engineering Trustworthy Software Systems
nork Bowen, Jonathan P., Liu, Zhiming, Zhang, Zili
Argitaratua 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testu osoa
Gogokoenen artean sartu
Gorde:
4
Theoretical Aspects of Computing - ICTAC 2007
nork Jones, Cliff B., Liu, Zhiming, Woodcock, Jones
Argitaratua 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testu osoa
Gogokoenen artean sartu
Gorde:
Bilaketa egiteko lanabesak: RSS — Emaitzak posta elektronikoz bidali