Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Krivine, Jean (Επιμελητής έκδοσης), Stefani, Jean-Bernard (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Σειρά: Lecture Notes in Computer Science, 9138
• Θέματα: Computer science.; Logic design.; Software engineering.; Computers.; Algorithms.; Computer logic.; Quantum computers.; Computer Science.; Logic Design.; Logics and Meanings of Programs.; Quantum Computing.; Computation by Abstract Devices.; Algorithm Analysis and Problem Complexity.; Software Engineering.
• Φυσική περιγραφή: VIII, 291 p. 90 illus. online resource.
• ISBN: 9783319208602
• ISSN: 0302-9743 ;

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.