جهت دسترسی به کاربرگه ی زیر، از این لینک استفاده کنید.
http://localhost/handle/Hannan/1160
| عنوان: | Reversible Computation |
| عنوان دیگر: | 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings / |
| پدیدآورنده: | Kari, Jarkko. ; (orcid)0000-0003-0670-6138 ; http://orcid.org/0000-0003-0670-6138. ;;Ulidowski, Irek. ; |
| کلید واژه ها: | 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 ; |
| تاریخ انتشار: | 2018 |
| محل نشر: | Cham : |
| ناشر: | Springer International Publishing : Imprint: Springer, |
| فروست / شماره : | Programming and Software Engineering ; ; 11106. ; Programming and Software Engineering ; ; 11106. ; |
| چکیده: | 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. ; |
| توضیحات : | Printed edition: ; 9783319994970. ; SpringerLink (Online service) ; Printed edition: ; 9783319994994. ; |
| آدرس: | http://localhost/handle/Hannan/1160 |
| شابک : | 9783319994987 ; 9783319994970 (print) ; 9783319994994 (print) ; |
| اطلاعات بیشتر: | XIII, 353 p. 132 illus. ; online resource. ; |
| مجموعه(های): | مدیریت فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319994970.pdf | 16.09 MB | Adobe PDF |  مشاهده فایل |
| عنوان: | Reversible Computation |
| عنوان دیگر: | 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings / |
| پدیدآورنده: | Kari, Jarkko. ; (orcid)0000-0003-0670-6138 ; http://orcid.org/0000-0003-0670-6138. ;;Ulidowski, Irek. ; |
| کلید واژه ها: | 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 ; |
| تاریخ انتشار: | 2018 |
| محل نشر: | Cham : |
| ناشر: | Springer International Publishing : Imprint: Springer, |
| فروست / شماره : | Programming and Software Engineering ; ; 11106. ; Programming and Software Engineering ; ; 11106. ; |
| چکیده: | 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. ; |
| توضیحات : | Printed edition: ; 9783319994970. ; SpringerLink (Online service) ; Printed edition: ; 9783319994994. ; |
| آدرس: | http://localhost/handle/Hannan/1160 |
| شابک : | 9783319994987 ; 9783319994970 (print) ; 9783319994994 (print) ; |
| اطلاعات بیشتر: | XIII, 353 p. 132 illus. ; online resource. ; |
| مجموعه(های): | مدیریت فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319994970.pdf | 16.09 MB | Adobe PDF | مشاهده فایل |
| عنوان: | Reversible Computation |
| عنوان دیگر: | 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings / |
| پدیدآورنده: | Kari, Jarkko. ; (orcid)0000-0003-0670-6138 ; http://orcid.org/0000-0003-0670-6138. ;;Ulidowski, Irek. ; |
| کلید واژه ها: | 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 ; |
| تاریخ انتشار: | 2018 |
| محل نشر: | Cham : |
| ناشر: | Springer International Publishing : Imprint: Springer, |
| فروست / شماره : | Programming and Software Engineering ; ; 11106. ; Programming and Software Engineering ; ; 11106. ; |
| چکیده: | 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. ; |
| توضیحات : | Printed edition: ; 9783319994970. ; SpringerLink (Online service) ; Printed edition: ; 9783319994994. ; |
| آدرس: | http://localhost/handle/Hannan/1160 |
| شابک : | 9783319994987 ; 9783319994970 (print) ; 9783319994994 (print) ; |
| اطلاعات بیشتر: | XIII, 353 p. 132 illus. ; online resource. ; |
| مجموعه(های): | مدیریت فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319994970.pdf | 16.09 MB | Adobe PDF | مشاهده فایل |