Mariëlle Stoelinga – författare

Visar alla böcker från författaren Mariëlle Stoelinga.

12 produkter

Kategorier

12 produkter

Del 11750
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
739 kr
Skickas inom 10-15 vardagar
Del 12649
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
Del 13560
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
739 kr
Skickas inom 10-15 vardagar
Del 15261
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 099 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
AvNils Jansen,Sebastian Jungesm. fl.
Häftad, Engelska, 2024
1 029 kr
Skickas inom 10-15 vardagar
Del 15260
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 169 kr
Skickas inom 10-15 vardagar
Concise Guide to Fault Tree Analysis
Models, Methods and Algorithms
AvMariëlle Stoelinga,Enno Ruijtersm. fl.
Inbunden, Engelska, 2026
929 kr
Skickas inom 10-15 vardagar
Del 16556
Del 16556 - Lecture Notes in Computer Science
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
Del 16557
Del 16557 - Lecture Notes in Computer Science
Formal Methods
27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part II
AvAugusto Sampaio,Marielle Stoelinga
Häftad, Engelska, 2026
589 kr
Skickas inom 10-15 vardagar
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
659 kr
Skickas inom 10-15 vardagar
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
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
709 kr
Skickas inom 10-15 vardagar