Model Checking Software

Integrated Pest Management of Tropical Vegetable Crops

Superconducting Materials

Explainable Ambient Intelligence (XAmI)

The Object-Z Specification Language

Equivariant Pontrjagin Classes and Applications to Orbit Spaces

Neurologische Therapie

Land- und Wasserstrassen Post, Telegraph, Telephon

The True Confessions of Charlotte Doyle

Extended Abstracts Summer 2016

Victims of the Environment

Epigenetics of Infectious Diseases

Statistik fr Erziehungswissenschaftlerinnen und Erziehungswissenschaftler

Compiling Natural Semantics

Nanostructures and Thin Films for Multifunctional Applications

Indizes in der vergleichenden Politikwissenschaft

Ventrikulre Herzrhythmusstrungen

Agriculture Digitalization and Organic Production

Animal Models of Ophthalmic Diseases

Ethical Innovation for Global Health

ArtsIT, Interactivity and Game Creation

Nuclear Power and the Energy Crisis

The Hill-Brown Theory of the Moons Motion

Handbook of Global Optimization

A Technological History of Cold-War India, 19471969

Paralysed with Fear

Consumer Depth Cameras for Computer Vision

Multiple Myeloma

Electrochemical Biosensors for Whole Blood Analysis

Global Transformations

Fundamentals of Neuromechanics

Communicating through Vague Language

Quantitatives Risikomanagement in Banken

Scholastic Time-to-Discover Readers: Calabazas

Framing Animals as Epidemic Villains

Automated Reasoning with Analytic Tableaux and Related Methods

Animals in Tillich's Philosophical Theology

Marketing-Controlling

Algorithmic Foundations of Robotics XIII

Zero-Sum Discrete-Time Markov Games with Unknown Disturbance Distribution

Perspectives on HCI Research with Teenagers