Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering Forlænget returret til 31/01/25
Sidst søgt på
    Studiebog
    Reversible Computation

    Reversible Computation

    - 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings (2016)

    Forfatter: info mangler
    Bog
    • Format
    • Bog, paperback
    • Engelsk

    Beskrivelse

    This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016. The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: process calculi; reversible models; programming languages; quantum computing; quantum programming; circuit theory; and syntheses.

    Læs hele beskrivelsen
    Detaljer
    Størrelse og vægt
  • Vægt5387 g
  • Dybde2,2 cm
    • coffee cup img
    10 cm
    book img
    15,5 cm
    23,5 cm

    Findes i disse kategorier...

    Se andre, der handler om...

    Algorithms Logic design Software engineering Programming Languages Quantum computing Software Validation Reversible computing Algorithms & data structures Computer architecture & logic design Computer programming / software engineering Mathematical theory of computation Programming & scripting languages: general User interface design & usability Model-checking Operational semantics Software verification Process calculi Circuit complexity Automata theory Quantum circuits Formal logic Reversible models Formal methods
    Machine Name: SAXO082