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

Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers

Aus der Reihe Programming and Software Engineering

46,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

04.01.2013

Abbildungen

X, 70 illus., schwarz-weiss Illustrationen

Herausgeber

Robert Glück + weitere

Verlag

Springer Berlin

Seitenzahl

241

Maße (L/B/H)

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

Gewicht

391 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-36314-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

04.01.2013

Abbildungen

X, 70 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

241

Maße (L/B/H)

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

Gewicht

391 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-36314-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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
  • Theoretical Considerations.- Tutorial: Graphical Calculus for Quantum Circuits.- One-Way Reversible Multi-head Finite Automata.- A Deterministic Two-Way Multi-head Finite Automaton Can Be
    Converted into a Reversible One with the Same Number of Heads.- Undecidability of the Surjectivity of the Subshift Associated to a
    Turing Machine.- Reversible Software and Languages
    Isomorphic Interpreters from Logically Reversible Abstract Machines.- Synthesizing Loops for Program Inversion.- Frugal Encoding in Reversible MOQA: A Case Study for Quicksort.- Towards a General-Purpose, Reversible Language for Controlling
    Self-reconfigurable Robots.- Reversible and Quantum Circuits.-
    Reversible and Quantum Circuit Optimization: A Functional Approach.- Properties of Quantum Templates.- Optimal 4-bit Reversible Mixed-Polarity Toffoli Circuits.- Design of an Online Testable Ternary Circuit from the Truth Table.- Physical Realizations and Design Garbageless Reversible Implementation of Integer Linear Transformations.- Garbage-Free Reversible Integer Multiplication with Constants of the Form 2k ± 2l ± 1.- Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams.- Using πDDs in the Design of Reversible Circuits (Work-In-Progress).- Distributed Systems.- A Verification Technique for Reversible Process Algebra.- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway.- Controlled Reversibility and Compensations.