Søkt på: markus müller
totalt 7 treff
Verification, Model Checking, and Abstract Interpretation
This volume contains the proceedings of the 10th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2009), held in Savannah, Georgia, USA, …
Security in Pervasive Computing
Variations on Constants
Program analysis is concerned with techniques that automatically determine run-time properties of given programs prior to run-time. It is used for validation in order to ensure …
High Performance Computing in Science and Engineering, Garching/Munich 2009
The Leibniz Supercomputing Centre (LRZ) and the Bavarian Competence Network for Technical and Scienti?c High Performance Computing (KONWIHR) publish in the present book results of …
From Chemical to Biological Organization
Open nonlinear systems are capable of self-organization in space and time. This realization constitutes a major breakthrough of modern science, and is currently at the origin of …
Ellenbogen
Die Buchreihe „Meistertechniken in der operativen Orthopädie und Unfallchirurgie“ erlaubt es dem operativ tätigen Orthopäden und Unfallchirurgen, den Autoren - alle sind Meister …
Depressionen
Depressive Erkrankungen gehören gemäß Weltbank zu den drei medizinischen Top-Problemen. Gefragt sind deshalb Modelle einer optimalen, integrierten Versorgung. 22 Spezialistinnen …