Verified Software: Theories, Tools, Experiments

Founders at Work

Information Technology and Industrial Competitiveness

Scholastic Early Learning Library for Ages 0-3

Barack Obama and African American Empowerment

Developments in Sustainable Geomaterials and Environmental Geotechnics

Decision-making in the Stalinist Command Economy, 193237

Endoscopic Therapy for Barrett's Esophagus

Thriving Rough Sets

Kapitalmarktorientierte Sicherheitsquivalente

Cardiovascular Genomics

Sozialdemokratie im Wandel

Empirische Studien zur Evaluation von Qualittsinformationen bei der Adoption kontinuierlicher und d

Phenotypic Oncology PET

Human and Mediated Communication around the World

Praxis der EDV Einfhrung

The Law Applicable to Cross-border Contracts involving Weaker Parties in EU Private International La

Treibende Welt

Geomining

Brain Glycogen Metabolism

Amplification of Chirality

Geometric Algebra with Applications in Science and Engineering

Nightmare King

Health Information New Possibilities

Lagrangian Optics

Semantics, Applications, and Implementation of Program Generation

Pattern and Process in a Forested Ecosystem

Designing Evolutionary Algorithms for Dynamic Environments

Liver Intra-arterial PRRT with 111In-Octreotide

Indications for Heart Valve Replacement by Age Group

Artificial Vision for Robots

Diversity of Experimental Methods in Economics

Sprachmodelle verstehen

Quo Vadis

Applying Soft Computing in Defining Spatial Relations

Introduction to the Theory of (Non-Symmetric) Dirichlet Forms

Erdbebensicherung von Bauwerken

The Rise of Lifestyle Activism

Wilhelm Raabe

AI 2009: Advances in Artificial Intelligence

Psychogenese und Psychotherapie Krperlicher Symptome