Verification, Model Checking, and Abstract Interpretation

Business Process Management Workshops

Landscapes of Culture and Nature

Nationalism and Multiple Modernities

Berechnung der Maschinenelemente

Bond Failure Mechanism of Fully Grouted Rock Bolts

Ecotourisms Promise and Peril

Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions

Issues in Indian Public Policies

Drugs for Heart Disease

Creating a Comprehensive Trauma Center

Erfolgreiche Strategien zur Kontrolle auslndischer Tochtergesellschaften in multinationalen Unterne

Physics and Materials Science of Vortex States, Flux Pinning and Dynamics

Progress in the Chemistry of Organic Natural Products / Fortschritte der Chemie Organischer Natursto

Optimierung der Fahrzeugdiagnose durch eine cloudbasierte Methode zur Identifikation der Datennetze

Treatment of Radiation Injuries

Handbook of Quality of Life for Individuals with Autism Spectrum Disorder

Erfolgreich am Markt

Distributed Real-Time Systems

Unternehmung ohne Grenzen

Beginning Sensor Networks with Arduino and Raspberry Pi

Industrial Cyber-Physical Systems

Mapping International Student Mobility Between Africa and China

Lebensstilorientiertes Kulturmarketing

Erlsplanung und Erlskontrolle als Instrument der Absatzpolitik

Politische Mndigkeit durch digital-forschendes Lernen im Politikunterricht

Past and Future Rapid Environmental Changes

Double-Bind-Kommunikation als Burnout-Ursache

Coding Theorems of Information Theory

Flavonoids in Cell Function

Relapse Prevention for Sexual Harassers

Demografischer Wandel und Kultur

Energy-efficient building design in Southeast Europe

Data Science in Engineering, Volume 10

Selektion im Internet

Basic Texts in International Relations

Metric Modular Spaces

Next Generation Society Technological and Legal Issues

Ferroelectrics Literature Index

Artificial Intelligence and Industrial Applications

Combat Stress in Pre-modern Europe