検索結果 1 - 3 結果 / 3 検索語 'Wang, Ji', 処理時間: 0.03秒 結果の絞り込み
1
Symposium on Real-Time and Hybrid Systems
著者: Jones, Cliff, Wang, Ji, Zhan, Naijun
出版事項 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
全文の入手
お気に入りに追加
保存先:
2
Dependable Software Engineering. Theories, Tools, and Applications
著者: Larsen, Kim Guldstrand, Sokolsky, Oleg, Wang, Ji
出版事項 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
全文の入手
お気に入りに追加
保存先:
3
Slicing execution with partial weakest precondition for model abstraction of C programs /
著者: Yang, Xuejun.
その他の著者: “...Wang, Ji....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
お気に入りに追加
保存先:
検索ツール: RSSフィード — 検索結果をメール