Søkt på: markus müller
totalt 38 treff
Microdialysis in Drug Development
A vast number of diagnostic and therapeutic decisions are based on measuring blood concentrations of molecules, yet most biochemical and pharmacological events actually take place …
Static Analysis
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 …
Clinical Pharmacology: Current Topics and Case Studies
This revised and extended second edition focuses on current and emerging topics in drug development, their molecular mechanisms of action as well as regulatory issues. In addition, …
Dependable Software Engineering. Theories, Tools, and Applications
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2018, held in Beijing, …
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
Encyclopedia of Football Medicine, Vol. 2
FIVE STARS from Doody's Star RatingsAuthored by renowned UEFA specialists in the medical care of football players, this three-volume series-sourced from the course materials used …
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 …
Global Making of Policing
This edited volume analyses the global making of security institutions and practices in our postcolonial world. The volume will offer readers the opportunity to gain a deeper …
Computer Animation Complete
A compilation of key chapters from the top MK computer animation books available today - in the areas of motion capture, facial features, solid spaces, fluids, gases, biology, …
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 …
Public Security in the Negotiated State
Policing and security governance in areas of limited statehood have become central issues in contemporary academic and political debates. This book offers an in-depth study on …