Reversible Computation: 12th International Conference, Rc 2020, Oslo, Norway, July 9-10, 2020, Proceedings
暫譯: 可逆計算：第十二屆國際會議，Rc 2020，挪威奧斯陸，2020年7月9-10日，會議論文集
Lanese, Ivan, Rawski, Mariusz
- 出版商: Springer
- 出版日期: 2020-07-09
- 售價: $2,420
- 貴賓價: 9.5 折 $2,299
- 語言: 英文
- 頁數: 281
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3030524817
- ISBN-13: 9783030524814
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held in Oslo, Norway, in July 2020. The 17 full papers included in this volume were carefully reviewed and selected from 22 submissions.
The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations.
商品描述(中文翻譯)
本書為第十二屆可逆計算國際會議（RC 2020）的經過審核的會議論文集，該會議於2020年7月在挪威奧斯陸舉行。本卷包含的17篇完整論文是從22篇提交的論文中仔細審核和選出的。
這些論文按以下主題部分組織：理論與基礎；程式語言；電路合成；電路合成的評估；以及應用與實作。
