Computer Aided Verification

Ursachen des Fachkrftemangels im beruflichen Lehramt

Mixed Integer Nonlinear Programming

Photoelectric Detection on Derived Attributes of Targets

Agile Development with ICONIX Process

The Unfolding Universe

Scala Programming for Big Data Analytics

Optimal Stopping Rules

Inequality, Geography and Global Value Chains

Innovations in Sustainable Agricultural Systems, Volume 1

Research in Surface Forces

Impulse zur eigenen Vernderung

Energy Efficiency in Household Appliances

Tropical Rain Forest: A Wider Perspective

Dynamische Arrangements stdtischer Sicherheit

Virus-Induced Gene Silencing in Plants

Unternehmen steuern mit Controlling

Intelligent Systems and Applications

Why care for Nature?

Molecular Basis of Multiple Sclerosis

Handbook on Continuous Improvement Transformation

Health Technology Assessment in Japan

Anweisung fr die Aufstellung und Ausfhrung von Drainage-Entwrfen

Springer Tracts in Modern Physics 19

Change Leadership

ESSKA Instructional Course Lecture Book

Statistical Inference in Random Coefficient Regression Models

ECTO-NOX Proteins

The SAGES Manual

Animal Horror Cinema

Beyond Identities: Human Becomings in Weirding Worlds

Regional Economic Modeling: A Systematic Approach to Economic Forecasting and Policy Analysis

Genome Editing and Biological Weapons

Biotech Challenges

Norman Mailer's Later Fictions

Design, Specification and Verification of Interactive Systems 97

Seawater Batteries

Grundlagen der Frdertechnik Elemente und Triebwerke

Corneal Regeneration

Positive Operators and Semigroups on Banach Lattices

Operational Amplifiers