書目名稱 | Reversible Computation |
副標題 | 5th International Co |
編輯 | Gerhard W. Dueck,D. Michael Miller |
視頻video | http://file.papertrans.cn/830/829413/829413.mp4 |
概述 | Up-to-date results in reversible computation.Fast-track conference proceedings.State-of-the-art research |
叢書名稱 | Lecture Notes in Computer Science |
圖書封面 |  |
描述 | This book constitutes the refereed proceedings of the 5th International Conference on Reversible Computation, RC 2013, held in Victoria, BC, Canada, in July 2013. The 19 contributions presented together with one invited paper were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on physical implementation; arithmetic; programming and data structures; modelling; synthesis and optimization; and alternative technologies. |
出版日期 | Conference proceedings 2013 |
關鍵詞 | circuit optimization; formal methods; probabilistic computation; quantum computing; reversible circuits; |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-642-38986-3 |
isbn_softcover | 978-3-642-38985-6 |
isbn_ebook | 978-3-642-38986-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer-Verlag Berlin Heidelberg 2013 |