Verification, Model Checking, and Abstract Interpretation

Genetic and Therapeutic Aspects of Lipid and Purine Metabolism

Comparative Perspectives on School Textbooks

Growth of High Permittivity Dielectrics by High Pressure Sputtering from Metallic Targets

AES und Rucksackverfahren

Seasonal Adjustment Methods and Real Time Trend-Cycle Estimation

Fremdunterbringung durch die Jugendwohlfahrt

Die Hochspannungs-Freileitungen

Modeling and Adaptive Nonlinear Control of Electric Motors

Fullerene Collision Reactions

Eutrophication of Freshwaters

Solids Under High-Pressure Shock Compression

Leistungssteigerung beim spitzenlosen Durchlaufschleifen

Bericht ber die physikalisch-chemische Untersuchung des Rheinwassers Nr. 2 / Rapport sur les analys

Agile Office 365

The FitzHugh-Nagumo Model

Controlling & Management Review Sonderheft 3-2015

The Modern Child and the Flexible Labour Market

Peace with Justice

Ukraine on the Road to Europe

Innovationen und Erziehung

Metadata Management in Statistical Information Processing

Shipwreck Narratives: Out of our Depth

Psychologische Tests und mehrwertige Logik

Compiling Parallel Loops for High Performance Computers

Heuristische Planungsmethoden

Grid and Cooperative Computing - GCC 2005

Die Zukunft des Sozial- und Steuerstaates

Shock

Pro Oracle Fusion Applications

Civil Liability for Accidents at Sea

Nordic Noir, Adaptation, Appropriation

Integrating Functional and Temporal Domains in Logic Design

Women Who Broke the Rules: Sonia Sotomayor

Computational Organometallic Chemistry

Oncogenes

Vergleichende Politikwissenschaft

Computer-Human Interaction Research and Applications

Medical and Mental Health During Childhood

Strategy and Architecture of Health Care Information Systems

Manure Technology and Sustainable Development