Produktnummer:
18a2a62b7afc8d444397423adfe32da8b6
Themengebiete: | algorithms circuit complexity circuit optimization dynamic programming formal methods graph rewriting hardware description languages operational semantics probabilistic computation quantum circuits |
---|---|
Veröffentlichungsdatum: | 01.07.2015 |
EAN: | 9783319208596 |
Sprache: | Englisch |
Seitenzahl: | 291 |
Produktart: | Kartoniert / Broschiert |
Herausgeber: | Krivine, Jean Stefani, Jean-Bernard |
Verlag: | Springer International Publishing |
Untertitel: | 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings |
Produktinformationen "Reversible Computation"
This book constitutes the refereed proceedings of the 7th International Conference on Reversible Computation, RC 2015, held in Grenoble, France in July 2015. The 19 papers presented together with 1 invited talk were carefully reviewed and selected from 30 submissions. The Conference on Reversible Computation particularly includes the following topics: reversible machines, reversible languages, design and verification of quantum circuits, design of reversible circuits and circuit synthesis.

Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen