Verification, Model Checking, and Abstract Interpretation

Die Entstehung der longi temporis praescriptio

Chemical Physics of Intercalation II

Fachrechnen

Stabilization of NavierStokes Flows

Zuverlssigkeitsbewertung technischer Systeme

Ablage

Corporate Social Responsibility in China

Fandom, Image and Authenticity

Handbuch Industriegtermarketing

Advances in Intelligent Data Analysis XVIII

Multiple Sclerosis

Improving a Countrys Education

Rechnungswesen fr Fachschler

Psychonephrology 1

Statistical Inference and Prediction in Climatology

Pain and Emotion in Modern History

Wandlungen in der Auffassung und Deutung des Traumes

Objects and Identity

High-Performance Computing and Networking

Advances in Quantitative Asset Management

Multiscale Simulation Approach for Battery Production Systems

More Advertising Worldwide

Sustainability in Luxury Fashion Business

Tissue Proteomics

High Power Laser-Matter Interaction

Energy-Efficient Area Coverage for Intruder Detection in Sensor Networks

Theoretical Foundations of Quantum Information Processing and Communication

Thermodiffusion im kritischen Entmischungsgebiet des flssigen Systems Nitrobenzol + n-Hexan

Man-Machine Speech Communication

Freedom, Power and Political Morality

Energy Recovery Processes from Wastes

Travel and Identity: Studies in Literature, Culture and Language

Becoming Virtual

Anger and Aggression

Sulwe by Lupita No Suggestions

Fehldiagnosen in der pdiatrischen Praxis vermeiden

Berechnung von Drehstrom-Kraftbertragungen

Conspiracies and Conspiracy Theories in the Age of Trump

Dragons in a Bag: The Witch's Apprentice

Proceedings of the 12th International Conference on Soft Computing and Pattern Recognition (SoCPaR 2