KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
Produktbild: Reversible Computation
Band 12805

Reversible Computation 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings

Aus der Reihe Lecture Notes in Computer Science

52,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.06.2021

Abbildungen

XII, 275 p. 137 illus., 57 illus. in color.

Herausgeber

Shigeru Yamashita + weitere

Verlag

Springer

Seitenzahl

275

Maße (L/B/H)

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

Gewicht

441 g

Auflage

1st ed. 2021

Sprache

Englisch

ISBN

978-3-030-79836-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.06.2021

Abbildungen

XII, 275 p. 137 illus., 57 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

275

Maße (L/B/H)

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

Gewicht

441 g

Auflage

1st ed. 2021

Sprache

Englisch

ISBN

978-3-030-79836-9

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