熱門搜尋
分類(單選) |
顯示所有篩選
|
---|---|
配送方式(可複選) | |
其他(可複選) |
搜尋結果共 3 筆, 頁數 1 / 1
呈現:
Frontiers in Algorithmics: Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009, Proceedings
This book constitutes the refereed proceedings of the Third International Frontiers of Algorithmics ... more |
|||
Structured Object-Oriented Formal Language and Method: 10th International Workshop, Sofl+msvl 2020, Singapore, March 1, 2021, Revised Selected Papers
This book constitutes the refereed workshop proceedings of the 10th International Workshop on Struct... more |
|||
Formal Aspects of Component Software: 10th International Symposium, Facs 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspe... more |