Ergebnisse filtern
-
- 45
-
- 20
- 10
- 14
- 1
-
- 6
- 33
- 6
-
- 45
-
- 45
-
- 45
- 3
-
Van Gorp / Rose / Ritter Modelling Foundations and Applications
9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-39012-8Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Julien / De Nicola Coordination Models and Languages
15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-38492-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fantechi / Romanovsky / Lecomte Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-68498-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Naumann / Gheyi Formal Methods: Foundations and Applications
15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings2012Verlag: SpringerISBN: 978-3-642-33295-1Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
van Gulijk / Koornneef Computer Safety, Reliability, and Security
34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-24254-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bondavalli / Ortmeier / Ceccarelli Computer Safety, Reliability, and Security
SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-10556-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lecomte / Romanovsky / Pinger Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-33950-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gallina / Bitsch / Skavhaug Computer Safety, Reliability, and Security
37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings1. Auflage 2018Verlag: Springer Nature SwitzerlandISBN: 978-3-319-99129-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rauzy / Ortmeier Model-Based Safety and Assessment
4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-12213-7Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Papadopoulos / Bozzano / Aslansefat Model-Based Safety and Assessment
6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-32871-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Skavhaug / Bitsch / Guiochet Computer Safety, Reliability, and Security
35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-45476-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Casimiro / Ferreira / Ortmeier Computer Safety, Reliability, and Security
39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-54548-2Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Romanovsky / Troubitsyna / Bitsch Computer Safety, Reliability, and Security
SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-26249-5Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bondavalli / Kopetz / Bouchenak Cyber-Physical Systems of Systems
Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-47589-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ramos / Unger / Lrios Rosillo Advanced Distributed Systems
5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-28063-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Flammini / Lang Formal Methods for Industrial Critical Systems
19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-10701-1Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Duval / Klamma / Wolpers Creating New Learning Experiences on a Global Scale
Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75194-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Salaün / Schätz Formal Methods for Industrial Critical Systems
16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24430-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dony / Tripathi / Knudsen Advanced Topics in Exception Handling Techniques
2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-37443-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pecheur / Dierkes Formal Methods for Industrial Critical Systems
18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-41009-3Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort