熱門搜尋
分類(單選) |
顯示所有篩選
|
---|---|
配送方式(可複選) | |
其他(可複選) |
搜尋結果共 3 筆, 頁數 1 / 1
呈現:
Handbook of Formal Analysis and Verification in Cryptography
This handbook of formal analysis in cryptography is very important for secure communication and proc... more |
|||
Handbook of Formal Analysis and Verification in Cryptography
This handbook of formal analysis in cryptography is very important for secure communication and proc... more |
|||
Unity of Logic and Computation: 19th Conference on Computability in Europe, Cie 2023, Batumi, Georgia, July 24-28, 2023, Proceedings
This book constitutes the refereed proceedings of the 19th International Conference on Unity of Logi... more |