단행본 상세

URL복사하기
서지주요정보
Reversible Computation: 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings [electronic resource]
서명 / 저자 Reversible Computation [electronic resource] : 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings / edited by Claudio Antares Mezzina, Krzysztof Podlaski.
저자명 Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623 https://orcid.org/0000-0003-1556-2623 edt http://id.loc.gov/vocabulary/relators/edt ; Podlaski, Krzysztof. editor. (orcid)0000-0002-2883-0773 https://orcid.org/0000-0002-2883-0773 edt http://id.loc.gov/vocabulary/relators/edt
단체명 SpringerLink (Online service)
발행사항 Cham : Springer International Publishing : Imprint: Springer, 2022.
Online Access https://doi.org/10.1007/978-3-031-09005-9 URL

서지기타정보

서지기타정보
청구기호 QA76.9.L63
판사항 1st ed. 2022.
형태사항 X, 239 p. 82 illus., 22 illus. in color. online resource.
총서명 Lecture Notes in Computer Science, 1611-3349 ; 13354
언어 English
내용 Reversible and Quantum Circuits -- Reversible computation in integrated photonics -- Optimization of Quantum Boolean Circuits by Relative-Phase Toffoli Gates -- Constructing all qutrit controlled Clifford+T gates in Clifford+T -- Fast Control for Reversible Processors -- Designing a Reversible Stack Machine -- Applications of Quantum Computing -- Directed Graph Encoding in Quantum Computing supporting Edge-Failures -- Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think -- Foundations and Applications -- Certifying algorithms and relevant properties of Reversible Primitive Permutations with Lean -- Algeo: An Algebraic Approach to Reversibility -- Concurrencies in Reversible Concurrent Calculi -- The @-Calculus -- Formal Translation from Reversing Petri Nets to Coloured Petri Nets -- Reversibility in Erlang: Imperative Constructs -- A Reversible Debugger for Imperative Parallel Programs with Contracts -- Towards Causal-consistent Reversibility of Imperative Concurrent Programs.
주제 Logic design.
Software engineering.
Machine theory.
Computer systems.
Logic Design.
Software Engineering.
Formal Languages and Automata Theory.
Computer System Implementation.
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9783031090042 Printed edition: 9783031090066
ISBN 9783031090059
기타 표준번호 10.1007/978-3-031-09005-9
QR CODE

책소개

전체보기

목차

전체보기

홈으로
로그인 외부인 로그인
ENG
닫기