Types for Proofs and Programs

Supply Chain Finance

Die Moral der Mrkte

Advanced Computing and Systems for Security: Volume 13

Progress in Botany

Elemente der Achten Nebengruppe

Augmented Reality, Virtual Reality, and Computer Graphics

Assemblies of Gold Nanoparticles at Liquid-Liquid Interfaces

TOPO 72 - General Topology and its Applications

Logica Universalis

Asymptotic Expansions and Summability

Fire Safety of Historical Buildings

Standort Deutschland

Das Zeitdenken bei Husserl, Heidegger und Ricoeur

Der Laiendirigent

Non-Connected Convexities and Applications

Aquatic Birds in the Trophic Web of Lakes

The Cellular Basis of Cardiovascular Function in Health and Disease

Leichtbau-Technologien im Automobilbau

Aspects of Soft Computing, Intelligent Robotics and Control

Surgical Principles in Inguinal Hernia Repair

Indigenous Knowledge Systems and Development in Africa

Theories to Inform Superior Health Informatics Research and Practice

Strafrecht Allgemeiner Teil

Formal Methods for Model-Driven Engineering

Cracking the Machine Learning Code: Technicality or Innovation?

Social Network Large-Scale Decision-Making

A Natural Language Interface for Computer-Aided Design

Recent Advances in Information and Communication Technology 2015

Gemeinden in der Schul-Governance der Schweiz

Form-Oriented Analysis

Leader Development Deconstructed

The first contest for Singapore, 18191824

Darstellende Geometrie

nano

Dispositional Reality

CIMMIT 2000 Jahrbuch Immobilien

Instability and Transition

Advanced Laparoscopic Surgery

Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges

Formal Grammar