Ergebnisse filtern
-
- 7
- 4
-
- 2
- 1
- 2
- 2
- 2
- 1
- 1
-
- 1
- 7
- 3
-
- 2
- 9
-
- 11
-
- 11
-
- 11
-
Larsen / Willemse Formal Methods for Industrial Critical Systems
24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-27008-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Larsen / Willemse Formal Methods for Industrial Critical Systems
24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-27007-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Groote / Larsen Tools and Algorithms for the Construction and Analysis of Systems
27th International Conference, TACAS 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, Part I1. Auflage 2021Verlag: SpringerISBN: 978-3-030-72015-5Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Groote / Larsen Tools and Algorithms for the Construction and Analysis of Systems
27th International Conference, TACAS 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, Part II1. Auflage 2021Verlag: SpringerISBN: 978-3-030-72012-4Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Larsen / Sokolsky / Wang Dependable Software Engineering. Theories, Tools, and Applications
Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-69483-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
D'Souza / Lal / Larsen Verification, Model Checking, and Abstract Interpretation
16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-662-46080-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Larsen / Sokolsky / Wang Dependable Software Engineering. Theories, Tools, and Applications
Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-69482-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
D'Souza / Lal / Larsen Verification, Model Checking, and Abstract Interpretation
16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-662-46081-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Larsen / Potapov / Srba Reachability Problems
10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-45994-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Larsen / Potapov / Srba Reachability Problems
10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-45993-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Anvari-Moghaddam / Mohammadi-ivatloo / Asadi Sustainable Energy Systems Planning, Integration and Management
Erscheinungsjahr 2020Verlag: MDPI AGISBN: 978-3-03928-046-9Medium: Buch91,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
