Reversible Computation: 16th International Conference, RC 2024, Toruń, Poland, July 4–5, 2024, Proceedings: Lecture Notes in Computer Science, cartea 14680
Editat de Torben Ægidius Mogensen, Łukasz Mikulskien Limba Engleză Paperback – 6 iun 2024
The 10 full papers and 3 short papers included along with two invited papers in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Models of Reversible Computation; Experiments in Reversible Programming; Reversible and Quantum Programming Languages; and Synthesis, Verification, and Analysis of Reversible and Quantum Systems.
Din seria Lecture Notes in Computer Science
- 20%
Preț: 1061.55 lei - 20%
Preț: 340.32 lei - 20%
Preț: 341.95 lei - 20%
Preț: 453.32 lei - 20%
Preț: 238.01 lei - 20%
Preț: 340.32 lei - 20%
Preț: 438.69 lei -
Preț: 449.57 lei - 20%
Preț: 343.62 lei - 20%
Preț: 148.66 lei - 20%
Preț: 310.26 lei - 20%
Preț: 256.27 lei - 20%
Preț: 645.28 lei - 17%
Preț: 427.22 lei - 20%
Preț: 655.02 lei - 20%
Preț: 307.71 lei - 20%
Preț: 1075.26 lei - 20%
Preț: 591.51 lei -
Preț: 381.21 lei - 20%
Preț: 337.00 lei - 15%
Preț: 438.59 lei - 20%
Preț: 607.39 lei - 20%
Preț: 538.29 lei -
Preț: 389.48 lei - 20%
Preț: 326.98 lei - 20%
Preț: 1414.79 lei - 20%
Preț: 1024.44 lei - 20%
Preț: 579.30 lei - 20%
Preț: 575.48 lei - 20%
Preț: 583.40 lei - 20%
Preț: 763.23 lei - 15%
Preț: 580.46 lei - 17%
Preț: 360.19 lei - 20%
Preț: 504.57 lei - 20%
Preț: 172.69 lei - 20%
Preț: 369.12 lei - 20%
Preț: 353.50 lei - 20%
Preț: 585.88 lei -
Preț: 410.88 lei - 20%
Preț: 596.46 lei - 20%
Preț: 763.23 lei - 20%
Preț: 825.93 lei - 20%
Preț: 649.49 lei - 20%
Preț: 350.21 lei - 20%
Preț: 309.90 lei - 20%
Preț: 122.89 lei
Preț: 600.79 lei
Preț vechi: 750.98 lei
-20% Nou
Puncte Express: 901
Preț estimativ în valută:
114.100€ • 120.82$ • 96.64£
114.100€ • 120.82$ • 96.64£
Carte indisponibilă temporar
Doresc să fiu notificat când acest titlu va fi disponibil:
Se trimite...
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783031620751
ISBN-10: 3031620755
Pagini: 247
Ilustrații: X, 247 p. 104 illus., 39 illus. in color.
Dimensiuni: 155 x 235 mm
Ediția:2024
Editura: Springer Nature Switzerland
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
ISBN-10: 3031620755
Pagini: 247
Ilustrații: X, 247 p. 104 illus., 39 illus. in color.
Dimensiuni: 155 x 235 mm
Ediția:2024
Editura: Springer Nature Switzerland
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
Cuprins
.- Invited Papers.
.- Causal Debugging for Concurrent Systems (Tutorial).
.- Compositional Reversible Computation.
.- Models of Reversible Computation.
.- Algorithmically expressive, always-terminating model for reversible computation.
.- A toy model provably featuring an arrow of time without past hypothesis.
.- Reversibility with holes.
.- Experiments in Reversible Programming.
.- Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware.
.- Towards Clean Reversible Lossless Compression. A Reversible Programming Experiment with Zip.
.- Reversible and Quantum Programming Languages.
.- A Small-Step Semantics for Janus.
.- Jeopardy: An Invertible Functional Programming Language.
.- LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper.
.- Connecting Reversible and Classical Computing through Hybrid SSA.
.- Synthesis, Verification, and Analysis of Reversible and Quantum Systems.
.- Concurrent RSSA for CRIL: Flow analysis for a concurrent reversible programming language.
.- Is Simulation the Only Alternative for Effective Verification of Dynamic Quantum Circuits?.
.- Model Checking Reversible Systems: Forwardly.
.- Exact Synthesis of Multiqubit Clifford-Cyclotomic Circuits.
.- Causal Debugging for Concurrent Systems (Tutorial).
.- Compositional Reversible Computation.
.- Models of Reversible Computation.
.- Algorithmically expressive, always-terminating model for reversible computation.
.- A toy model provably featuring an arrow of time without past hypothesis.
.- Reversibility with holes.
.- Experiments in Reversible Programming.
.- Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware.
.- Towards Clean Reversible Lossless Compression. A Reversible Programming Experiment with Zip.
.- Reversible and Quantum Programming Languages.
.- A Small-Step Semantics for Janus.
.- Jeopardy: An Invertible Functional Programming Language.
.- LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper.
.- Connecting Reversible and Classical Computing through Hybrid SSA.
.- Synthesis, Verification, and Analysis of Reversible and Quantum Systems.
.- Concurrent RSSA for CRIL: Flow analysis for a concurrent reversible programming language.
.- Is Simulation the Only Alternative for Effective Verification of Dynamic Quantum Circuits?.
.- Model Checking Reversible Systems: Forwardly.
.- Exact Synthesis of Multiqubit Clifford-Cyclotomic Circuits.