Suche

Verification, Model Checking, and Abstract Interpretation

10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Verification, Model Checking, and Abstract Interpretation

10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Veröffentlicht 2008
von Neil Jones, Markus Müller-Olm bei Springer Berlin
ISBN: 978-3-540-93899-6

Taschenbuch 54,99€

Besorgungstitel
Lieferzeit 1-2 Wochen

Static Analysis

21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Static Analysis

21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Veröffentlicht 2014
von Markus Müller-Olm, Helmut Seidl bei Springer International Publishing
ISBN: 978-3-319-10935-0

Taschenbuch 54,99€

Herstellung bei Anforderung

High Performance Computing in Science and Engineering, Garching/Munich 2009

Transactions of the Fourth Joint HLRB and KONWIHR Review and Results Workshop, Dec. 8-9, 2009, Leibniz Supercomputing Centre, Garching/Munich, Germany

High Performance Computing in Science and Engineering, Garching/Munich 2009

Transactions of the Fourth Joint HLRB and KONWIHR Review and Results Workshop, Dec. 8-9, 2009, Leibniz Supercomputing Centre, Garching/Munich, Germany

Veröffentlicht 2016
von Siegfried Wagner, Matthias Steinmetz, Arndt Bode, Markus Michael Müller bei Springer Berlin
ISBN: 978-3-662-51963-9

Taschenbuch 241,99€

Herstellung bei Anforderung

Variations on Constants

Flow Analysis of Sequential and Parallel Programs

Variations on Constants

Flow Analysis of Sequential and Parallel Programs

Veröffentlicht 2006
von Markus Müller-Olm bei Springer Berlin
ISBN: 978-3-540-45385-7

Taschenbuch 54,99€

Besorgungstitel
Lieferzeit 1-2 Wochen

Modular Compiler Verification

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Modular Compiler Verification

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Veröffentlicht 1997
von Markus Müller-Olm bei Springer Berlin
ISBN: 978-3-540-63406-5

Taschenbuch 54,99€

Besorgungstitel
Lieferzeit 1-2 Wochen

WW wie Westerwald

Könige, Pfaffen und Genosse Raiffeisen

WW wie Westerwald

Könige, Pfaffen und Genosse Raiffeisen

von Richter, Alexander, Müller, Markus bei Gmeiner-Verlag GmbH
ISBN: 978-3-8392-1980-5

15,50€

Lieferung in 2-3 Wochen

MILITARY RECRUITING

The recruiting process of governmental institutions using the European example of the German Federal Armed Forces and its transformation from a conscript army to a professional army (Recruitment and Employer branding in the Public sphere)

MILITARY RECRUITING

The recruiting process of governmental institutions using the European example of the German Federal Armed Forces and its transformation from a conscript army to a professional army (Recruitment and Employer branding in the Public sphere)

Veröffentlicht 2016
von Markus Müller bei epubli
ISBN: 978-3-7375-7933-9

Taschenbuch 38,95€

Herstellung bei Anforderung

Reconfiguring Intervention

Complexity, Resilience and the 'Local Turn' in Counterinsurgent Warfare