Mariëlle Stoelinga - Böcker

Visar alla böcker från författaren Mariëlle Stoelinga.
10 produkter
Étienne André, Mariëlle Stoelinga, Etienne Andre, Marielle Stoelinga - Formal Modeling and Analysis of Timed Systems, Häftad

Formal Modeling and Analysis of Timed Systems

Av Étienne André, Mariëlle Stoelinga, Etienne Andre, Marielle Stoelinga

Häftad, Engelska, 2019

739 kr

Skickas inom 10-15 vardagar
Esther Guerra, Mariëlle Stoelinga, Marielle Stoelinga - Fundamental Approaches to Software Engineering, Häftad

Fundamental Approaches to Software Engineering

Av Esther Guerra, Mariëlle Stoelinga, Marielle Stoelinga

Häftad, Engelska, 2021

589 kr

Skickas inom 10-15 vardagar
Nils Jansen, Mariëlle Stoelinga, Petra van den Bos, Marielle Stoelinga, Petra van den Bos - Journey from Process Algebra via Timed Automata to Model Learning, Häftad

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

Skickas inom 10-15 vardagar
Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, Marielle Stoelinga - Principles of Verification: Cycling the Probabilistic Landscape, Häftad

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

Skickas inom 10-15 vardagar
Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, Marielle Stoelinga - Principles of Verification: Cycling the Probabilistic Landscape, Häftad

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

Skickas inom 10-15 vardagar
Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk, Marielle Stoelinga - Principles of Verification: Cycling the Probabilistic Landscape, Häftad

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

Skickas inom 10-15 vardagar
  • Nyhet
Mariëlle Stoelinga, Enno Ruijters, Pavel Krčál, Marielle Stoelinga, Pavel Krcal - Concise Guide to Fault Tree Analysis, Inbunden

Concise Guide to Fault Tree Analysis

Av Mariëlle Stoelinga, Enno Ruijters, Pavel Krčál, Marielle Stoelinga, Pavel Krcal

Inbunden, Engelska, 2026

919 kr

Kommande
Mariëlle Stoelinga, Ralf Pinger - Formal Methods for Industrial Critical Systems, Häftad

Formal Methods for Industrial Critical Systems

Av Mariëlle Stoelinga, Ralf Pinger

Häftad, Engelska, 2012

659 kr

Skickas inom 10-15 vardagar
Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio - Quantitative Evaluation of Systems, Häftad

Quantitative Evaluation of Systems

Av Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio

Häftad, Engelska, 2013

709 kr

Skickas inom 10-15 vardagar
Anne Remke, Mariëlle Stoelinga, Marielle Stoelinga - Stochastic Model Checking, Häftad

Stochastic Model Checking

Av Anne Remke, Mariëlle Stoelinga, Marielle Stoelinga

Häftad, Engelska, 2014

689 kr

Skickas inom 10-15 vardagar