Verification, Model Checking, and Abstract Interpretation

Bromance

Steuerung und Regelung der Turboflugtriebwerke

Going Private

Grenzgnger und Grenzgnge

Carbon Neutrality in the Agri-food Sector

Deeds, Titles, and Changing Concepts of Land Rights

Prostacyclin and Hypertension

The Basal Ganglia V

Understanding Circuits

New Approaches to the Economics of Plant Health

Geschfts-Anweisung fr die Oberfrster der Kniglich preuischen Staatsforsten vom 4. Juni 1870 unt

Laser Pulse Heating of Surfaces and Thermal Stress Analysis

Allgemeiner Teil und die Operationen an der Oberen Extremitt

JavaServer Faces: Introduction by Example

Economic Growth in Open Economies

Serviceinnovation

Die Uhr des Lebens

Coherent Sheaves, Superconnections, and Riemann-Roch-Grothendieck

Implantable Medical Electronics

Computational Intelligence in Information Systems

Tatsachen und Begriffe im Deutschen Kommissionsrecht

Marketing Fallstudien

Festigkeitslehre

Structural Mechanics

Lernfrderliche Interaktion beim Peer-Learning in der Grundschule

The Death and Resurrection of Deviance

I Am SuperKid! / Yo soy SuperNio!

Prehistoric Archaeology on the Continental Shelf

Protein-protein Interactions and Networks

Wage Labour in Southeast Asia Since 1840

Zhlangaben Maangaben

The Active Female

Asymmetric Catalysis from a Chinese Perspective

Advances in Understanding the Biology of Halophilic Microorganisms

Strongly Nonlinear Oscillators

Pharmacology in Noninvasive Ventilation

Dmpfung von Stowellen in verzweigten Rohrsystemen

Dynamics of Magnetic Fluctuations in High-Temperature Superconductors

The Statistical Analysis of Spatial Pattern

Bioplastics for Sustainable Development