Automated Deduction in Classical and Non-Classical Logics

Now I Eat My ABC's

Types for Proofs and Programs

Food and the Literary Imagination

Gelassenheit gewinnen - 30 Bilder fr ein starkes Selbst

Promoting Balanced Competitiveness Strategies of Firms in Developing Countries

Natural Language Processing and Chinese Computing

Messen Steuern Regeln

A Guide to Signals and Systems in Continuous Time

Cellular Engineering and Cellular Therapies

Managing Flow

Advances and New Trends in Environmental Informatics

Time and Timelessness in Fundamental Physics and Cosmology

The Palgrave Handbook of Globalization with Chinese Characteristics

Elementary Physicochemical Processes on Solid Surfaces

Glycosaminoglycans

Die Prognose Chronischer Erkrankungen / Long-Term Observations of Chronic Diseases

Proceedings of the 2023 International Conference on Green Building, Civil Engineering and Smart City

Leitstanduntersttzte kurzfristige Fertigungssteuerung bei Einzel- und Kleinserienfertigung

Stochastische Integration und Zeitreihenmodellierung

Determinants of Innovation

Introducing Deno

Applications and Techniques in Information Security

New Eyes on the Sun

Gesundheitliche Resilienz

Confectionery Packaging Equipment

Ultrasound-guided Musculoskeletal Procedures

Dick de Jongh on Intuitionistic and Provability Logics

Developmental Biology

LaTeX and Friends

Laser Technology in Chemistry

Intuitionistic Preference Modeling and Interactive Decision Making

Electrochemical Sensing: Carcinogens in Beverages

Der Realoptionsansatz als Controllinginstrument in jungen Wachstumsunternehmen

Meniscal Injuries

Reminiscence, Motivation, and Personality

The IOTA Programming System

Bookish Histories

II. Chemischer Teil

Physik der Halbleiterbauelemente

Dissipative Ordered Fluids