検索結果 1 - 4 結果 / 4 検索語 'Liu, Zhiming', 処理時間: 0.04秒 結果の絞り込み
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フィード — 検索結果をメール