Cantitate/Preț
Produs
Total produse
Vezi coșul
Reversible Computation: 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings de Shigeru Yamashita

Reversible Computation: 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings: Lecture Notes in Computer Science, cartea 12805

Editat de Shigeru Yamashita, Tetsuo Yokoyama
en Limba Engleză Paperback – 23 iun 2021
This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which was held online during July 7-8, 2021.
The 11 papers included in this book were carefully reviewed and selected from 21 submissions. The book also contains 2 invited talks in full-paper length, 3 work-in-progress papers and 1 tool paper. They were organized in topical sections named: programming and programming languages; reversible concurrent computation; theory and foundations; and circuit synthesis. 
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 31942 lei

Preț vechi: 39928 lei
-20%

Puncte Express: 479
Preț estimativ în valută:
5648€ • 6659$ • 4875£

Carte tipărită la comandă

Livrare economică 19 martie-02 aprilie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783030798369
ISBN-10: 3030798364
Pagini: 275
Ilustrații: XII, 275 p. 137 illus., 57 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.41 kg
Ediția:1st ed. 2021
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Cham, Switzerland

Cuprins

Invited Talks.- How Can We Construct Reversible Turing Machines in a Very Simple Reversible Cellular Automaton.- Variational Quantum Eigensolver and Its Applications.- Programming and Programming Languages.- Reversible Functional Array Programming.- Compiling Janus to RSSA.- Causal-Consistent Debugging of Distributed Erlang Programs.- Towards a Unified Language Architecture for Reversible Object-Oriented Programming.- Reversible Concurrent Computation.- Towards a truly concurrent semantics for reversible CCS.- Forward-Reverse Observational Equivalences in CCSK.- Explicit Identifiers and Contexts in Reversible Concurrent Calculus.- Reversibility and predictions.- Theory and Foundations.- A Tangled Web of 12 Lens Laws.- Splitting recursion schemes into reversible and classical interacting threads.- Reversibility of Executable Interval Temporal Logic Specifications.- Circuit Synthesis.- Efficient Construction of Functional Representations for QuantumAlgorithms.- Finding Optimal Implementations of Non-native CNOT Gates using SAT.- Fast Swapping in a Quantum Multiplier Modelled as a Queuing Network.- OR-Toffoli and OR-Peres Reversible Gates.