Verification, Model Checking, and Abstract Interpretation

International Perspectives on Teachers Living with Curriculum Change

Supervision und professionelles Handeln Pflegender

Advances in Fission-Track Geochronology

Human-Computer Interaction

Verified Software. Theories, Tools, and Experiments

Quantum Oscillations and Charge-Neutral Fermions in Topological Kondo Insulator YbB

Technologie des Holzes und der Holzwerkstoffe

Translation Planes

Soziologie und Politische Bildung

A New Beginning or More of the Same?

A New Introduction to Karl Marx

Branching in Nature

The Changing Nature of Happiness

Employer Branding

Raumwissenschaftliche Basics

Transactions on Large-Scale Data- and Knowledge-Centered Systems

Abortion

Optimal Control Problems Arising in Forest Management

Proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018)

Develop Intelligent iOS Apps with Swift

Probleme der Petrolchemie

Advances in Stereotactic and Functional Neurosurgery 7

Ramanujans Notebooks

KI als Zukunftsmotor fr Verlage

Wiederholungs- und Vertiefungskurs Strafrecht

Knowledge Science, Engineering and Management

Suchmaschinenoptimierung

Engineering Embedded Systems

Ergebnisse der Physiologie Biologischen Chemie und Experimentellen Pharmakologie

My Weirder-est School: Miss Aker is a Maker!

Biscuit Manufacture

Antiepileptic Drugs, Pharmacopoeia

Agile Processes in Software Engineering and Extreme Programming

Model Checking Software

Grundwissen Soziale Arbeit

MFG-E8 and Inflammation

Chinas Foreign Investment Law Amid Evolving International Investment Rules

Advances in Plant Omics and Systems Biology Approaches

Mentales Training

Adaptive, tolerant and efficient composite structures