Vor Ort
Merkzettel Warenkorb
  • Produktbild: Reversible Computation
  • Produktbild: Reversible Computation
Band 12227

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

Aus der Reihe Programming and Software Engineering

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.07.2020

Abbildungen

XII, 281 p. 355 illus., 56 illus. in color.

Herausgeber

Ivan Lanese + weitere

Verlag

Springer

Seitenzahl

281

Maße (L/B/H)

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

Gewicht

452 g

Auflage

1st ed. 2020

Sprache

Englisch

ISBN

978-3-030-52481-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.07.2020

Abbildungen

XII, 281 p. 355 illus., 56 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

281

Maße (L/B/H)

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

Gewicht

452 g

Auflage

1st ed. 2020

Sprache

Englisch

ISBN

978-3-030-52481-4

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
  • Produktbild: Reversible Computation

  • Reversible Occurrence Nets and Causal Reversible Event Structures.- Involutory Turing Machines.- Event structures for the reversible early internal pi-calculus.- Hermes: A Language for Light-Weight Encryption.- Reversible programming languages capturing complexity classes.- On the expressivity of total reversible programming languages.- Toward a Curry-Howard Correspondence for Linear, Reversible Computation.- A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper.- Fractional Types: Expressive and Safe Space Management for Ancilla Bits.- Circuit Synthesis.- Quantum CNOT circuits synthesis for NISQ architectures using the syndrome decoding problem.- Maximality of reversible gate sets.- Search-based Transformation Synthesis for 3-valued Reversible Circuits.-ReverCSP: Time-travelling in CSP computations.- Reversible Computations in Logic Programming.- Towards a formal account for software transactional memory.- Encoding Reversing Petri Nets in Answer Set Programming.- A Reversible Runtime Environment for Parallel Programs.