Verification, Model Checking, and Abstract Interpretation

Simulative Investigation of Post-Oxidation in the Exhaust Manifold of SI Engines

Mercks Reagenzien-Verzeichnis enthaltend die gebruchlichen Reagenzien und Reaktionen, geordnet nac

FinTech und Datenschutz

QuickPascal

Prozemanagement mit System

Embedded Systems Design with FPGAs

Magnetoelectronics of Microwaves and Extremely High Frequencies in Ferrite Films

Before its Too Late

Computational Biology and Machine Learning for Metabolic Engineering and Synthetic Biology

Risiko, Katastrophen und Resilienz

Chemistry and Technology of Water-Soluble Polymers

Behavioral Neurobiology of the Endocannabinoid System

Erkenntnisprojekt Geschlecht

Emissions Trading

Mapping Urban Practices Through Mobile Phone Data

Hydrodynamik und Strukturbildung

Moral Reasoning at Work

Advanced Steels

Legitimacy of Chinas Counter-Terrorism Approach

Resilient Water Management Strategies in Urban Settings

Die Kultur von Scenedesmus obliquus in Abwasser

Applications of Number Theory to Numerical Analysis

Sozialisation und Soziale Arbeit

Multiscale Modeling of Complex Materials

Computation and Neural Systems

Highly Luminescent Lanthanide Complexes with Specific Coordination Structures

Origin and Performance of Democracy Profiles

The Utilization of Bioremediation to Reduce Soil Contamination: Problems and Solutions

Representing Auschwitz

The Political Economy of Imperialism

Discovery Science

Computational Methods in Psychiatry

Recommendations for evidence-based endoscopic surgery

Ambient

How Apollo Flew to the Moon

Communications, Computation, Control, and Signal Processing

Transactions on Computational Science XXVI

ffentliche Sozialforschung und Verantwortung fr die Praxis

Clinical Bioinformatics

ESR and NMR of Paramagnetic Species in Biological and Related Systems