熱門搜尋
分類(單選) |
顯示所有篩選
|
---|---|
配送方式(可複選) | |
其他(可複選) |
搜尋結果共 5 筆, 頁數 1 / 1
呈現:
Reactive Systems: Modeling, Specification and Verification
Formal methods is the term used to describe the specification and verification of software and softw... more |
|||
Simulation and Game-Based Learning in Emergency and Disaster Management
|
|||
Simulation and Game-Based Learning in Emergency and Disaster Management
|
|||
Reachability Problems: 10th International Workshop, Rp 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
This book constitutes the refereed proceedings of the 10th International Workshop on Reachability Pr... more |
|||
Why Is John Special?
|