Ergebnisse filtern
-
- 29
-
- 18
- 8
- 3
-
- 25
- 4
-
- 29
-
- 29
-
- 29
- 1
Mathematik
-
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 -
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 -
Banda / Pontelli Logic Programming
24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-89981-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abran / Braungarten / Brunekreef Software Process and Product Measurement
International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings2009Verlag: SpringerISBN: 978-3-642-05414-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Whittle / Clark / Kühne Model Driven Engineering Languages and Systems
14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24484-1Medium: 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 -
Bradley Computer Performance Engineering
6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings2009Verlag: SpringerISBN: 978-3-642-02923-3Medium: 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 -
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 -
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 -
Al-Begain / Vincent / Fiems Analytical and Stochastic Modeling Techniques and Applications
19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings2012Verlag: SpringerISBN: 978-3-642-30781-2Medium: 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 -
De Turck / Dudin Analytical and Stochastic Modeling Techniques and Applications
20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-39407-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wehrheim / Ahrendt Tests and Proofs
14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-50994-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dubois Tests and Proofs
Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings2009Verlag: SpringerISBN: 978-3-642-02948-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nikoletseas Experimental and Efficient Algorithms
4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-25920-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Treharne / Schneider / King ZB 2005: Formal Specification and Development in Z and B
4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-25559-8Medium: Buch106,99 € (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 -
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 -
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 -
Bernardo / Cimatti Formal Methods for Hardware Verification
6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34304-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Müller-Olm Variations on Constants
Flow Analysis of Sequential and Parallel Programs2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-45385-7Medium: Buch53,49 € (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 -
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 -
Lemos / Romanovsky / Gacek Architecting Dependable Systems III
2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-28968-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