Søkt på: markus müller
totalt 23 treff
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, …
Modular Compiler Verification
This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Unlike most …
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 …
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 …
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 …
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, …
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 …
Markus Heinsdorff: static + dynamic
The book presents the installation artist Markus Heinsdorff’scontinuing study of the topics of space, the forces of nature and upcyclingby means of over40 works. The overview is …
Security in Pervasive Computing
The ongoing compression of computing facilities into small and mobile devices like handhelds, portables or even wearable computers will enhance ubiquitous information processing. …
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, …
Waiting for the Machines to Fall Asleep
26 short stories from the new wave of Swedish speculative fiction writers.Forget about cheap furniture, meatballs and crime fiction. Sweden has so much more to offer. Waiting for …