Ergebnisse filtern
-
- 13
-
- 1
- 1
- 5
- 3
- 1
- 2
-
- 8
- 5
-
- 13
-
- 13
-
- 13
-
- 13
Kybernetik, Systemtheorie, Komplexe Systeme
-
Chaudron / Reussner / Szyperski Component-Based Software Engineering
11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-87890-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Juiz / Thomas Computer Performance Engineering
5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-87411-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rausch / Plasil / Reussner The Common Component Modeling Example
Comparing Software Component Models2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-85288-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Al-Begain / Horváth / Fiems Analytical and Stochastic Modeling Techniques and Applications
16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-02204-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Al-Begain / Fiems / Knottenbelt Analytical and Stochastic Modeling Techniques and Applications
17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13567-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Buth / Seyfarth / Rabe Computer Safety, Reliability, and Security
28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings2009Verlag: SpringerISBN: 978-3-642-04467-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wolf / Bruni Web Services and Formal Methods
5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings2009Verlag: SpringerISBN: 978-3-642-01363-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brim / Pol / Haverkort Formal Methods: Applications and Technology
11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, R2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-70951-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gilroy / Harrison Interactive Systems. Design Specification, and Verification
12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34145-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Eugster Object-Oriented Technology. ECOOP 2008 Workshop Reader
ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports2009Verlag: SpringerISBN: 978-3-642-02046-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Müller / Chapman / de Supinski Evolving OpenMP in an Age of Extreme Parallelism
5th International Workshop on OpenMP, IWOMP 2009, Dresden, Germany, June 3-5, 2009 Proceedings2009Verlag: SpringerISBN: 978-3-642-02284-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Butler / Troubitsyna / Jones Rigorous Development of Complex Fault-Tolerant Systems
2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-48265-9Medium: Buch53,49 € (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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort