Verification, Model Checking, and Abstract Interpretation

Experimentelle Einfhrung der elektromagnetischen Einheiten

Wenn wir marschieren!

Myelogenetisch-Anatomische Untersuchungen ber den Zentralen Abschnitt der Sehleitung

Regional Opportunities for Sustainable Development

Elefente y Cerdita: Debo compartir me helado? (Elephant & Piggie #16)

Bruchsicherheitsnachweis fr Druckglieder

Hot Thin Plasmas in Astrophysics

Product Lifecycle Management. PLM in Transition Times: The Place of Humans and Transformative Techno

Facing Trajectories from School to Work

White Dwarfs

Optimal Impulsive Control

Full Seismic Waveform Modelling and Inversion

SAP ERP - Praxishandbuch Projektmanagement

Petrology and Geochemistry of Continental Rifts

A Caribou Journey

Basic Theory and Laboratory Experiments in Measurement and Instrumentation

Algebraische Geometrie

Computer Vision ECCV 2018 Workshops

Transaction Processing on Modern Hardware

Infrared and Submillimeter Astronomy

Principles of Verification: Cycling the Probabilistic Landscape

Sex/Gender-Specific Medicine in the Gastrointestinal Diseases

Die Erkrankungen der Eierstcke und Nebeneierstcke und die Geschwlste der Eileiter

Proceedings of the 1st International Workshop on High-Speed and Intercity Railways

Evangelical Awakenings in the Anglophone Caribbean

Remote Sensing Land Surface Changes

Membranverfahren zur wirtschaftlichen Aufbereitung von Molken

Weichteilrheumatismus und andere Schmerzsyndrome des Bewegungsapparates

Deterministic Extraction from Weak Random Sources

The Economic Valuation of Green Electricity

Courage Has No Color

Polymer Characterisation

Pragmatistische Sozialforschung

My First I Can Read! - Biscuit: Biscuit Finds a Friend

Erfolg mit Multimedia

Emerging Challenges and Innovations in Microfinance and Financial Inclusion

Jewish Ethics in a Post-Madoff World

Politischer Extremismus

Proteoglycan Protocols