Formal Modeling and Analysis of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings, Dima Catalin, Shirmohammadi Mahsa

Название: Videohound`s Golden Movie Retriever 2021: The Complete Guide to Movies on Vhs, DVD, and Hi-Def Formats
ISBN: 002867698X ISBN-13(EAN): 9780028676982
Издательство: Cengage Learning
Цена: 5702.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A popular trend of the digital era, gender-reveal parties have captured the cultural imagination and fostered divisive discourse. This book explores several related aspects including technologies of reproduction and media; community and competition; visibility and signifying the unborn; consumerist imperatives; and those uninvited from this trend.

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

Автор: Axel Legay; Marius Bozga
Название: Formal Modeling and Analysis of Timed Systems
ISBN: 3319105116 ISBN-13(EAN): 9783319105116
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 12th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2014, held in Florence, Italy, in September 2014.The 17 revised full papers presented were carefully reviewed and selected from 36 submissions.

Автор: Alessandro Abate; Gilles Geeraerts
Название: Formal Modeling and Analysis of Timed Systems
ISBN: 331965764X ISBN-13(EAN): 9783319657646
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Hybrid systems.- Probabilistic models.- Quantitative logics and monitoring.- Reachability Analysis.- Testing and simulation.

Автор: Jean-Francois Raskin; P.S. Thiagarajan
Название: Formal Modeling and Analysis of Timed Systems
ISBN: 3540754539 ISBN-13(EAN): 9783540754534
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007, held in Salzburg, Austria, in October 2007. This book covers work on foundations and semantics of timed systems including timed automata, timed Petri nets, hybrid automata, timed process algebra and max-plus algebra.

Автор: Bertrand Nathalie, Jansen Nils
Название: Formal Modeling and Analysis of Timed Systems: 18th International Conference, Formats 2020, Vienna, Austria, September 1-3, 2020, Proceedings
ISBN: 3030576272 ISBN-13(EAN): 9783030576271
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020. The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions.

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

Автор: Lluch Lafuente Alberto, Mavridou Anastasia
Название: Formal Methods for Industrial Critical Systems: 26th International Conference, Fmics 2021, Paris, France, August 24-26, 2021, Proceedings
ISBN: 3030852474 ISBN-13(EAN): 9783030852474
Издательство: Springer
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021.

Автор: V?ctor Braberman; Laurent Fribourg
Название: Formal Modeling and Analysis of Timed Systems
ISBN: 3642402283 ISBN-13(EAN): 9783642402289
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013, held in Buenos Aires, Argentina, in August 2013.

Автор: Fr?nzle
Название: Formal Modeling and Analysis of Timed Systems
ISBN: 3319448773 ISBN-13(EAN): 9783319448770
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016. They are organized in topical sections entitled: modeling timed phenomena;

Автор: ?tienne Andr?; Mari?lle Stoelinga
Название: Formal Modeling and Analysis of Timed Systems
ISBN: 303029661X ISBN-13(EAN): 9783030296612
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019. The 15 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions.

Автор: Sriram Sankaranarayanan; Enrico Vicario
Название: Formal Modeling and Analysis of Timed Systems
ISBN: 3319229745 ISBN-13(EAN): 9783319229744
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Custom and ritual, or their Hebrew equivalent minhag, has intrigued rabbis and scholars for generations. Here, Simcha Fishbane treats minhag from a socio-anthropological perspective. She discusses the theory and model of minhagim, using the Mishnah Berurah and the Arukh Hashulkhan, analyses rabbinic texts concerned with custom, and describes current rituals from a socio-anthropological viewpoint.