Εμφανίζονται 1 - 4 Αποτελέσματα από 4 για την αναζήτηση 'Liu, Zhiming', χρόνος αναζήτησης: 0,05δλ Περιορισμός αποτελεσμάτων
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 — Αποστολή αναζήτησης με email