عنوان
پدید آورنده
موضوع
رده
QA76.5913 D34 2019
QA76
.
5913
D34
2019
کتابخانه
محل استقرار
شابک
شابک
3030232468
شابک
3030232476
شابک
3030232484
شابک
9783030232467
شابک
9783030232474
شابک
9783030232481
شابک اشتباه
9783030232467
عنوان و نام پديدآور
عنوان اصلي
Descriptional complexity of formal systems :
نام عام مواد
[Book]
ساير اطلاعات عنواني
21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, proceedings /
نام نخستين پديدآور
edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham, Switzerland :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
2019.
تاریخ نشرو بخش و غیره
©2019
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (x, 299 pages) :
ساير جزييات
illustrations
فروست
عنوان فروست
Lectures notes in computer science ;
عنوان فروست
Theoretical Computer Science and General Issues
مشخصه جلد
11612
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and author index.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the proceedings of the 21st International Conference on Descriptional Complexity of Format Systems, DCFS 2019, held in Košice, Slovakia, in July 2019. The 18 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains 4 invited talks. They deal with all aspects of descriptional complexity and costs of description of objects in various computational models, such as Turing machines, pushdown automata, finite automata, grammars, and others. --
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer Nature
شماره انبار
com.springer.onix.9783030232474
ویراست دیگر از اثر در قالب دیگر رسانه
شماره استاندارد بين المللي کتاب و موسيقي
9783030232467
شماره استاندارد بين المللي کتاب و موسيقي
9783030232481
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
DCFS 2019
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Artificial intelligence.
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Formal methods (Computer science), Congresses.
موضوع مستند نشده
Logic design.
موضوع مستند نشده
Artificial intelligence.
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Formal methods (Computer science)
موضوع مستند نشده
Logic design.
مقوله موضوعی
موضوع مستند نشده
COM051000
موضوع مستند نشده
UM
موضوع مستند نشده
UM
موضوع مستند نشده
UYF
رده بندی ديویی
شماره
005
.
1015113
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
5913
شماره رده
QA76
.
63
شماره رده
QA76
.
9
.
L63
نشانه اثر
D34
2019
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Hospodár, Michal, (Computer scientist)
مستند نام اشخاص تاييد نشده
Jirásková, Galina
مستند نام اشخاص تاييد نشده
Konstantinidis, Stavros
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
DCFS (Workshop)(21st :2019 :, Košice, Slovakia.)
مبدا اصلی
تاريخ عمليات
20200823092746.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
