Verification, Model Checking, and Abstract Interpretation

Richtig versichern Risiko kalkulierbar machen

Culture, History, and the Reception of Tennessee Williams in China

Yearbook of International Humanitarian Law, Volume 24 (2021)

Reviews of Physiology, Biochemistry and Pharmacology

Allgemeiner Gang der qualitativen chemischen Analyse fester und tropfbarflssiger anorganischer Krp

Bargaining in a Video Experiment

Modern Classification and Data Analysis

The Way of Urbanizing China

Ordering at Surfaces and Interfaces

Das Widerstandsvermgen des Fues

Developmental Neuroendocrinology

Global Mindset and Leadership Effectiveness

The Nature of X-Rays and Their Interactions with Matter

Dynamical Systems, Wave-Based Computation and Neuro-Inspired Robots

Learn coding with Python and JavaScript

Integer Programming and Combinatorial Optimization

Dealing With Stress in a Modern Work Environment

Nonlocal and Fractional Operators

Petersen Stahlbau

An Introduction to Model-Based Cognitive Neuroscience

Softwarewartung und Reengineering

Ecosystem Assessment and Fuzzy Systems Management

Psychological Basis of Morality

Infertility

Iron and Steamship Archaeology

Chitin

Weltpolitik als Wissenschaft

Politischer Protest

The Medieval Chastity Belt

Risk Management in Public Health

World, Class, Britain

Rebuilding the State Institutions

Technik und Wirtschaft der Gegenwart

Trials of Europeanization

Competitive Supply Chains

Picture Engineering

Logistiknetzwerke

Variationen ber ein zahlentheoretisches Thema von Carl Friedrich Gauss

Temperatur und Leben

Industrial and Organizational Psychology Help the Vulnerable