Đang hiển thị 1 - 4 kết quả của 4 cho tìm kiếm 'Liu, Zhiming', זמן שאילתה: 0.06s Tinh chỉnh kết quả
1
Domain Modeling and the Duration Calculus
מאת George, Chris, Liu, Zhiming, Woodcock, Jim
יצא לאור 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
קבל טקסט מלא
הוספה למועדפים
שמור ב:
2
Formal Methods and Hybrid Real-Time Systems
מאת Jones, Cliff B., Liu, Zhiming, Woodcock, Jim
יצא לאור 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
קבל טקסט מלא
הוספה למועדפים
שמור ב:
3
Engineering Trustworthy Software Systems
מאת Bowen, Jonathan P., Liu, Zhiming, Zhang, Zili
יצא לאור 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
קבל טקסט מלא
הוספה למועדפים
שמור ב:
4
Theoretical Aspects of Computing - ICTAC 2007
מאת Jones, Cliff B., Liu, Zhiming, Woodcock, Jones
יצא לאור 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
קבל טקסט מלא
הוספה למועדפים
שמור ב:
כלי חיפוש: קבל רסס (RSS) — שליחת חיפוש דרך דואל