Please use this identifier to cite or link to this item:
http://localhost/handle/Hannan/1160
Title: | Reversible Computation |
Other Titles: | 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings / |
Authors: | Kari, Jarkko. ; (orcid)0000-0003-0670-6138 ; http://orcid.org/0000-0003-0670-6138. ;;Ulidowski, Irek. ; |
subject: | Logic design. ;;Artificial Intelligence;Computer Science;Computer Communication Networks;Software Engineering;Logic Design. ; http://scigraph.springernature.com/things/product-market-codes/I12050. ;;Artificial Intelligence and Robotics;Programming Languages and Compilers and Interpreters;Computer Communication Networks;Software Engineering;621.395 ; 23 ;;QA76.9.L63 ; |
Year: | 2018 |
place: | Cham : |
Publisher: | Springer International Publishing : Imprint: Springer, |
Series/Report no.: | Programming and Software Engineering ; ; 11106. ; Programming and Software Engineering ; ; 11106. ; |
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. ; |
Description: | Printed edition: ; 9783319994970. ; SpringerLink (Online service) ; Printed edition: ; 9783319994994. ; |
URI: | http://localhost/handle/Hannan/1160 |
ISBN: | 9783319994987 ; 9783319994970 (print) ; 9783319994994 (print) ; |
More Information: | XIII, 353 p. 132 illus. ; online resource. ; |
Appears in Collections: | مدیریت فناوری اطلاعات |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
9783319994970.pdf | 16.09 MB | Adobe PDF | Preview File |
Title: | Reversible Computation |
Other Titles: | 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings / |
Authors: | Kari, Jarkko. ; (orcid)0000-0003-0670-6138 ; http://orcid.org/0000-0003-0670-6138. ;;Ulidowski, Irek. ; |
subject: | Logic design. ;;Artificial Intelligence;Computer Science;Computer Communication Networks;Software Engineering;Logic Design. ; http://scigraph.springernature.com/things/product-market-codes/I12050. ;;Artificial Intelligence and Robotics;Programming Languages and Compilers and Interpreters;Computer Communication Networks;Software Engineering;621.395 ; 23 ;;QA76.9.L63 ; |
Year: | 2018 |
place: | Cham : |
Publisher: | Springer International Publishing : Imprint: Springer, |
Series/Report no.: | Programming and Software Engineering ; ; 11106. ; Programming and Software Engineering ; ; 11106. ; |
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. ; |
Description: | Printed edition: ; 9783319994970. ; SpringerLink (Online service) ; Printed edition: ; 9783319994994. ; |
URI: | http://localhost/handle/Hannan/1160 |
ISBN: | 9783319994987 ; 9783319994970 (print) ; 9783319994994 (print) ; |
More Information: | XIII, 353 p. 132 illus. ; online resource. ; |
Appears in Collections: | مدیریت فناوری اطلاعات |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
9783319994970.pdf | 16.09 MB | Adobe PDF | Preview File |
Title: | Reversible Computation |
Other Titles: | 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings / |
Authors: | Kari, Jarkko. ; (orcid)0000-0003-0670-6138 ; http://orcid.org/0000-0003-0670-6138. ;;Ulidowski, Irek. ; |
subject: | Logic design. ;;Artificial Intelligence;Computer Science;Computer Communication Networks;Software Engineering;Logic Design. ; http://scigraph.springernature.com/things/product-market-codes/I12050. ;;Artificial Intelligence and Robotics;Programming Languages and Compilers and Interpreters;Computer Communication Networks;Software Engineering;621.395 ; 23 ;;QA76.9.L63 ; |
Year: | 2018 |
place: | Cham : |
Publisher: | Springer International Publishing : Imprint: Springer, |
Series/Report no.: | Programming and Software Engineering ; ; 11106. ; Programming and Software Engineering ; ; 11106. ; |
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. ; |
Description: | Printed edition: ; 9783319994970. ; SpringerLink (Online service) ; Printed edition: ; 9783319994994. ; |
URI: | http://localhost/handle/Hannan/1160 |
ISBN: | 9783319994987 ; 9783319994970 (print) ; 9783319994994 (print) ; |
More Information: | XIII, 353 p. 132 illus. ; online resource. ; |
Appears in Collections: | مدیریت فناوری اطلاعات |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
9783319994970.pdf | 16.09 MB | Adobe PDF | Preview File |