Descriptional Complexity of Formal Systems, J?rgensen; Rog?rio Reis

Автор: 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.

Автор: C?mpeanu
Название: Descriptional Complexity of Formal Systems
ISBN: 3319411136 ISBN-13(EAN): 9783319411132
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Автор: 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.

Автор: 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);