Anne E. Haxthausen – författare
Visar alla böcker från författaren Anne E. Haxthausen. Handla med fri frakt och snabb leverans.
10 produkter
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings
Av Simon Collart-Dutilleul, Anne E. Haxthausen m. fl.
Häftad, 2022
734 kr
Lägg i varukorg
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 full papers presented in this book were carefully reviewed and selected from numerous submissions. …
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings
Av Thierry Lecomte, Anne E. Haxthausen m. fl.
E-bok, 2022
923 kr
Lägg i varukorg
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 full papers presented in this book were carefully reviewed and selected from numerous submissions. …
Applicable Formal Methods for Safe Industrial Products
Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Av Anne E. Haxthausen, Wen-ling Huang m. fl.
Häftad, 2023
846 kr
Lägg i varukorg
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 mathematics at the University of Hamburg, Jan worked with Philips and Deutsche System-Technik on …
Applicable Formal Methods for Safe Industrial Products
Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Av Markus Roggenbach, Wen-ling Huang m. fl.
E-bok, 2023
1091 kr
Lägg i varukorg
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 mathematics at the University of Hamburg, Jan worked with Philips and Deutsche System-Technik on …
Formal Methods for Industrial Critical Systems
29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings
Av Anne E. Haxthausen, Wendelin Serwe
Häftad, 2024
734 kr
Lägg i varukorg
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 full papers included in this book were carefully reviewed and selected from 22 submissions. These …
Formal Methods for Industrial Critical Systems
29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings
Av Wendelin Serwe, Anne E. Haxthausen
E-bok, 2024
923 kr
Lägg i varukorg
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 full papers included in this book were carefully reviewed and selected from 22 submissions. These …
Journeys Between Formal Methods and the Railway Industry
Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday
Av Maurice H. ter Beek, Stefania Gnesi m. fl.
Häftad, 2026
1106 kr
Lägg i varukorg
Alessandro Fantechi earned a Laurea Degree in Computer Science from the University of Pisa and a Diploma from the Scuola Normale Superiore di Pisa, both in 1978. He has lectured at the University of Florence for decades on the foundations of Computer Science and Software Engineering, where he was …
Journeys Between Formal Methods and the Railway Industry
Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday
Av Laura Semini, Anne E. Haxthausen m. fl.
E-bok, 2026
1418 kr
Lägg i varukorg
Alessandro Fantechi earned a Laurea Degree in Computer Science from the University of Pisa and a Diploma from the Scuola Normale Superiore di Pisa, both in 1978. He has lectured at the University of Florence for decades on the foundations of Computer Science and Software Engineering, where he was …
Theoretical Aspects of Computing - ICTAC 2008
5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings
Av John S. Fitzgerald, Anne E. Haxthausen m. fl.
Häftad, 2008
566 kr
Lägg i varukorg
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, temporal behavior and resource consumption. Theories of application domains are beginning to be exploited …
Theoretical Aspects of Computing - ICTAC 2008
5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings
Av Husnu Yenigun, Anne E. Haxthausen m. fl.
E-bok, 2008
755 kr
Lägg i varukorg
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, temporal behavior and resource consumption. Theories of application domains are beginning to be exploited …
