Ergebnisse filtern
-
- 14
-
- 7
- 4
- 3
-
- 13
- 1
-
- 14
-
- 14
-
- 14
- 2
Mathematik
-
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
-
Raschke / Schewe / Riccobene Logic, Computation and Rigorous Methods
Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-76019-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kucera / Henzinger / Antos Mathematical and Engineering Methods in Computer Science
8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers2013Verlag: SpringerISBN: 978-3-642-36044-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Baresi / Suzuki / Chi 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
-
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
-
Sericola / Horváth / Miklós Analytical and Stochastic Modelling Techniques and Applications
21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings2014Verlag: Springer International PublishingISBN: 978-3-319-08218-9Medium: Buch51,36 € (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
-
Yi / Pettersson Formal Modeling and Analysis of Timed Systems
Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-30946-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Lemos / Romanovsky / Gacek Architecting Dependable Systems III
2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-28968-5Medium: 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
-
Cooper / Issarny Middleware 2009
ACM/IFIP/USENIX, 10th International Conference, Urbana, IL, USA, November 30 - December 4, 2009, Proceedings2009Verlag: 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
-
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
