Mariëlle Stoelinga – författare
Visar alla böcker från författaren Mariëlle Stoelinga.
12 produkter
Formal Modeling and Analysis of Timed Systems
17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Av Étienne André, Mariëlle Stoelinga
Häftad, 2019
739 kr
Lägg i varukorg
Fundamental Approaches to Software Engineering
24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
Av Esther Guerra, Mariëlle Stoelinga
Häftad, 2021
589 kr
Lägg i varukorg
Journey from Process Algebra via Timed Automata to Model Learning
Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
Av Nils Jansen, Mariëlle Stoelinga m. fl.
Häftad, 2022
739 kr
Lägg i varukorg
Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Av Nils Jansen, Sebastian Junges m. fl.
Häftad, 2024
1099 kr
Lägg i varukorg
Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Av Nils Jansen, Sebastian Junges m. fl.
Häftad, 2024
1029 kr
Lägg i varukorg
Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Av Nils Jansen, Sebastian Junges m. fl.
Häftad, 2024
1169 kr
Lägg i varukorg
Concise Guide to Fault Tree Analysis
Models, Methods and Algorithms
Av Mariëlle Stoelinga, Enno Ruijters m. fl.
Inbunden, 2026
929 kr
Lägg i varukorg
Formal Methods
27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part I
Av Augusto Sampaio, Marielle Stoelinga
Häftad, 2026
589 kr
Lägg i varukorg
Formal Methods
27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part II
Av Augusto Sampaio, Marielle Stoelinga
Häftad, 2026
589 kr
Lägg i varukorg
Formal Methods for Industrial Critical Systems
17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings
Av Mariëlle Stoelinga, Ralf Pinger
Häftad, 2012
659 kr
Lägg i varukorg
Quantitative Evaluation of Systems
10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
Av Kaustubh Joshi, Markus Siegle m. fl.
Häftad, 2013
719 kr
Lägg i varukorg
Stochastic Model Checking
International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Av Anne Remke, Mariëlle Stoelinga
Häftad, 2014
709 kr
Lägg i varukorg