Verification, Model Checking, and Abstract Interpretation

Illustrated Handbook of Succulent Plants: Monocotyledons

Principled Judicial Restraint: A Case Against Activism

Climbing and Walking Robots

We Love to Share

Mobile Ad Hoc Network Protocols Based on Dissimilarity Metrics

Inherited Neurological Disorders

Arbeitsrecht fr Fhrungskrfte

SOFSEM 2016: Theory and Practice of Computer Science

Geschichte der deutschen Kinder- und Jugendliteratur

Multinationals in Canada: Theory, Performance and Economic Impact

Sourcebook of Methods of Analysis for Biomass and Biomass Conversion Processes

Women in Pragmatism: Past, Present and Future

Meshes: Benefits and Risks

Design by Evolution

Award Winners Grades 9-12

Hormonal Carcinogenesis II

Psychoanalysis, Politics and the Postmodern University

Die Cross-Methode und ihre praktische Anwendung

Low-Complexity Arithmetic Circuit Design in Carbon Nanotube Field Effect Transistor Technology

Science and Technology of Mesoscopic Structures

Frderketten und Kettenrder

Models of Neural Networks III

Software Architecture

Guided Reading Level G Pack 1

The Hamburg Lectures on Maritime Affairs 2009 & 2010

Familie, Erziehung und Sozialisation

DNA Binders and Related Subjects

VLSI Placement and Global Routing Using Simulated Annealing

Followership und Fhrungsverhalten

Consumption and Class

Strategic Management and Public Service Performance

Numerical Methods for Metamaterial Design

High Performance Computing Systems and Applications

Photonics

Research Methods in Orthodontics

Inverse Problems, Tomography, and Image Processing

Information Extraction

Die Erfassung der Leistungsansprche an Fhrungskrfte der Wirtschaft

The Venture Capital Industry in Europe

Intelligente Arbeitsvorbereitung auf Basis virtueller Werkzeugmaschinen