熱門搜尋
分類(單選) |
顯示所有篩選
|
---|---|
配送方式(可複選) | |
其他(可複選) |
搜尋結果共 4 筆, 頁數 1 / 1
呈現:
Computer and Information Science 2009
The 8th ACIS/IEEE International Conference on Computer and Information S- ence, held in Shanghai, Ch... more |
|||
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, Icfem 2002, Shanghai, China
This volume contains the proceedings of the Fourth International Conference on Formal Engineering Me... more |
|||
Structured Object-Oriented Formal Language and Method: 9th International Workshop, Sofl+msvl 2019, Shenzhen, China, November 5, 2019, Revised Selected
This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop... more |
|||
Computer and Information Science 2009
|