熱門搜尋
分類(單選) |
顯示所有篩選
|
---|---|
配送方式(可複選) | |
其他(可複選) |
搜尋結果共 4 筆, 頁數 1 / 1
呈現:
Engineering of Computer-Based Systems: 8th International Conference, Ecbs 2023, Västerås, Sweden, October 16-18, 2023, Proceedings
This book constitutes the refereed proceedings of the 8th International Conference on Engineering of... more |
|||
Tests and Proofs: 17th International Conference, Tap 2023, Leicester, Uk, July 18-19, 2023, Proceedings
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STA... more |
|||
Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 1
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Me... more |
|||
Public Communication in Media
|