Showing 1 - 4 results of 4 for search 'Liu, Zhiming', सवाल का समय: 0.14सेकंड परिणाम को परिष्कृत करें
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 फ़ीड प्राप्त करें — इस खोज को ईमेल करें