Types for Proofs and Programs

Multidimensional Approach to Quality of Life Issues

Psychologische Probleme in der Reproduktionsmedizin

Expanding the Production and Use of Cool Season Food Legumes

Proceedings of the Research Symposium on Complexes of Biologically Active Substances with Nucleic Ac

Statik der Bodenkonstruktion der Schiffe

Logica Universalis

The Statesman's Year-Book 1969-70

Wireless CMOS Frequency Design

Zur Theorie des vollkommenen und unvollkommenen Brunnens

Glucose Sensor Use in Children and Adolescents

Fluid Flow and Heat Transfer in Rotating Porous Media

Europa imaginieren

Matrices, Statistics and Big Data

Time Perspective Theory; Review, Research and Application

Die Verwendung maschineller Hilfsmittel im Bankbetrieb

Twisted Fairy Tales: Little Rude Riding Hood

Nonlinear Maps and their Applications

Learning to Classify Text Using Support Vector Machines

Spherical Sampling

Security in Network Coding

Neue Formen der Datenkommunikation / New Forms of Data Communication

Integrative Social Work Practice with Refugees, Asylum Seekers, and Other Forcibly Displaced Persons

Trust and Organizations

Women in Action Sport Cultures

Networks and Groups

Das Bewerber-Auswahl-Gesprch

Numerical Simulation in Molecular Dynamics

Projektorientiertes Management als Organisationsprinzip

Thermal Contact Conductance

Elektromagnetische Felder und Netzwerke

Nuclear Power and Society

Optik des Menschlichen Auges

Surgery of the Inferior Vena Cava

Formal Methods for Distributed System Development

Mobile Point Sensors and Actuators in the Controllability Theory of Partial Differential Equations

Cattle Housing Systems, Lameness and Behaviour

Verhandlungsbericht 1984 der Deutschen Gesellschaft fr Hals- Nasen- Ohren-Heilkunde, Kopf- und Hals

Modernist Writings and Religio-scientific Discourse

Machine Learning Applied to Composite Materials

Risikomanagement in der operativen Medizin