Описание: Provides a comprehensive treatment of all the techniques in nonlinear dynamics together with C++, Java and SymbolicC++ implementations. This book not only covers the theoretical aspects of the topics but also provides the practical tools. To understand the material, it includes more than 100 worked out examples and 150 ready to run programs.
Автор: Manfred Droste; Werner Kuich; Heiko Vogler Название: Handbook of Weighted Automata ISBN: 3642260497 ISBN-13(EAN): 9783642260490 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book covers all the main aspects of weighted automata and formal power series methods, ranging from theory to applications. The contributors are the leading experts in their respective areas. Chapters offer pointers to future research.
Автор: Gabriele Puppis Название: Automata for Branching and Layered Temporal Structures ISBN: 3642118801 ISBN-13(EAN): 9783642118807 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book focuses on Logic and Computation and, more specifically, on automata-based decidability techniques for time granularity and on a fresh method for deciding Monadic Second Order theories of trees.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru