Descriptional Complexity of Formal Systems, C?mpeanu

Автор: Jeffrey Shallit; Alexander Okhotin
Название: Descriptional Complexity of Formal Systems
ISBN: 3319192248 ISBN-13(EAN): 9783319192246
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: J?rgensen; Rog?rio Reis
Название: Descriptional Complexity of Formal Systems
ISBN: 3642393098 ISBN-13(EAN): 9783642393099
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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;

Автор: Helmut J?rgensen; Juhani Karhum?ki; Alexander Okho
Название: Descriptional Complexity of Formal Systems
ISBN: 3319097032 ISBN-13(EAN): 9783319097039
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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);