Theoretical Aspects of Computing - Ictac 2025: 22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025, Proceedings
暫譯: 計算的理論面向 - Ictac 2025：第22屆國際研討會，摩洛哥馬拉喀什，2025年11月24-28日，會議論文集
Liu, Zhiming, Saoud, Adnane, Wehrheim, Heike
- 出版商: Springer
- 出版日期: 2025-11-23
- 售價: $3,380
- 貴賓價: 9.5 折 $3,211
- 語言: 英文
- 頁數: 480
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3032111757
- ISBN-13: 9783032111753
-
相關分類:
Algorithms-data-structures
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the proceedings of 22nd International Colloquium on Theoretical Aspects of Computing, ICTAC 2025, which took place in Marrakesh, Morocco, during November 24-28, 2025.
The 21 full papers, 2 short papers and 1 tool paper presented in this book were carefully reviewed and selected from 64 submissions. The papers were categorized into the following topical sections: Invited Papers; Tutorial; Verification and Synthesis; Session Types; Logic and Theorem Provers; Probabilistic Systems; Automata; Cryptography and Choreography; Algorithms and Complexity; and Tool and Short Papers.
商品描述(中文翻譯)
本書為第22屆計算理論方面國際研討會（ICTAC 2025）的會議論文集，該會議於2025年11月24日至28日在摩洛哥的馬拉喀什舉行。
本書中所呈現的21篇完整論文、2篇短文及1篇工具論文，均經過仔細審查並從64篇投稿中選出。這些論文被分類為以下主題部分：邀請論文；教程；驗證與合成；會議類型；邏輯與定理證明器；隨機系統；自動機；密碼學與編舞；算法與複雜性；以及工具與短文。
