• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

5% studentrabatt – använd koden KURSBOK27 →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Data och IT
    2. Systemvetenskap och AI

    Reversible Computation

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

    AvRobert Glück,Tetsuo Yokoyama

    Häftad, Engelska, 2013

    Del i serien Lecture Notes in Computer Science

    515 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    This book constitutes the refereed proceedings of the 4th International Workshop on Reversible Computation, RC 2012, held in Copenhagen, Denmark, in July 2012. The 19 contributions presented in this volume were carefully reviewed and selected from 46 submissions. The papers cover theoretical considerations, reversible software and reversible hardware, and physical realizations and applications in quantum computing.

    Produktinformation

    • Utgivningsdatum:2013-01-04
    • Mått:155 x 235 x 14 mm
    • Vikt:388 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:241
    • Upplaga:2013
    • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    • ISBN:9783642363146

    Utforska kategorier

    • Systemvetenskap och AI inom Data och IT
    • Programvaruutveckling inom Data och IT
    • Programmeringsböcker inom Data och IT

    Innehållsförteckning

    • Theoretical Considerations.- Tutorial: Graphical Calculus for Quantum Circuits.- One-Way Reversible Multi-head Finite Automata.- A Deterministic Two-Way Multi-head Finite Automaton Can BeConverted into a Reversible One with the Same Number of Heads.- Undecidability of the Surjectivity of the Subshift Associated to aTuring Machine.- Reversible Software and LanguagesIsomorphic 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 ControllingSelf-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.