Ergebnisse filtern
-
- 9
- 8
-
- 1
- 6
- 1
- 1
- 2
- 2
- 2
- 2
-
- 12
- 5
-
- 3
- 14
-
- 17
-
- 17
-
- 1
-
- 17
-
Stoelinga / Pinger Formal Methods for Industrial Critical Systems
17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, ProceedingsErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-32469-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar
-
Guerra / 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, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-71499-4Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
André / Stoelinga Formal Modeling and Analysis of Timed Systems
17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-29661-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Remke / Stoelinga Stochastic Model Checking
International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures2014Verlag: SpringerISBN: 978-3-662-45489-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark50,28 € (inkl. MwSt.)
sofort verfügbar
-
André / Stoelinga Formal Modeling and Analysis of Timed Systems
17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, ProceedingsErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-29662-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Remke / Stoelinga Stochastic Model Checking
International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced LecturesErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-45488-6Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Stoelinga / Pinger Formal Methods for Industrial Critical Systems
17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-32468-0Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Stoelinga / Ruijters / Krcál Concise Guide to Fault Tree Analysis
Models, Methods and AlgorithmsErscheinungsjahr 2026Verlag: Springer International PublishingISBN: 978-3-031-78287-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark69,54 € (inkl. MwSt.)
sofort verfügbar
-
Jansen / Stoelinga / 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 Birthday1. Auflage 2022Verlag: SpringerISBN: 978-3-031-15628-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Joshi / Siegle / Stoelinga Quantitative Evaluation of Systems
10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40196-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Joshi / Siegle / Stoelinga Quantitative Evaluation of Systems
10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40195-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIErscheinungsjahr 2024Verlag: Springer International PublishingISBN: 978-3-031-75775-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark69,54 € (inkl. MwSt.)
sofort verfügbar
-
Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IErscheinungsjahr 2024Verlag: SpringerISBN: 978-3-031-75782-2Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIIErscheinungsjahr 2024Verlag: SpringerISBN: 978-3-031-75777-8Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIIErscheinungsjahr 2024Verlag: Springer International PublishingISBN: 978-3-031-75778-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark74,89 € (inkl. MwSt.)
sofort verfügbar
-
Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIErscheinungsjahr 2024Verlag: SpringerISBN: 978-3-031-75774-7Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IErscheinungsjahr 2024Verlag: Springer International PublishingISBN: 978-3-031-75783-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark78,10 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
