جهت دسترسی به کاربرگه ی زیر، از این لینک استفاده کنید.
http://localhost/handle/Hannan/563
| عنوان: | Descriptional Complexity of Formal Systems |
| عنوان دیگر: | 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25ee27, 2018, Proceedings / |
| پدیدآورنده: | Konstantinidis, Stavros. ;;Pighizzini, Giovanni. ; |
| کلید واژه ها: | Computer Science;Data structures (Computer science). ;;Computer logic. ;;Computer Science and Mathematics;Computational linguistics. ;;Computer Science;Logics and Meanings of Programs. ;;Language Translation and Linguistics. ;;Discrete Mathematics in Computer Science. ;;Data Structures. ;;005.1015113 ; 23 ;;QA76.63 ; |
| تاریخ انتشار: | 2018 |
| محل نشر: | Cham : |
| ناشر: | Springer International Publishing : Imprint: Springer, |
| فروست / شماره : | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10952. ; Lecture Notes in Computer Science, ; 0302-9743 ; ; 10952. ; |
| چکیده: | This book constitutes the proceedings of the 20th International Conference on Descriptional Complexity of Formal Systems, DCFS 2018, held in Halifax, NS, Canada, in July 2018. The 19 full papers presented were carefully reviewed and selected from 24 submissions. DCFS is an annual international working conference concerning the descriptional complexity of formal systems and structures and its applications. Topics of interest are related to all aspects of descriptional complexity and much more. . ; |
| توضیحات : | Printed edition: ; 9783319946306. ; SpringerLink (Online service) ; |
| آدرس: | http://localhost/handle/Hannan/563 |
| شابک : | 9783319946313 ; 9783319946306 (print) ; |
| اطلاعات بیشتر: | XIV, 251 p. 35 illus. ; online resource. ; |
| مجموعه(های): | مدیریت فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319946306.pdf | 5.79 MB | Adobe PDF |  مشاهده فایل |
| عنوان: | Descriptional Complexity of Formal Systems |
| عنوان دیگر: | 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25ee27, 2018, Proceedings / |
| پدیدآورنده: | Konstantinidis, Stavros. ;;Pighizzini, Giovanni. ; |
| کلید واژه ها: | Computer Science;Data structures (Computer science). ;;Computer logic. ;;Computer Science and Mathematics;Computational linguistics. ;;Computer Science;Logics and Meanings of Programs. ;;Language Translation and Linguistics. ;;Discrete Mathematics in Computer Science. ;;Data Structures. ;;005.1015113 ; 23 ;;QA76.63 ; |
| تاریخ انتشار: | 2018 |
| محل نشر: | Cham : |
| ناشر: | Springer International Publishing : Imprint: Springer, |
| فروست / شماره : | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10952. ; Lecture Notes in Computer Science, ; 0302-9743 ; ; 10952. ; |
| چکیده: | This book constitutes the proceedings of the 20th International Conference on Descriptional Complexity of Formal Systems, DCFS 2018, held in Halifax, NS, Canada, in July 2018. The 19 full papers presented were carefully reviewed and selected from 24 submissions. DCFS is an annual international working conference concerning the descriptional complexity of formal systems and structures and its applications. Topics of interest are related to all aspects of descriptional complexity and much more. . ; |
| توضیحات : | Printed edition: ; 9783319946306. ; SpringerLink (Online service) ; |
| آدرس: | http://localhost/handle/Hannan/563 |
| شابک : | 9783319946313 ; 9783319946306 (print) ; |
| اطلاعات بیشتر: | XIV, 251 p. 35 illus. ; online resource. ; |
| مجموعه(های): | مدیریت فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319946306.pdf | 5.79 MB | Adobe PDF | مشاهده فایل |
| عنوان: | Descriptional Complexity of Formal Systems |
| عنوان دیگر: | 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25ee27, 2018, Proceedings / |
| پدیدآورنده: | Konstantinidis, Stavros. ;;Pighizzini, Giovanni. ; |
| کلید واژه ها: | Computer Science;Data structures (Computer science). ;;Computer logic. ;;Computer Science and Mathematics;Computational linguistics. ;;Computer Science;Logics and Meanings of Programs. ;;Language Translation and Linguistics. ;;Discrete Mathematics in Computer Science. ;;Data Structures. ;;005.1015113 ; 23 ;;QA76.63 ; |
| تاریخ انتشار: | 2018 |
| محل نشر: | Cham : |
| ناشر: | Springer International Publishing : Imprint: Springer, |
| فروست / شماره : | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10952. ; Lecture Notes in Computer Science, ; 0302-9743 ; ; 10952. ; |
| چکیده: | This book constitutes the proceedings of the 20th International Conference on Descriptional Complexity of Formal Systems, DCFS 2018, held in Halifax, NS, Canada, in July 2018. The 19 full papers presented were carefully reviewed and selected from 24 submissions. DCFS is an annual international working conference concerning the descriptional complexity of formal systems and structures and its applications. Topics of interest are related to all aspects of descriptional complexity and much more. . ; |
| توضیحات : | Printed edition: ; 9783319946306. ; SpringerLink (Online service) ; |
| آدرس: | http://localhost/handle/Hannan/563 |
| شابک : | 9783319946313 ; 9783319946306 (print) ; |
| اطلاعات بیشتر: | XIV, 251 p. 35 illus. ; online resource. ; |
| مجموعه(های): | مدیریت فناوری اطلاعات |
پیوست های این کاربرگه
| فایل | توضیحات | اندازه | فرمت | |
|---|---|---|---|---|
| 9783319946306.pdf | 5.79 MB | Adobe PDF | مشاهده فایل |