Del 12227
Reversible Computation
12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings
E-bok
PDF, Engelska, 2020708 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
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 9688
Formal Techniques for Distributed Objects, Components, and Systems
Elvira Albert, Ivan Lanese
Häftad, 2016
564 kr
Formal Techniques for Distributed Objects, Components, and Systems
Ivan Lanese, Elvira Albert
E-bok
2016708 kr
Del 9720
Del 12070
Reversible Computation: Extending Horizons of Computing
Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira
Häftad, 2020
453 kr
Del 8997