Verification, Model Checking, and Abstract Interpretation

Metalloenzymes as Inspirational Electrocatalysts for Artificial Photosynthesis

World Conference of AI-Powered Innovation and Inventive Design

Of Poles and Zeros

Global Perspectives in FinTech

Universities as Engines of Economic Development

Electromagnetic Performance Analysis of Graded Dielectric Inhomogeneous Radomes

A Beginners Guide to Discrete Mathematics

Kalkl der abzhlenden Geometrie

A Virginia Woolf Chronology

Dialogmarketing Perspektiven 2014/2015

Knowledge and Digital Technology

Biomass Compaction

Event-Triggered Control of Switched Linear Systems

Domain Decomposition Methods in Science and Engineering

Asymptotische Stochastik: Eine Einfhrung mit Blick auf die Statistik

Klinische Vektorkardiographie

Coaching und Co

Trees: Propagation and Conservation

Orature and Yoruba Riddles

Wicked Problems

Concepts in Surface Physics

Understanding Smart Cities: A Tool for Smart Government or an Industrial Trick?

Molecular and Cellular Mechanisms of Neuronal Plasticity

Toxicology in the Use, Misuse, and Abuse of Food, Drugs, and Chemicals

Meditationstiefe

A Course in Credibility Theory and its Applications

Belief Change

Functional and Constraint Logic Programming

Grundlagen der Atomphysik

STACS 2003

Micro- and Nanoflows

Fathers and Sons in the Arab Middle East

Coding and Complexity

Faith, Identity and Homicide

Cohomological Methods in Homotopy Theory

Abdominal Angiography

Individualisierung als strategische Option der Marktbearbeitung

Messung akademisch vermittelter Kompetenzen von Studierenden und Hochschulabsolventen

Access to Medicine Versus Test Data Exclusivity

Europe in Crisis