| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISOBSOBE00065905 |
|
|
Autore |
Runciman, Steven |
|
|
Titolo |
2 / Steven Runciman |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910349410403321 |
|
|
Titolo |
Reversible Computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings / / edited by Jarkko Kari, Irek Ulidowski |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2018.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIII, 353 p. 132 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 11106 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Logic design |
Artificial intelligence |
Compilers (Computer programs) |
Computer networks |
Software engineering |
Logic Design |
Artificial Intelligence |
Compilers and Interpreters |
Computer Communication Networks |
Software Engineering |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
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. |
|
|
|
|
|
|
|
| |