(Ilmumisaeg: 28-Aug-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031426261)
This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully r...Loe edasi...
(Ilmumisaeg: 28-Aug-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031426261)
This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully r...Loe edasi...
(Ilmumisaeg: 17-Jul-2023, PDF+DRM, Kirjastus: Taylor & Francis Ltd, ISBN-13: 9781000919004)
The work is a context-oriented analysis and synthesis of complex engineered systems to ensure continuous and safe operations under conditions of uncertainty. The book is divided in four parts, the first one comprises an overview of the development of...Loe edasi...
(Ilmumisaeg: 17-Jul-2023, EPUB+DRM, Kirjastus: Taylor & Francis Ltd, ISBN-13: 9781000919066)
The work is a context-oriented analysis and synthesis of complex engineered systems to ensure continuous and safe operations under conditions of uncertainty. The book is divided in four parts, the first one comprises an overview of the development of...Loe edasi...
Sari: SpringerBriefs in Applied Sciences and Technology
(Ilmumisaeg: 19-Apr-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031296321)
This book provides readers with a deep understanding of the use of objective algorithms for integration of constitutive relations (CRs) for Hooke-like hypoelasticity based on the use of corotational stress rates. The purpose of objective algorithms i...Loe edasi...
Sari: SpringerBriefs in Applied Sciences and Technology
(Ilmumisaeg: 19-Apr-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031296321)
This book provides readers with a deep understanding of the use of objective algorithms for integration of constitutive relations (CRs) for Hooke-like hypoelasticity based on the use of corotational stress rates. The purpose of objective algorithms i...Loe edasi...
Sari: Routledge Studies in the Philosophy of Mathematics and Physics
(Ilmumisaeg: 13-Dec-2022, PDF+DRM, Kirjastus: Taylor & Francis Ltd, ISBN-13: 9781000782035)
This volume assembles cutting-edge scholarship on scientific understanding, scientific representation, and their delicate interplay. Featuring several articles in an engaging critical conversation format, the volume integrates discussions about und...Loe edasi...
Sari: Routledge Studies in the Philosophy of Mathematics and Physics
(Ilmumisaeg: 13-Dec-2022, EPUB+DRM, Kirjastus: Taylor & Francis Ltd, ISBN-13: 9781000782073)
This volume assembles cutting-edge scholarship on scientific understanding, scientific representation, and their delicate interplay. Featuring several articles in an engaging critical conversation format, the volume integrates discussions about und...Loe edasi...
(Ilmumisaeg: 28-Aug-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031158391)
This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022. The 12 full papers together with 2 short papers that were c...Loe edasi...
(Ilmumisaeg: 28-Aug-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031158391)
This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022. The 12 full papers together with 2 short papers that were c...Loe edasi...
This book constitutes the refereed proceedings of the 19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021, held in Paris, France, in August 2021.The 8 full papers that were carefully reviewed and selected from...Loe edasi...
This book constitutes the refereed proceedings of the 19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021, held in Paris, France, in August 2021.The 8 full papers that were carefully reviewed and selected from...Loe edasi...
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 vo...Loe edasi...
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 vo...Loe edasi...
This book provides a unique and comprehensive overview of the latest advances, challenges and accomplishments in the rapidly growing field of theoretical and computational materials science. Today, an increasing number of industrial communities rely...Loe edasi...
This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on the occasion of his 65th birthday. Scott A. Smolka made fundamental research contributions in a number of areas, including process algebra, model checki...Loe edasi...
This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on the occasion of his 65th birthday. Scott A. Smolka made fundamental research contributions in a number of areas, including process algebra, model checki...Loe edasi...
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...Loe edasi...
