Critical Systems: Formal Methods and Automated Verification

Structure of Matter

Korean Automotive Foreign Direct Investment in Europe

From Uncle Tom's Cabin to The Help

Generalized Vertex Algebras and Relative Vertex Operators

Bildung und Ungleichheit in Deutschland

Understanding Real Traffic

Handbuch Wissenschaftspolitik

An Economic Perspective on the Southwest: Defining the Decade

Drugs, Neurotransmitters, and Behavior

Study on the National Conditions of Modernization with Chinese Characteristics

Complexity Management in Engineering Design a Primer

Secret Yoga Club - Self-empowerment through the Magic of Yoga by Gabrielle Hales

Bildungsaufstieg, Biografie und familiale Figuration

Atherosclerosis III

Clean-up of Former Soviet Military Installations

Strength and Compassion in Kidney Failure

National Geographic Kids Readers: Hop, Bunny!

Neurophysiologische Behandlung bei Erwachsenen

The Many Faces of Imitation in Language Learning

7 Strengths en espaol: cabaa anaranjada (Grades 1-2)

Agentenbasierte Produktionssteuerung komplexer Produktionssysteme

Computational Modeling of Objects Presented in Images

Klinisches Jahrbuch

Protestant-Catholic Conflict from the Reformation to the 21st Century

Geschichte der Technik

Beitrge zur mikrobiologischen Bestimmung der Ksereitauglichkeit von Milch

Innere Ballistik

Introduction to Advanced Electrodynamics

Origin and Early Evolution of Comet Nuclei

Graph-Theoretic Concepts in Computer Science

Sinne und Verhalten: aus dem Leben einer Spinne

Dust and Health

Lehrbuch der speziellen Pathologie und Therapie der inneren Krankheiten fr Studierende und rzte. (

Praktische Baustatik

Advanced Reliability Models and Maintenance Policies

Fungal Associations

Preparing Scientific Illustrations

Understanding Knowledge-Intensive Business Services

Preuisches Verwaltungsrecht (Praktischer Teil)

Proper Generalized Decompositions