Ergebnisse filtern
-
- 21
-
- 1
- 1
- 3
- 9
- 1
- 2
- 3
- 1
-
- 21
-
- 18
- 3
-
- 21
-
- 21
-
- 21
- 1
Wissenschaften
-
Schürr / Selic Model Driven Engineering Languages and Systems
12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04424-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bradley Computer Performance Engineering
6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02923-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Thomas / Juiz Computer Performance Engineering
5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-87411-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baresi / Chi / Suzuki Service-Oriented Computing
7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009, Proceedings1. Auflage. 2009Verlag: SpringerISBN: 978-3-642-10382-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Giese / Karsai / Lee Model-Based Engineering of Embedded Real-Time Systems
International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-16276-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 -
Treharne / King / Henson ZB 2005: Formal Specification and Development in Z and B
4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25559-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brim / Haverkort / Leucker 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, ReviErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-70951-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bruni / Wolf Web Services and Formal Methods
5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01363-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Saglietti / Oster Computer Safety, Reliability, and Security
26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings1. Auflage 2007Verlag: SpringerISBN: 978-3-540-75100-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Buth / Rabe / Seyfarth Computer Safety, Reliability, and Security
28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04467-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 -
Müller-Olm Variations on Constants
Flow Analysis of Sequential and Parallel Programs1. Auflage 2006Verlag: SpringerISBN: 978-3-540-45385-7Medium: 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 ReportsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02046-9Medium: 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 -
Issarny / Cooper Middleware 2009
ACM/IFIP/USENIX, 10th International Conference, Urbana, IL, USA, November 30 - December 4, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-10444-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kowalewski / Roveri Formal Methods for Industrial Critical Systems
15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15897-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
de Lemos / Fabre / Gacek Architecting Dependable Systems VI
1. Auflage 2009Verlag: SpringerISBN: 978-3-642-10247-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Micarelli / Stamper / Panourgia Intelligent Tutoring Systems
13th International Conference, ITS 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-39582-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Butler / Jones / Romanovsky Rigorous Development of Complex Fault-Tolerant Systems
1. Auflage 2006Verlag: SpringerISBN: 978-3-540-48265-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Müller / de Supinski / Chapman Evolving OpenMP in an Age of Extreme Parallelism
5th International Workshop on OpenMP, IWOMP 2009, Dresden, Germany, June 3-5, 2009 ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02284-5Medium: 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