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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Krivine, Jean (Editor ), Stefani, Jean-Bernard (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2015.
Edición:1st ed. 2015.
Colección:Programming and Software Engineering, 9138
Temas:
Logic design.
Computer science.
Quantum computers.
Algorithms.
Software engineering.
Logic Design.
Computer Science Logic and Foundations of Programming.
Quantum Computing.
Theory of Computation.
Software Engineering.
Acceso en línea:Texto Completo
Descripción
Sumario: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.
Descripción Física:VIII, 291 p. 90 illus. online resource.
ISBN:9783319208602
ISSN:2945-9168 ;

Ejemplares similares