جهت دسترسی به کاربرگه ی زیر، از این لینک استفاده کنید.
http://localhost/handle/Hannan/1270
| عنوان: | Coalgebraic Methods in Computer Science |
| عنوان دیگر: | 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14ee15, 2018, Revised Selected Papers / |
| پدیدآورنده: | Cerstea, Corina. ; (orcid)0000-0003-3165-5678 ; http://orcid.org/0000-0003-3165-5678. ; |
| کلید واژه ها: | Computer Science;Artificial Intelligence;Logic design. ;;Mathematical Logic and Formal Languages. ; http://scigraph.springernature.com/things/product-market-codes/I16048. ;;Artificial Intelligence and Robotics;Logics and Meanings of Programs. ; http://scigraph.springernature.com/things/product-market-codes/I1603X. ;;005.131 ; 23 ;;QA8.9-QA10.3 ; |
| تاریخ انتشار: | 2018 |
| محل نشر: | Cham : |
| ناشر: | Springer International Publishing : Imprint: Springer, |
| فروست / شماره : | Theoretical Computer Science and General Issues ; ; 11202. ; Theoretical Computer Science and General Issues ; ; 11202. ; |
| چکیده: | This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2018, colocated with ETAPS 2018, held in Thessaloniki, Greece, in April 2018. The 10 revised full papers were carefully reviewed and selected from 17 submissions. Also included are the extended abstracts of two keynotes/invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras. ; |
| توضیحات : | SpringerLink (Online service) ; Printed edition: ; 9783030003883. ; Printed edition: ; 9783030003906. ; |
| آدرس: | http://localhost/handle/Hannan/1270 |
| شابک : | 9783030003890 ; 9783030003883 (print) ; 9783030003906 (print) ; |
| اطلاعات بیشتر: | IX, 235 p. 4 illus. ; online resource. ; |
| مجموعه(های): | مدیریت فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783030003883.pdf | 4.66 MB | Adobe PDF |  مشاهده فایل |
| عنوان: | Coalgebraic Methods in Computer Science |
| عنوان دیگر: | 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14ee15, 2018, Revised Selected Papers / |
| پدیدآورنده: | Cerstea, Corina. ; (orcid)0000-0003-3165-5678 ; http://orcid.org/0000-0003-3165-5678. ; |
| کلید واژه ها: | Computer Science;Artificial Intelligence;Logic design. ;;Mathematical Logic and Formal Languages. ; http://scigraph.springernature.com/things/product-market-codes/I16048. ;;Artificial Intelligence and Robotics;Logics and Meanings of Programs. ; http://scigraph.springernature.com/things/product-market-codes/I1603X. ;;005.131 ; 23 ;;QA8.9-QA10.3 ; |
| تاریخ انتشار: | 2018 |
| محل نشر: | Cham : |
| ناشر: | Springer International Publishing : Imprint: Springer, |
| فروست / شماره : | Theoretical Computer Science and General Issues ; ; 11202. ; Theoretical Computer Science and General Issues ; ; 11202. ; |
| چکیده: | This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2018, colocated with ETAPS 2018, held in Thessaloniki, Greece, in April 2018. The 10 revised full papers were carefully reviewed and selected from 17 submissions. Also included are the extended abstracts of two keynotes/invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras. ; |
| توضیحات : | SpringerLink (Online service) ; Printed edition: ; 9783030003883. ; Printed edition: ; 9783030003906. ; |
| آدرس: | http://localhost/handle/Hannan/1270 |
| شابک : | 9783030003890 ; 9783030003883 (print) ; 9783030003906 (print) ; |
| اطلاعات بیشتر: | IX, 235 p. 4 illus. ; online resource. ; |
| مجموعه(های): | مدیریت فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783030003883.pdf | 4.66 MB | Adobe PDF | مشاهده فایل |
| عنوان: | Coalgebraic Methods in Computer Science |
| عنوان دیگر: | 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14ee15, 2018, Revised Selected Papers / |
| پدیدآورنده: | Cerstea, Corina. ; (orcid)0000-0003-3165-5678 ; http://orcid.org/0000-0003-3165-5678. ; |
| کلید واژه ها: | Computer Science;Artificial Intelligence;Logic design. ;;Mathematical Logic and Formal Languages. ; http://scigraph.springernature.com/things/product-market-codes/I16048. ;;Artificial Intelligence and Robotics;Logics and Meanings of Programs. ; http://scigraph.springernature.com/things/product-market-codes/I1603X. ;;005.131 ; 23 ;;QA8.9-QA10.3 ; |
| تاریخ انتشار: | 2018 |
| محل نشر: | Cham : |
| ناشر: | Springer International Publishing : Imprint: Springer, |
| فروست / شماره : | Theoretical Computer Science and General Issues ; ; 11202. ; Theoretical Computer Science and General Issues ; ; 11202. ; |
| چکیده: | This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2018, colocated with ETAPS 2018, held in Thessaloniki, Greece, in April 2018. The 10 revised full papers were carefully reviewed and selected from 17 submissions. Also included are the extended abstracts of two keynotes/invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras. ; |
| توضیحات : | SpringerLink (Online service) ; Printed edition: ; 9783030003883. ; Printed edition: ; 9783030003906. ; |
| آدرس: | http://localhost/handle/Hannan/1270 |
| شابک : | 9783030003890 ; 9783030003883 (print) ; 9783030003906 (print) ; |
| اطلاعات بیشتر: | IX, 235 p. 4 illus. ; online resource. ; |
| مجموعه(های): | مدیریت فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783030003883.pdf | 4.66 MB | Adobe PDF | مشاهده فایل |