4 Електронні книги від Anne E. Haxthausen
John S. Fitzgerald & Anne E. Haxthausen: Theoretical Aspects of Computing – ICTAC 2008
Research on theoretical aspects of computing has a direct impact on the pr- tice of computer systems development. Over many decades, fundamental t- ories have emerged to describe functionality, tempo …
PDF
Англійська
DRM
€57.96
Simon Collart-Dutilleul & Anne E. Haxthausen: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
This book constitutes the refereed proceedings of the 4th International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2022, held in Paris, France, in June 2022. The 16 f …
EPUB
Англійська
DRM
€70.84
Anne E. Haxthausen & Wen-ling Huang: Applicable Formal Methods for Safe Industrial Products
This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research. After studying mathema …
EPUB
Англійська
DRM
€77.28
Anne E. Haxthausen & Wendelin Serwe: Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9-13, 2024. The 14 ful …
EPUB
Англійська
DRM
€141.25