Verification, Model Checking, and Abstract Interpretation

Guide to the British Food Manufacturing Industry

Mathematical Modelling Programs in Latin America

Transplantation Imaging

Futures Funds und Managed Futures

Management of Vitreo-Retinal Disease

Reaktive Abscheidung von Metalloxiden auf Polycarbonat zur Erzeugung transparenter Verschleischutzs

New Frontiers in Gravitational Collapse and Spacetime Singularities

Heterocycles via Cross Dehydrogenative Coupling

Ma- und Integrationstheorie

Public Procurement in the European Union

Community Media

Greece, Financialization and the EU

Operative Manual of Endoscopic Surgery

Illustration Studio: Beginning MangaAn Interactive Guide to Learning the Art of Manga Illustration

Modern Circuit Placement

Georg von Siemens

Religise Rituale und soziale Ordnung

Zeitaufwand Tafeln fr die Kalkulation von Straen-und Tiefbauarbeiten

Zum Performativen des frhen Dialogs

Developing Models in Science Education

Datenanalyse und Statistik

The Semantic Web: Research and Applications

Microwave Semiconductor Devices

Software Engineering with Reusable Components

Language, Mind and Epistemology

Mobile Wireless Middleware, Operating Systems and Applications - Workshops

Integrale Infrastrukturplanung

Strategic Innovation in Russia

Beginning Azure Cognitive Services

Phenomenology of Bioethics: Technoethics and Lived-Experience

The Russian Reading Revolution

Computer-Human Interaction Research and Applications

Security and Privacy in Communication Networks

The Hologenome Concept: Human, Animal and Plant Microbiota

SAP ABAP Objects

Geographical Changes in Vegetation and Plant Functional Types

Women and AIDS

Biotechnologies of Crop Improvement, Volume 2

Verzeichnis der bis Ende 1912 an den Technischen Hochschulen des Deutschen Reiches Erschienenen Schr

Zur Entscheidungsntzlichkeit von Zwischenberichten