18 results
Type of media (2)
Classification (3)
Year
Persons
Publishers
Sort by
Results per page
Filter
18 results

Your search for Mariëlle Stoelinga

  1. Cover: Concise Guide to Fault Tree Analysis - Birkhäuser
    Mariëlle Stoelinga | Enno Ruijters | Pavel Krcál
    Concise Guide to Fault Tree Analysis
    Models, Methods and Algorithms
    01/2026
    Birkhäuser
    9783031782879 (ISBN)
    E-Book
    PDF
    Other editions
    €69.54
    Available for download
  2. Cover: Principles of Verification: Cycling the Probabilistic Landscape - Springer
    Nils Jansen | Sebastian Junges | Benjamin Lucien Kaminski
    Principles of Verification: Cycling the Probabilistic Landscape
    Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
    11/2024
    Springer
    9783031757785 (ISBN)
    E-Book
    PDF
    Other editions
    €74.89
    Available for download
  3. Cover: Principles of Verification: Cycling the Probabilistic Landscape - Springer
    Nils Jansen | Sebastian Junges | Benjamin Lucien Kaminski
    Principles of Verification: Cycling the Probabilistic Landscape
    Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
    11/2024
    Springer
    9783031757754 (ISBN)
    E-Book
    PDF
    Other editions
    €80.24
    Available for download
  4. Cover: Principles of Verification: Cycling the Probabilistic Landscape - Springer
    Nils Jansen | Sebastian Junges | Benjamin Lucien Kaminski
    Principles of Verification: Cycling the Probabilistic Landscape
    Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
    11/2024
    Springer
    9783031757839 (ISBN)
    E-Book
    PDF
    Other editions
    €85.59
    Available for download
  5. Cover: Formal Modeling and Analysis of Timed Systems - Springer
    Étienne André | Mariëlle Stoelinga
    Formal Modeling and Analysis of Timed Systems
    17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings
    08/2019
    Springer
    9783030296629 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  6. Cover: Stochastic Model Checking - Springer
    Anne Remke | Mariëlle Stoelinga
    Stochastic Model Checking
    International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
    11/2014
    Springer
    9783662454893 (ISBN)
    E-Book
    PDF
    Other editions
    €50.28
    Available for download
  7. Cover: Formal Methods for Industrial Critical Systems - Springer
    Mariëlle Stoelinga | Ralf Pinger
    Formal Methods for Industrial Critical Systems
    17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings
    08/2012
    Springer
    9783642324697 (ISBN)
    E-Book
    PDF
    Other editions
    €48.14
    Available for download
  8. Cover: Quantitative Evaluation of Systems - Springer
    Kaustubh Joshi | Markus Siegle | Mariëlle Stoelinga
    Quantitative Evaluation of Systems
    10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
    07/2013
    Springer
    9783642401961 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  9. Cover: Stochastic Model Checking - Springer
    Anne Remke | Mariëlle Stoelinga
    Stochastic Model Checking
    International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
    10/2014
    Springer
    9783662454886 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €51.36
    Shipment within 7-9 days
  10. Cover: Fundamental Approaches to Software Engineering - Springer
    Esther Guerra | Mariëlle Stoelinga
    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
    03/2021
    Springer
    9783030714994 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 7-9 days
  11. Cover: Formal Modeling and Analysis of Timed Systems - Springer
    Étienne André | Mariëlle Stoelinga
    Formal Modeling and Analysis of Timed Systems
    17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings
    08/2019
    Springer
    9783030296612 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  12. Cover: Quantitative Evaluation of Systems - Springer
    Kaustubh Joshi | Markus Siegle | Mariëlle Stoelinga
    Quantitative Evaluation of Systems
    10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
    08/2013
    Springer
    9783642401954 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  13. Cover: Formal Methods for Industrial Critical Systems - Springer
    Mariëlle Stoelinga | Ralf Pinger
    Formal Methods for Industrial Critical Systems
    17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings
    07/2012
    Springer
    9783642324680 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €49.22
    Shipment within 7-9 days
  14. Cover: Concise Guide to Fault Tree Analysis - Birkhäuser
    Mariëlle Stoelinga | Enno Ruijters | Pavel Krcál
    Concise Guide to Fault Tree Analysis
    Models, Methods and Algorithms
    01/2026
    Birkhäuser
    9783031782862 (ISBN)
    Book
    Hardback
    Other editions
    €69.54
    Shipment within 15-20 days
  15. Cover: Principles of Verification: Cycling the Probabilistic Landscape - Springer
    Nils Jansen | Sebastian Junges | Benjamin Lucien Kaminski
    Principles of Verification: Cycling the Probabilistic Landscape
    Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
    11/2024
    Springer
    9783031757822 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €85.59
    Shipment within 15-20 days
  16. Cover: Principles of Verification: Cycling the Probabilistic Landscape - Springer
    Nils Jansen | Sebastian Junges | Benjamin Lucien Kaminski
    Principles of Verification: Cycling the Probabilistic Landscape
    Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
    11/2024
    Springer
    9783031757747 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €80.24
    Shipment within 15-20 days
  17. Cover: Principles of Verification: Cycling the Probabilistic Landscape - Springer
    Nils Jansen | Sebastian Junges | Benjamin Lucien Kaminski
    Principles of Verification: Cycling the Probabilistic Landscape
    Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
    11/2024
    Springer
    9783031757778 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €74.89
    Shipment within 15-20 days
  18. Cover: A Journey from Process Algebra via Timed Automata to Model Learning - Springer
    Nils Jansen | Mariëlle Stoelinga | Petra van den Bos
    A Journey from Process Algebra via Timed Automata to Model Learning
    Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
    09/2022
    Springer
    9783031156281 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 15-20 days