Types for Proofs and Programs

Timingstrategien in Innovationspartnerschaften der deutschen Ernhrungsindustrie

Heat Waves

HCI in Games: Experience Design and Game Mechanics

E-Commerce and Web Technologies

Gerontechnology. A Clinical Perspective

Diophantine Approximation on Linear Algebraic Groups

Dynamic Factor Demand in a Rationing Context

GI 18. Jahrestagung II

Management of Wilson Disease

Anion Carriers of Mitochondrial Membranes

Nuclear Reprogramming

What Constitutes a Good Society?

Designing with Structural Ceramics

Sustainability in Energy and Buildings

Engineering Education 4.0

Digital Transformation and New Challenges

Bear: Bear's New Friend

Advances in Mathematical Economics Volume 11

Smart AD and DA Conversion

Design, Synthesis and Characterization of new Supramolecular Architectures

Probability Measure on Groups VII

A Beauty-ful Boson

Political Protest and Social Change

NMR: Principles and Applications to Biomedical Research

Kritische Betrachtungen zur Psychoanalyse

On Becoming an Education Professional: A Psychosocial Exploration of Developing an Education Profess

The Visual Language of Technique

Regionen im historischen Vergleich

Bedingtes Kapital und Anreizwirkungen bei Banken

Coding and Complexity

Isotropic and Anisotropic Seismic Tomography Using Active Source and Earthquake Records

The Consequences of the Crisis on European Integration and on the Member States

Marketing in der IT-Branche

European Union Contested

Sustainable Energy Resources and Economics in Iceland and Greenland

Phase Portraits of Control Dynamical Systems

Proceedings of the 10th Asian Mining Congress 2023

Qualitt der Internen Markenfhrung

Parallel Kinematic Machines

Applied Probability