Formal Methods and Software Engineering

Logic, Language, Information and Computation

Wie kommt man darauf?

Inherited Disorders of Vitamins and Cofactors

Aharon Katzir Memorial Volume

Quantum Thermodynamics and Optomechanics

Clinical Epidemiology of Chronic Liver Diseases

Kynurenine and Serotonin Pathways

Southern Min (Hokkien) as a Migrating Language

A Cp-Theory Problem Book

Joh. Karl Knigs Warenlexikon fr den Verkehr mit Drogen und Chemikalien

Derived Category Methods in Commutative Algebra

Analysis 1

Wave Packet Analysis of Feynman Path Integrals

Australian Contributions to Strategic and Military Geography

A Guide to Convolutional Neural Networks for Computer Vision

Group Extensions, Representations, and the Schur Multiplicator

Mitteilungen ber Forschungsarbeiten auf dem Gebiete des Ingenieurwesens

Bystander-Experience von Arbeitnehmenden in mnnerdominierten Berufsfeldern

Helmut Schmidt

Molecular Recognition and Inclusion

Theory of Satellite Geodesy and Gravity Field Determination

The Dawn of War in South Korea (19471950)

Ecology, Cognition and Landscape

The Gamification of Citizens' Participation in Policymaking

The Male Body in Representation

Charles Bukowski, King of the Underground

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Fear and Uncertainty in Europe

Advances in Artificial Life

Organic Xenobiotics and Plants

Der Rasmussen-Bericht (WASH-1400)

Anomalous X-Ray Scattering for Materials Characterization

Logic in Law

Techniken der Datensammlung 1

Objektbanken fr Experten

Terrestrial Radiative Transfer

Radiation Exposure and Image Quality in X-Ray Diagnostic Radiology

Engineering Seismology and Earthquake Engineering

Eco-Cognitive Computationalism

Kinder- und Jugendmuseen