Please use this identifier to cite or link to this item:
http://localhost/handle/Hannan/1160
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Kari, Jarkko. ; (orcid)0000-0003-0670-6138 ; http://orcid.org/0000-0003-0670-6138. ; | en_US |
| dc.contributor.author | Ulidowski, Irek. ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:25:59Z | - |
| dc.date.available | 2020-05-17T08:25:59Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 9783319994987 ; | en_US |
| dc.identifier.isbn | 9783319994970 (print) ; | en_US |
| dc.identifier.isbn | 9783319994994 (print) ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/1160 | - |
| dc.description | Printed edition: ; 9783319994970. ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | SpringerLink (Online service) ; | en_US |
| dc.description | en_US | |
| dc.description | Printed edition: ; 9783319994994. ; | en_US |
| dc.description | en_US | |
| dc.description.abstract | 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. ; | en_US |
| dc.description.statementofresponsibility | edited by Jarkko Kari, Irek Ulidowski. | en_US |
| dc.description.tableofcontents | Reversible concurrent computation -- Quantum circuits -- Reversible programming languages -- Applications. ; | en_US |
| dc.format.extent | XIII, 353 p. 132 illus. ; online resource. ; | en_US |
| dc.publisher | Springer International Publishing : | en_US |
| dc.publisher | Imprint: Springer, | en_US |
| dc.relation.ispartofseries | Programming and Software Engineering ; ; 11106. ; | en_US |
| dc.relation.ispartofseries | Programming and Software Engineering ; ; 11106. ; | en_US |
| dc.relation.haspart | 9783319994970.pdf | en_US |
| dc.subject | Logic design. ; | en_US |
| dc.subject | Artificial Intelligence | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Computer Communication Networks | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Logic Design. ; http://scigraph.springernature.com/things/product-market-codes/I12050. ; | en_US |
| dc.subject | Artificial Intelligence and Robotics | en_US |
| dc.subject | Programming Languages and Compilers and Interpreters | en_US |
| dc.subject | Computer Communication Networks | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject.ddc | 621.395 ; 23 ; | en_US |
| dc.subject.lcc | QA76.9.L63 ; | en_US |
| dc.title | Reversible Computation | en_US |
| dc.title.alternative | 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings / | en_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham : | en_US |
| Appears in Collections: | مدیریت فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319994970.pdf | 16.09 MB | Adobe PDF |  Preview File |
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Kari, Jarkko. ; (orcid)0000-0003-0670-6138 ; http://orcid.org/0000-0003-0670-6138. ; | en_US |
| dc.contributor.author | Ulidowski, Irek. ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:25:59Z | - |
| dc.date.available | 2020-05-17T08:25:59Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 9783319994987 ; | en_US |
| dc.identifier.isbn | 9783319994970 (print) ; | en_US |
| dc.identifier.isbn | 9783319994994 (print) ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/1160 | - |
| dc.description | Printed edition: ; 9783319994970. ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | SpringerLink (Online service) ; | en_US |
| dc.description | en_US | |
| dc.description | Printed edition: ; 9783319994994. ; | en_US |
| dc.description | en_US | |
| dc.description.abstract | 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. ; | en_US |
| dc.description.statementofresponsibility | edited by Jarkko Kari, Irek Ulidowski. | en_US |
| dc.description.tableofcontents | Reversible concurrent computation -- Quantum circuits -- Reversible programming languages -- Applications. ; | en_US |
| dc.format.extent | XIII, 353 p. 132 illus. ; online resource. ; | en_US |
| dc.publisher | Springer International Publishing : | en_US |
| dc.publisher | Imprint: Springer, | en_US |
| dc.relation.ispartofseries | Programming and Software Engineering ; ; 11106. ; | en_US |
| dc.relation.ispartofseries | Programming and Software Engineering ; ; 11106. ; | en_US |
| dc.relation.haspart | 9783319994970.pdf | en_US |
| dc.subject | Logic design. ; | en_US |
| dc.subject | Artificial Intelligence | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Computer Communication Networks | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Logic Design. ; http://scigraph.springernature.com/things/product-market-codes/I12050. ; | en_US |
| dc.subject | Artificial Intelligence and Robotics | en_US |
| dc.subject | Programming Languages and Compilers and Interpreters | en_US |
| dc.subject | Computer Communication Networks | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject.ddc | 621.395 ; 23 ; | en_US |
| dc.subject.lcc | QA76.9.L63 ; | en_US |
| dc.title | Reversible Computation | en_US |
| dc.title.alternative | 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings / | en_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham : | en_US |
| Appears in Collections: | مدیریت فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319994970.pdf | 16.09 MB | Adobe PDF | Preview File |
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Kari, Jarkko. ; (orcid)0000-0003-0670-6138 ; http://orcid.org/0000-0003-0670-6138. ; | en_US |
| dc.contributor.author | Ulidowski, Irek. ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:25:59Z | - |
| dc.date.available | 2020-05-17T08:25:59Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 9783319994987 ; | en_US |
| dc.identifier.isbn | 9783319994970 (print) ; | en_US |
| dc.identifier.isbn | 9783319994994 (print) ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/1160 | - |
| dc.description | Printed edition: ; 9783319994970. ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | SpringerLink (Online service) ; | en_US |
| dc.description | en_US | |
| dc.description | Printed edition: ; 9783319994994. ; | en_US |
| dc.description | en_US | |
| dc.description.abstract | 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. ; | en_US |
| dc.description.statementofresponsibility | edited by Jarkko Kari, Irek Ulidowski. | en_US |
| dc.description.tableofcontents | Reversible concurrent computation -- Quantum circuits -- Reversible programming languages -- Applications. ; | en_US |
| dc.format.extent | XIII, 353 p. 132 illus. ; online resource. ; | en_US |
| dc.publisher | Springer International Publishing : | en_US |
| dc.publisher | Imprint: Springer, | en_US |
| dc.relation.ispartofseries | Programming and Software Engineering ; ; 11106. ; | en_US |
| dc.relation.ispartofseries | Programming and Software Engineering ; ; 11106. ; | en_US |
| dc.relation.haspart | 9783319994970.pdf | en_US |
| dc.subject | Logic design. ; | en_US |
| dc.subject | Artificial Intelligence | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Computer Communication Networks | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Logic Design. ; http://scigraph.springernature.com/things/product-market-codes/I12050. ; | en_US |
| dc.subject | Artificial Intelligence and Robotics | en_US |
| dc.subject | Programming Languages and Compilers and Interpreters | en_US |
| dc.subject | Computer Communication Networks | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject.ddc | 621.395 ; 23 ; | en_US |
| dc.subject.lcc | QA76.9.L63 ; | en_US |
| dc.title | Reversible Computation | en_US |
| dc.title.alternative | 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings / | en_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham : | en_US |
| Appears in Collections: | مدیریت فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319994970.pdf | 16.09 MB | Adobe PDF | Preview File |