Søkt på: Søkeresultat
totalt 26 treff
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 …
The 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 …
Der Film 'Forrest Gump'. Analyse Der Darstellung Ausgewahlter Werte
The Punitive City
In the eyes of the global media, modern Mexico has become synonymous with crime, violence and insecurity. But while media fascination and academic engagement has focussed on the …
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 …
The New Regulatory State in Germany
A study of relations between the state and the private sector in Germany; the new regime of regulation, especially in formerly state-run sectors Among the topics covered are: * …
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 …
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 …
Enhancing Energy Efficiency in Irrigation
This SpringerBrief reviews currently applied and potential solutions for improving the efficiency and quality of rural electricity supply in India, a major bottleneck for …
EU Law After the Financial Crisis
The financial crisis has literally stress tested the European Union and indeed continues to do so. It has already laid bare many fundamental issues and conundrums of the European …
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, …