Types for Proofs and Programs

Anpassungs- und Umnutzungsfhigkeit von Produktionshallen

Long-Term Care for Frail Older People

World of Computing

Rewriting Logic and Its Applications

Leadership Perspectives

Weltbilder Wahrnehmung Wirklichkeit

Relationales Zahlverstndnis im bergang von der Kita zur Grundschule

Managing Value Capture

Bargain Book Box Grades 7-9 (100 Books)

The Decline of Public Access and Neo-Liberal Media Regimes

Reviews of Environmental Contamination and Toxicology

Dynamics of Coupled Map Lattices and of Related Spatially Extended Systems

The Sense of Taste

Dermoscopy - Histopathology Correlation

Polare Perfluoralkylcarbonsuren

Climate Change and Disaster Risk Management

Proceedings of the 11th International Conference on Industrial Engineering and Applications

Model-Based Safety and Assessment

Plato and the Individual

Co-phase Traction Power Supply with Railway Hybrid Power Quality Conditioner

Neuroendocrinology of Gastrointestinal Ulceration

Psychopharmacology in Oncology and Palliative Care

Advances in Complex Societal, Environmental and Engineered Systems

Quantum Theory of Near-Field Electrodynamics

Patient Reported Outcome Measures in Rheumatic Diseases

Basic and Clinical Toxicology of Organophosphorus Compounds

Polymerisationskinetik

Introduction to Dependent Types with Idris

Emerson's Literary Philosophy

Model-Based Decision Support Methodology with Environmental Applications

Office Gossip and Minority Employees in the South African Workplace

Theoretische Physik auf der Grundlage einer allgemeinen Dynamik

Private Actors in International Investment Law

Neural Information Processing

ReImagine Appalachia

Integrity in the Business Panorama

Metastatic Bone Disease

Sexuelle Gewalt in pdagogischen Kontexten

Diplomacy and International Law in Globalized Relations

Leveraging the Semantics of Topic Maps