Hoppa till sidans huvudinnehåll

Mariëlle Stoelinga - Böcker

Visar alla böcker från författaren Mariëlle Stoelinga.
10 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 m. fl

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

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 m. fl

Häftad, Engelska, 2021

579 kr

Skickas inom 10-15 vardagar

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, Engelska, 2022

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2024

1 079 kr

Skickas inom 10-15 vardagar

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, Engelska, 2024

1 149 kr

Skickas inom 10-15 vardagar

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, Engelska, 2024

1 209 kr

Skickas inom 10-15 vardagar
  • Nyhet

Concise Guide to Fault Tree Analysis

Models, Methods and Algorithms

Av Mariëlle Stoelinga, Enno Ruijters m. fl

Inbunden, Engelska, 2026

909 kr

Skickas inom 10-15 vardagar

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, Engelska, 2012

649 kr

Skickas inom 10-15 vardagar

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, Engelska, 2013

709 kr

Skickas inom 10-15 vardagar

Stochastic Model Checking

International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

Av Anne Remke, Mariëlle Stoelinga m. fl

Häftad, Engelska, 2014

679 kr

Skickas inom 10-15 vardagar