Formal Modeling and Analysis of Timed Systems, Fr?nzle

Автор: Langer
Название: Analysis and Design of Information Systems
ISBN: 1846286549 ISBN-13(EAN): 9781846286544
Издательство: Springer
Рейтинг:
Цена: 11878.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In any software design project, the analysis stage - documenting and designing technical requirements for the needs of users - is vital to the project`s success. This book provides an introduction to various aspects of analysis. It is useful to students, practitioners and professionals who need an understanding of the principles of this process.

Автор: Franck Cassez; Claude Jard
Название: Formal Modeling and Analysis of Timed Systems
ISBN: 354085777X ISBN-13(EAN): 9783540857778
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Includes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. This book contains 17 papers that were presented together with 3 invited talks and selected from 37 submissions.

Автор: Grabowski
Название: System Analysis and Modeling. Technology-Specific Aspects of Models
ISBN: 3319466127 ISBN-13(EAN): 9783319466125
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and Modeling, SAM 2016, held in Saint-Melo, France, in October 2016.

Автор: Joel Ouaknine; Frits W. Vaandrager
Название: Formal Modeling and Analysis of Timed Systems
ISBN: 3642043674 ISBN-13(EAN): 9783642043673
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, held in Budapest, Hungary, September 2009. comparison between different models (timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models).

Автор: Stan Z. Li
Название: Markov Random Field Modeling in Image Analysis
ISBN: 1849967679 ISBN-13(EAN): 9781849967679
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This detailed book presents a comprehensive study on the use of Markov Random Fields for solving computer vision problems. Various vision models are presented, and this third edition includes the most recent advances with new and expanded sections.