Reversible Computation: 18th International Conference, Rc 2026, Turin, Italy, July 9-10, 2026, Proceedings
暫譯: 可逆計算：第十八屆國際會議，Rc 2026，意大利都靈，2026年7月9-10日，會議論文集
Aubert, Clément, Roversi, Luca
- 出版商: Springer
- 出版日期: 2026-07-17
- 售價: $2,490
- 貴賓價: 9.5 折 $2,365
- 語言: 英文
- 頁數: 293
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3032308380
- ISBN-13: 9783032308382
-
相關分類:
Functional-programming
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the refereed proceedings of the 18th International Conference on Reversible Computation, RC 2026, held in Turin, Italy, during July 9-10, 2026.
The 13 full papers, 3 work-in-progress papers and 1 tool demonstration paper were carefully reviewed and selected from 38 submissions. They were organized in topical sections as follows: Models of Reversible and Quantum Computation; Formal Developments in Reversible and Quantum Programs; and Support for Reversible Programming.
商品描述(中文翻譯)
本書為第18屆可逆計算國際會議（RC 2026）的經過審核的會議論文集，會議於2026年7月9日至10日在意大利都靈舉行。
本次會議共收到38篇投稿，經過仔細審核後選出了13篇完整論文、3篇進行中研究論文及1篇工具示範論文。這些論文依主題分為以下幾個部分：可逆計算與量子計算模型；可逆與量子程式的形式發展；以及對可逆程式設計的支持。
