Reversible Computation [electronic resource] : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings / edited by Jarkko Kari, Irek Ulidowski.
Tipo de material:
TextoSeries Programming and Software Engineering ; 11106Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Edición: 1st ed. 2018Descripción: XIII, 353 p. 132 illus. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783319994987Tema(s): Logic design | Artificial intelligence | Programming languages (Electronic computers) | Computer communication systems | Software engineering | Logic Design | Artificial Intelligence | Programming Languages, Compilers, Interpreters | Computer Communication Networks | Software EngineeringFormatos físicos adicionales: Printed edition:: Sin título; Printed edition:: Sin títuloClasificación CDD: 621.395 Clasificación LoC:QA76.9.L63Recursos en línea: Libro electrónico
Contenidos:
En: Springer Nature eBookResumen: This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018. The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selected from 28 submissions. The papers are organized in the following topical sections: reversible concurrent computation; quantum circuits; reversible programming languages; and applications.
Reversible concurrent computation -- Quantum circuits -- Reversible programming languages -- Applications.
| Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
| Libro Electrónico | Biblioteca Electrónica | Colección de Libros Electrónicos | 1 | No para préstamo |
Acceso multiusuario
Reversible concurrent computation -- Quantum circuits -- Reversible programming languages -- Applications.
This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018. The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selected from 28 submissions. The papers are organized in the following topical sections: reversible concurrent computation; quantum circuits; reversible programming languages; and applications.
UABC ; Temporal ; 01/01/2021-12/31/2023.
