Reversible Computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings / / edited by Jarkko Kari, Irek Ulidowski
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Reversible Computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings / / edited by Jarkko Kari, Irek Ulidowski
|
| Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Edizione: | 1st ed. 2018. |
| Descrizione fisica: | 1 online resource (XIII, 353 p. 132 illus.) |
| Disciplina: | 004 |
| Soggetto topico: | 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 Engineering | |
| Persona (resp. second.): | KariJarkko |
| UlidowskiIrek | |
| Nota di contenuto: | Reversible concurrent computation -- Quantum circuits -- Reversible programming languages -- Applications. |
| Sommario/riassunto: | 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. |
| Titolo autorizzato: | Reversible Computation |
| ISBN: | 3-319-99498-0 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910349410403321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Programming and Software Engineering ; ; 11106