Søkt på: markus müller
totalt 41 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 …
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, …
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 …
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, …
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, …
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 …
Complete Guide to SCION
When the SCION project started in 2009, the goal was to create an architecture offering high availability and security for basic point-to-point communication. In the five years …
Immunology and Psychiatry
Psychiatric disorders are one of the most dramatic burdens for humankind. The role of immune dysfunction in the pathophysiology of these disorders has emerged during the last …
Reconfiguring Intervention
This edited volume critically assesses emerging trends in contemporary warfare and international interventionism as exemplified by the 'local turn' in counterinsurgent warfare. …
Annual Plant Reviews, Biology of the Plant Cuticle
Annual Plant Reviews, Volume 23 A much clearer picture is now emerging of the fine structure of the plant cuticle and its surface, the composition of cuticular waxes and the …
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 …