Formal Methods for Computational Systems Biology, Marco Bernardo; Pierpaolo Degano; Gianluigi Zavatt

Автор: Monika Heiner; Adelinde M. Uhrmacher
Название: Computational Methods in Systems Biology
ISBN: 3540885617 ISBN-13(EAN): 9783540885610
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 6th International Conference on Computational Methods in Systems Biology, CMSB 2008, held in Rostock, Germany, in September 2008. This book focuses on modeling approaches, including process algebra, simulation approaches, analysis methods, in particular model checking and flux analysis, and case studies.

Автор: Cliff Jones; Zhiming Liu; Jim Woodcock
Название: Formal Methods and Hybrid Real-Time Systems
ISBN: 354075220X ISBN-13(EAN): 9783540752202
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Includes 25 refereed papers that cover a broad spectrum of subjects, from foundational and theoretical topics to algorithms and systems issues and to applications, comprising formal methods, systems modelling, hybrid and real-time systems, specification and verification, as well as interval temporal logic.

Автор: ter Beek
Название: Critical Systems: Formal Methods and Automated Verification
ISBN: 3319459422 ISBN-13(EAN): 9783319459424
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Автор: Mar?a Alpuente; Byron Cook; Christophe Joubert
Название: Formal Methods for Industrial Critical Systems
ISBN: 3642045693 ISBN-13(EAN): 9783642045691
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry.

Автор: Darren Cofer; Alessandro Fantechi
Название: Formal Methods for Industrial Critical Systems
ISBN: 3642032397 ISBN-13(EAN): 9783642032394
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 13th International Workshop FMICS 2008 LAquila Italy September 1516 2008 Revised Selected Papers. .

Автор: Bernardo
Название: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
ISBN: 3319340956 ISBN-13(EAN): 9783319340951
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016.

Автор: Laure Petrucci; Cristina Seceleanu; Ana Cavalcanti
Название: Critical Systems: Formal Methods and Automated Verification
ISBN: 331967112X ISBN-13(EAN): 9783319671123
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Automated verification techniques.- Testing and scheduling.- Formal Methods for mobile and autonomous robots.- Modeling and analysis techniques.

Автор: Nils Bulling; Leendert van der Torre; Serena Villa
Название: Computational Logic in Multi-Agent Systems
ISBN: 3319097636 ISBN-13(EAN): 9783319097633
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XV, held in Prague, Czech Republic, in August 2014. The 12 regular papers were carefully reviewed and selected from 20 submissions.

Автор: Bartocci
Название: Computational Methods in Systems Biology
ISBN: 3319451766 ISBN-13(EAN): 9783319451763
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 14th International Conference on Computational Methods in Systems Biology, CMSB 2016, held in Cambridge, UK, in September 2016. The topics include formalisms for modeling biological processes; frameworks for model verification, validation, analysis, and simulation of biological systems;