Vor Ort
Merkzettel Warenkorb
Produktbild: Reversible Computation
Band 14680 - 46%

Reversible Computation 16th International Conference, RC 2024, Toruń, Poland, July 4–5, 2024, Proceedings

Aus der Reihe Lecture Notes in Computer Science
46% sparen

56,99 € UVP 106,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.06.2024

Abbildungen

X, 247 p. 104 illus., 39 illus. in color.

Herausgeber

Torben Ægidius Mogensen + weitere

Verlag

Springer

Seitenzahl

247

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

400 g

Auflage

2024

Sprache

Englisch

ISBN

978-3-031-62075-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.06.2024

Abbildungen

X, 247 p. 104 illus., 39 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

247

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

400 g

Auflage

2024

Sprache

Englisch

ISBN

978-3-031-62075-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Reversible Computation

  • .-
    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.