Ergebnisse filtern
-
Gallina / Skavhaug / Bitsch Computer Safety, Reliability, and Security
37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-99129-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Koornneef / van Gulijk Computer Safety, Reliability, and Security
34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-24254-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ortmeier / Rauzy Model-Based Safety and Assessment
4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-12213-7Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Romanovsky / Troubitsyna / Gashi Computer Safety, Reliability, and Security
SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, ProceedingsErscheinungsjahr 2019Verlag: SpringerISBN: 978-3-030-26249-5Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Koornneef / van Gulijk Computer Safety, Reliability, and Security
SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-24248-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gallina / Skavhaug / Schoitsch Computer Safety, Reliability, and Security
SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-99228-0Medium: Buch87,73 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Romanovsky / Troubitsyna / Bitsch Computer Safety, Reliability, and Security
38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-26600-4Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Papadopoulos / Aslansefat / Katsaros Model-Based Safety and Assessment
6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-32871-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gheyi / Naumann Formal Methods: Foundations and Applications
15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33295-1Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Casimiro / Ortmeier / Bitsch Computer Safety, Reliability, and Security
39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-54548-2Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rathgeb / Echtle / Müller-Clostermann Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance
15th International GI/ITG Conference, MMB & DFT 2010, Essen, Germany, March 15-17, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-12103-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Van Hung / Ogawa Automated Technology for Verification and Analysis
11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-02443-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Casimiro / Ortmeier / Schoitsch Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops
DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-55582-5Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Butler / Jones / Romanovsky Methods, Models and Tools for Fault Tolerance
1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00866-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Clavel / Durán / Eker All About Maude - A High-Performance Logical Framework
How to Specify, Program, and Verify Systems in Rewriting LogicErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-71940-3Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ramos / Lrios Rosillo / Unger Advanced Distributed Systems
5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-28063-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Goodloe / Person NASA Formal Methods
4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-28890-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vieira / Cunha Dependable Computing
14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38788-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brat / Rungta / Venet NASA Formal Methods
5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38087-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Núñez / Güdemann Formal Methods for Industrial Critical Systems
20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings2015Verlag: SpringerISBN: 978-3-319-19457-8Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dierkes / Pecheur Formal Methods for Industrial Critical Systems
18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-41009-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dony / Knudsen / Romanovsky Advanced Topics in Exception Handling Techniques
1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37443-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ikeda / Ashlay / Chan Intelligent Tutoring Systems
8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006 Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-35159-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort