Reversible Computation Reversible Computation

Reversible Computation

12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings

    • US$39.99
    • US$39.99

출판사 설명

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.

장르
컴퓨터 및 인터넷
출시일
2020년
7월 8일
언어
EN
영어
길이
293
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
20.3
MB
Reversible Computation Reversible Computation
2016년
Machines, Computations, and Universality Machines, Computations, and Universality
2018년
Reversible Computation Reversible Computation
2022년
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
2017년
Reversible Computation Reversible Computation
2018년
Theoretical Aspects of Computing – ICTAC 2016 Theoretical Aspects of Computing – ICTAC 2016
2016년
Reversible Computation: Extending Horizons of Computing Reversible Computation: Extending Horizons of Computing
2020년
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
2016년
Reversible Computation Reversible Computation
2016년
Formal Aspects of Component Software Formal Aspects of Component Software
2015년