Formal Methods for Hardware Verification

Mathematical Foundations of Computer Science 2000

Berichte zu Pflanzenschutzmitteln 2012

Whos Driving Innovation?

Clinical Use of Calcium Channel Antagonist Drugs

Brse und Publikum

Die Digitale Kluft

Vulnerability of Agriculture, Water and Fisheries to Climate Change

The Culture Industry, Information and Capitalism

Trends in Nonlinear Analysis

Monitoring the Comprehensive Nuclear-Test-Ban Treaty: Source Location

Zeitwertbilanzierung und Wirtschaftsprfung

Inspired by Nature

Stellgerte fr die Prozeautomatisierung

Psychiatrie, Psychosomatik, Psychotherapie

Atlas of Spleen Pathology

Local Leadership in a Global Era

Teleservice im Maschinen- und Anlagenbau

Progress in Drug Research / Fortschritte der Arzneimittelforschung / Progrs des recherches pharmace

Applied Cyber-Physical Systems

Galaxies and Relativistic Astrophysics

Human Longevity, Individual Life Duration, and the Growth of the Oldest-Old Population

Chalcogenide Materials for Energy Conversion

Ecological Political Economy and the Socio-Ecological Crisis

High Temperature Alloys

Biotechnologies for Gene Therapy

Transactions on Large-Scale Data- and Knowledge-Centered Systems IX

Ethical and Secure Computing

Impossibility Results for Distributed Computing

Demokratie im Alltag

Resistive Switching: Oxide Materials, Mechanisms, Devices and Operations

Genetically Modified Crops

Top Secret Anniversary: A Branches Book (The Party Diaries #3)

Opposition Vanishing

Orchid Species from Himalaya and Southeast Asia Vol. 2 (G - P)

Gas Sensing Fundamentals

Project Managers at Work

Forest Inventory

Glossar Kulturmanagement

Trees in Patagonia

Competitive-cum-Cooperative Interfirm Relations and Dynamics in the Japanese Semiconductor Industry