Mariëlle Stoelinga - Böcker
Formal Modeling and Analysis of Timed Systems
Av Étienne André, Mariëlle Stoelinga, Etienne Andre, Marielle Stoelinga
Häftad, Engelska, 2019
739 kr
Häftad, Engelska, 2021
599 kr
Journey from Process Algebra via Timed Automata to Model Learning
Av Nils Jansen, Mariëlle Stoelinga, Petra van den Bos, Marielle Stoelinga, Petra van den Bos
Häftad, Engelska, 2022
739 kr
Principles of Verification: Cycling the Probabilistic Landscape
Av Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, Marielle Stoelinga
Häftad, Engelska, 2024
1 129 kr
Principles of Verification: Cycling the Probabilistic Landscape
Av Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, Marielle Stoelinga
Häftad, Engelska, 2024
1 189 kr
Principles of Verification: Cycling the Probabilistic Landscape
Av Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, Marielle Stoelinga
Häftad, Engelska, 2024
1 259 kr
Concise Guide to Fault Tree Analysis
Av Mariëlle Stoelinga, Enno Ruijters, Pavel Krčál, Marielle Stoelinga, Pavel Krcal
Inbunden, Engelska, 2025
949 kr
Häftad, Engelska, 2012
659 kr
Quantitative Evaluation of Systems
Av Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio
Häftad, Engelska, 2013
719 kr
Häftad, Engelska, 2014
689 kr