Hoppa till sidans huvudinnehåll

Mariëlle Stoelinga – författare

Visar alla böcker från författaren .
12 produkter
Étienne André, Mariëlle Stoelinga - Formal Modeling and Analysis of Timed Systems, Häftad
Del 11750 - Lecture Notes in Computer Science

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

729 kr

Skickas inom 10-15 vardagar

Esther Guerra, Mariëlle Stoelinga - Fundamental Approaches to Software Engineering, Häftad
Del 12649 - Lecture Notes in Computer Science

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

AvEsther Guerra,Mariëlle Stoelinga

Häftad, Engelska, 2021

589 kr

Skickas inom 10-15 vardagar

Nils Jansen, Mariëlle Stoelinga, Petra van den Bos - Journey from Process Algebra via Timed Automata to Model Learning, Häftad
Del 13560 - Lecture Notes in Computer Science

Journey from Process Algebra via Timed Automata to Model Learning

Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

AvNils Jansen,Mariëlle Stoelingam. fl.

Häftad, Engelska, 2022

729 kr

Skickas inom 10-15 vardagar

Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk - Principles of Verification: Cycling the Probabilistic Landscape, Häftad
Del 15261 - Lecture Notes in Computer Science

Principles of Verification: Cycling the Probabilistic Landscape

Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

AvNils Jansen,Sebastian Jungesm. fl.

Häftad, Engelska, 2024

1 089 kr

Skickas inom 10-15 vardagar

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

Principles of Verification: Cycling the Probabilistic Landscape

Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

AvNils Jansen,Sebastian Jungesm. fl.

Häftad, Engelska, 2024

1 019 kr

Skickas inom 10-15 vardagar

Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk - Principles of Verification: Cycling the Probabilistic Landscape, Häftad
Del 15260 - Lecture Notes in Computer Science

Principles of Verification: Cycling the Probabilistic Landscape

Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

AvNils Jansen,Sebastian Jungesm. fl.

Häftad, Engelska, 2024

1 159 kr

Skickas inom 10-15 vardagar

Mariëlle Stoelinga, Enno Ruijters, Pavel Krčál - Concise Guide to Fault Tree Analysis, Inbunden

Concise Guide to Fault Tree Analysis

Models, Methods and Algorithms

AvMariëlle Stoelinga,Enno Ruijtersm. fl.

Inbunden, Engelska, 2026

919 kr

Skickas inom 10-15 vardagar

Augusto Sampaio, Marielle Stoelinga - Formal Methods, Häftad

Formal Methods

27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part I

AvAugusto Sampaio,Marielle Stoelinga

Häftad, Engelska, 2026

589 kr

Skickas inom 10-15 vardagar

  • Nyhet
Augusto Sampaio, Marielle Stoelinga - Formal Methods, Häftad

Formal Methods

27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part II

AvAugusto Sampaio,Marielle Stoelinga

Häftad, Engelska, 2026

1 409 kr

Skickas inom 11-20 vardagar

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

Formal Methods for Industrial Critical Systems

17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings

AvMariëlle Stoelinga,Ralf Pinger

Häftad, Engelska, 2012

649 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

10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings

AvKaustubh Joshi,Markus Sieglem. fl.

Häftad, Engelska, 2013

709 kr

Skickas inom 10-15 vardagar

Anne Remke, Mariëlle Stoelinga - Stochastic Model Checking, Häftad

Stochastic Model Checking

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

AvAnne Remke,Mariëlle Stoelinga

Häftad, Engelska, 2014

699 kr

Skickas inom 10-15 vardagar