Descriptional Complexity of Formal Systems: 22nd International Conference, Dcfs 2020, Vienna, Austria, August 24-26, 2020, Proceedings, Jirбskovб Galina, Pighizzini Giovanni
Автор: Jeffrey Shallit; Alexander Okhotin Название: Descriptional Complexity of Formal Systems ISBN: 3319192248 ISBN-13(EAN): 9783319192246 Издательство: Springer Рейтинг: Цена: 52170.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 17th International Conference on Descriptional Complexity of Formal Systems, DCFS 2015, held in Waterloo, ON, Canada, in June 2015. Descriptional complexity serves as a theoretical representation of physical realizations, such as the engineering complexity of computer software and hardware.
Автор: Giovanni Pighizzini; Cezar C?mpeanu Название: Descriptional Complexity of Formal Systems ISBN: 3319602519 ISBN-13(EAN): 9783319602516 Издательство: Springer Рейтинг: Цена: 60550.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 19th International Conference on Descriptional Complexity of Formal Systems, DCFS 2017, held in Milano, Italy, in July 2017.
Автор: Helmut J?rgensen; Juhani Karhum?ki; Alexander Okho Название: Descriptional Complexity of Formal Systems ISBN: 3319097032 ISBN-13(EAN): 9783319097039 Издательство: Springer Рейтинг: Цена: 52170.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 16th International Conference on Descriptional Complexity of Formal Systems, DCFS 2014, held in Turku, Finland, in August 2014. formal systems for applications (e.g., software reliability, software and hardware testing, modeling of natural languages);
Автор: J?rgensen; Rog?rio Reis Название: Descriptional Complexity of Formal Systems ISBN: 3642393098 ISBN-13(EAN): 9783642393099 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 15th International Workshop of Descriptional Complexity of Formal Systems, DCFS 2013, held in London, ON, Canada, in July 2013. size complexity and structural complexity of formal systems; size or structural complexity of formal systems for modeling natural languages;
Автор: Konstantinidis Название: Descriptional Complexity of Formal Systems ISBN: 3319946307 ISBN-13(EAN): 9783319946306 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Gribaudo Marco, Jansen David N., Remke Anne Название: Quantitative Evaluation of Systems: 17th International Conference, Qest 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings ISBN: 3030598535 ISBN-13(EAN): 9783030598532 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020. The 12 full papers presented together with 7 short papers were carefully reviewed and selected from 42 submissions.
This book constitutes the proceedings of the 21st International Conference on Descriptional Complexity of Format Systems, DCFS 2019, held in Kosice, 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.
Автор: C?mpeanu Название: Descriptional Complexity of Formal Systems ISBN: 3319411136 ISBN-13(EAN): 9783319411132 Издательство: Springer Рейтинг: Цена: 59630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: his book constitutes the refereed proceedings of the 18th International Conference on Descriptional Complexity of Formal Systems, DCFS 2016, held in Bucharest, Romania, in July 2016.
Big data.- Knowledge Discovery.- Query Languages.- Artificial Intelligent.-Machine Learning.- Data Warehousing.- Distributed System.- Visualization.- Data Management.- Multimedia Data.
Автор: Stephanidis Constantine, Antona Margherita, Ntoa Stavroula Название: Hci International 2020 - Late Breaking Posters: 22nd International Conference, Hcii 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II ISBN: 303060702X ISBN-13(EAN): 9783030607029 Издательство: Springer Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The conference was planned to take place in Copenhagen, Denmark, but had to change to a virtual conference mode due to the COVID-19 pandemic.From a total of 6326 submissions, a total of 1439 papers and 238 posters have been accepted for publication in the HCII 2020 proceedings before the conference took place.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
