• 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

Skapa nya rutiner – hälsoböcker upp till 50% →

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. Samhälle och politik
    2. Samhälle och kultur
    3. Kultur och medier
    4. Referensverk och tvärvetenskap

    Reversible Computation

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

    AvMariusz Rawski,Ivan Lanese

    E-bok
    PDF, Engelska, 2020

    734 kr

    Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

    Beskrivning

    This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held in Oslo, Norway, in July 2020. The 17 full papers included in this volume were carefully reviewed and selected from 22 submissions.

    The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations.

    Produktinformation

    • Utgivningsdatum:2020-07-08
    • Språk:Engelska
    • Filformat:PDF
    • Kopieringsskydd:LCP
    • ISBN:9783030524821
    • Förlag:Springer International Publishing

    Utforska kategorier

    • Referensverk och tvärvetenskap inom Samhälle och politik
    • Hårdvara inom Data och IT
    • Programmeringsböcker inom Data och IT
    Hoppa över listan

    Du kanske också är intresserad av

    Ivan Lanese, Mariusz Rawski - Reversible Computation, Häftad
    Del 12227

    Reversible Computation

    Ivan Lanese, Mariusz Rawski

    Häftad, 2020

    559 kr

    Davide Sangiorgi, Ivan Lanese, Josep Diaz - Theoretical Computer Science, E-bok

    Theoretical Computer Science

    Davide Sangiorgi, Ivan Lanese, Josep Diaz

    E-bok
    2014

    712 kr

    Elvira Albert, Ivan Lanese - Formal Techniques for Distributed Objects, Components, and Systems, Häftad
    Del 9688

    Formal Techniques for Distributed Objects, Components, and Systems

    Elvira Albert, Ivan Lanese

    Häftad, 2016

    560 kr

    Ivan Lanese, Elvira Albert - Formal Techniques for Distributed Objects, Components, and Systems, E-bok

    Formal Techniques for Distributed Objects, Components, and Systems

    Ivan Lanese, Elvira Albert

    E-bok
    2016

    732 kr

    Eric Madelaine, Ivan Lanese - Formal Aspects of Component Software, E-bok

    Formal Aspects of Component Software

    Eric Madelaine, Ivan Lanese

    E-bok
    2015

    732 kr

    Josep Diaz, Ivan Lanese, Davide Sangiorgi - Theoretical Computer Science, Häftad

    Theoretical Computer Science

    Josep Diaz, Ivan Lanese, Davide Sangiorgi

    Häftad, 2014

    544 kr

    Simon Devitt, Ivan Lanese - Reversible Computation, Häftad
    Del 9720

    Reversible Computation

    Simon Devitt, Ivan Lanese

    Häftad, 2016

    560 kr

    Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira - Reversible Computation: Extending Horizons of Computing, Häftad
    Del 12070

    Reversible Computation: Extending Horizons of Computing

    Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira

    Häftad, 2020

    450 kr

    Ivan Lanese, Eric Madelaine - Formal Aspects of Component Software, Häftad
    Del 8997

    Formal Aspects of Component Software

    Ivan Lanese, Eric Madelaine

    Häftad, 2015

    560 kr

    Ivan Lanese, Simon Devitt - Reversible Computation, E-bok

    Reversible Computation

    Ivan Lanese, Simon Devitt

    E-bok
    2016

    710 kr