Verification, Model Checking, and Abstract Interpretation

Allgemeine Vlkerkunde

A Chronology of the Byzantine Empire

Computing and Combinatorics

Dynamical Systems II

The Golden Fleece: 6-Book Set

Catalysis and Zeolites

Bio-Applications of Nanoparticles

Pattern Recognition with Fuzzy Objective Function Algorithms

Unifying Petri Nets

Sliding Mode Control

Spondylolisthesis

Mll - Die gesellschaftliche Konstruktion des Wertvollen

Praxis der Personzentrierten Psychotherapie

Strukturumbruch in der Finanzdienstleistungsindustrie

Posttranslational Protein Modifications in the Reproductive System

Cauchy Problem for Differential Operators with Double Characteristics

Behavioral Neurogenetics

Beginning SharePoint Communication Sites

Proceedings of the International Conference on Signal, Networks, Computing, and Systems

New Methods in Fixed Income Modeling

Progress in Digital and Physical Manufacturing

Banach Space Complexes

Neuroanesthesia

Aspects of Risk Theory

Die Brustverletzungen im Kriege

RESPACE - Key Technologies for Reusable Space Systems

Boolean Algebras in Analysis

A Life of Experimental Economics, Volume I

Advances in Fine Particles Processing

Recent Development of Aerodynamic Design Methodologies

Politics in the Russian Regions

Blickpunkt Gesellschaft 2

Topics in Mathematical Fluid Mechanics

Feminism and Criminal Justice

Physical science and physical reality

The Isomonodromic Deformation Method in the Theory of Painleve Equations

Ludics, Dialogue and Interaction

Fortschritte der Chemie organischer Naturstoffe / Progress in the Chemistry of Organic Natural Produ

Aufklrung und Einwilligung im Arztrecht (ESA)

Biologic Therapy of Leukemia