Ergebnisse filtern
-
- 26
-
- 11
- 3
- 11
- 1
-
- 3
- 19
- 4
-
- 26
-
- 26
-
- 26
Technik Allgemein
-
Larsen / Wang / Sokolsky 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-69482-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Maabout / Cuzzocrea Model and Data Engineering
Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013 Proceedings2013Verlag: SpringerISBN: 978-3-642-41365-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Briand / Williams Model Driven Engineering Languages and Systems
8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29010-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Moreira / Schätz / Clarke Model-Driven Engineering Languages and Systems
16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings2013Verlag: SpringerISBN: 978-3-642-41532-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage
-
Engels / Weil / Opdyke Model Driven Engineering Languages and Systems
10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-75208-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kotásek / Bouda / Antoš Mathematical and Engineering Methods in Computer Science
7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers2012Verlag: SpringerISBN: 978-3-642-25928-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gotzhein / Khendek System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering
10th International Conference, SAM 2018, Copenhagen, Denmark, October 15-16, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-030-01041-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Marquardt / Nagl Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support
Results of the IMPROVE Project2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-70551-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Haugen / Gotzhein / Reed System Analysis and Modeling: Theory and Practice
7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers2013Verlag: SpringerISBN: 978-3-642-36756-4Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Amyot / Mussbacher / Fonseca i Casas System Analysis and Modeling: Models and Reusability
8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-11742-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Krieger / Fischbach Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance
17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-05358-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Paliouras / Verkest / Vounckx Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-29013-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Schmitt Measurement, Modeling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-28539-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
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
-
Romanovsky / Bitsch / Troubitsyna Computer Safety, Reliability, and Security
38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-26600-4Medium: Buch62,05 € (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: Springer International PublishingISBN: 978-3-319-99228-0Medium: Buch87,73 € (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
-
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
-
Collart-Dutilleul / Romanovsky / Lecomte Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-18743-9Medium: Buch62,05 € (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
-
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
-
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
-
Güdemann / Núñez Formal Methods for Industrial Critical Systems
20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings2015Verlag: Springer International PublishingISBN: 978-3-319-19457-8Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Person / Goodloe NASA Formal Methods
4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings2012Verlag: SpringerISBN: 978-3-642-28890-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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
