Types for Proofs and Programs

Smart Energy Research. At the Crossroads of Engineering, Economics, and Computer Science

Saturn from Cassini-Huygens

Praxisorientierte Unternehmensplanung mit harten und weichen Daten

Angewandte Data Science

Cosmic Plasma

Informatik cui bono?

Stephan Krner Philosophical Analysis and Reconstruction

Die Grostadt im Roman

Social Lives with Other Animals

Beschftigungswirkungen des bergangs zu integrierter Umwelttechnik

Smart Card Research and Advanced Applications

Gesundheitliche Ungleichheit

The Meteorology and Climate of Tropical Africa

Pathology of the Eye

Literature, Language and Computing

Bridges and Mediation in Higher Distance Education

Acoustic Modeling for Emotion Recognition

Handbook of Social Support and the Family

Compliance in der Unternehmenskommunikation

The Nature of Time: Geometry, Physics and Perception

Human Detection and Diagnosis of System Failures

Medicinal and Aromatic Plants

Global Vision

The Invention of Free Press

Vascular Interventional Radiology

Applied Parallel Computing

Psyche, Schmerz, sexuelle Dysfunktion

RNA Metabolism in Mitochondria

The Unfinished System of Karl Marx

Gendered Agency in War and Peace

kosystem Darm III

Generalized Locally Toeplitz Sequences: Theory and Applications

The Educational Innovators

The Renin Angiotensin System in the Brain

Responsive Computing

Older Mexicans and Latinos in the United States

Basic Epithelial Ion Transport Principles and Function

Clinical Perspectives in the Management of Down Syndrome

Regaining Marxism

Informatics in Control, Automation and Robotics 12th International Conference, ICINCO 2015 Colmar, F