Normal view MARC view ISBD view

Reversible Computation [electronic resource] : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings / edited by Jarkko Kari, Irek Ulidowski.

Contributor(s): Kari, Jarkko [editor.] | Ulidowski, Irek [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Programming and Software Engineering: 11106Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Edition: 1st ed. 2018.Description: XIII, 353 p. 132 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783319994987.Subject(s): Logic design | Artificial intelligence | Compilers (Computer programs) | Computer networks  | Software engineering | Logic Design | Artificial Intelligence | Compilers and Interpreters | Computer Communication Networks | Software EngineeringAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 621,395 Online resources: Click here to access online
Contents:
Reversible concurrent computation -- Quantum circuits -- Reversible programming languages -- Applications.
In: Springer Nature eBookSummary: 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.
    average rating: 0.0 (0 votes)
No physical items for this record

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.

There are no comments for this item.

Log in to your account to post a comment.