প্রদর্শন 1 - 4 ফলাফল এর 4 অনুসন্ধানের জন্য 'Liu, Zhiming', জিজ্ঞাসা করার সময়: 0.03সেকেন্ড ফলাফল পরিমার্জন করুন
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
সম্পূর্ণ পাঠ পাওয়ার জন্য
তালিকাভুক্ত করুন
সংরক্ষণ করুন:
অনুসন্ধান সাধনীগুলি: আরএসএস প্রতিক্রিয়া পাওয়ার জন্য — এই ই-মেইলটি অনুসন্ধান করুন