Ergebnisse filtern
-
- 50
-
- 26
- 8
- 15
- 1
-
- 7
- 38
- 5
-
- 50
-
- 50
-
- 50
- 3
-
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
-
Vallecillo / Tolvanen / Kolovos Modelling Foundations and Applications
8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012, Proceedings2012Verlag: SpringerISBN: 978-3-642-31490-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Zavattaro / Lea Coordination Models and Languages
10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-68264-6Medium: Buch53,49 € (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
-
Murphy / Vitek Coordination Models and Languages
9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72793-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Wiklicky / Ciancarini Coordination Models and Languages
8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-34694-4Medium: Buch53,49 € (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
-
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
-
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
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
-
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
-
van Gulijk / Koornneef Computer Safety, Reliability, and Security
SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-24248-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
-
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 / Ortmeier / Ferreira 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: Springer International PublishingISBN: 978-3-030-55582-5Medium: Buch96,29 € (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 Logic2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71940-3Medium: Buch96,29 € (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
-
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
-
Brat / Venet / Rungta NASA Formal Methods
5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings2013Verlag: SpringerISBN: 978-3-642-38087-7Medium: 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
-
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
-
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
