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

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

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 Co...

Полное описание

Библиографическая информация
Опубликовано в: :Springer eBooks
Соавтор: SpringerLink (Online service)
Другие авторы: Krivine, Jean (Редактор), Stefani, Jean-Bernard (Редактор)
Формат: Электронная книга
Язык:English
Публикация: Cham : Springer International Publishing : Imprint: Springer, 2015.
Серии:Lecture Notes in Computer Science,
Предметы:
Computer Science.
Logic design.
Software engineering.
computers.
Algorithms.
Computer logic.
Quantum computers.
Logic Design.
Logics and Meanings of Programs.
Quantum computing.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Software Engineering.
Online-ссылка:http://dx.doi.org/10.1007/978-3-319-20860-2
Перейти в каталог НБ ТГУ
Описание
Итог: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.
Объем:VIII, 291 p. 90 illus. online resource.
ISBN:9783319208602
ISSN:0302-9743 ;

Похожие документы