Автор: Dov M. Gabbay; Karl Schlechta Название: Logical Tools for Handling Change in Agent-Based Systems ISBN: 3642261876 ISBN-13(EAN): 9783642261879 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book covers general logical tools for handling change. The tools are preferential reasoning, theory revision and reasoning in inheritance systems. Logics examined are nonmonotonic, deontic, modal, intuitionistic and temporal as well as counterfactuals.
Название: Handbook of Finite State Based Models and Applications ISBN: 1138199354 ISBN-13(EAN): 9781138199354 Издательство: Taylor&Francis Рейтинг: Цена: 9492.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering. Handbook of Finite State Based Models and Applications provides a complete collection of introductory materials on finite state theories, algorithms, and the latest domain applications. For beginners, the book is a handy reference for quickly looking up model details. For more experienced researchers, it is suitable as a source of in-depth study in this area.
The book first introduces the fundamentals of automata theory, including regular expressions, as well as widely used automata, such as transducers, tree automata, quantum automata, and timed automata. It then presents algorithms for the minimization and incremental construction of finite automata and describes Esterel, an automata-based synchronous programming language for embedded system software development.
Moving on to applications, the book explores regular path queries on graph-structured data, timed automata in model checking security protocols, pattern matching, compiler design, and XML processing. It also covers other finite state-based modeling approaches and applications, including Petri nets, statecharts, temporal logic, and UML state machine diagrams.
Автор: G?nter Hommel Название: Quality of Communication-Based Systems ISBN: 9401040842 ISBN-13(EAN): 9789401040846 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994
Описание: Encourages teachers and researchers to advance reasoning, communication and connections in mathematics classrooms. This title illustrates evidence-based practices that school teachers and researchers can experiment with in their own classrooms to bring about meaningful learning outcomes.
Автор: G?nter Hommel Название: Communication-Based Systems ISBN: 9048153999 ISBN-13(EAN): 9789048153992 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the 3rd International Workshop held at the TU Berlin, Germany, 31 March-1 April 2000
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
