熱門搜尋
分類(單選) |
顯示所有篩選
|
---|---|
配送方式(可複選) | |
其他(可複選) |
搜尋結果共 5 筆, 頁數 1 / 1
呈現:
Categories, Allegories, Volume 39
|
|||
Logic, Language, Information, and Computation: 29th International Workshop, Wollic 2023, Halifax, Ns, Canada, July 11-14, 2023, Proceedings
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book con... more |
|||
Tools and Methods of Program Analysis: 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
|
|||
Software Security -- Theories and Systems: Mext-Nsf-Jsps International Symposium, Isss 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers
|
|||
Forcing and Classifying Topoi
|