Formal Methods in Computer-Aided Design

Establishing a Mechanism-Based Framework for the Corpus-Informed Analysis of Multi-Word Discourse Ma

Urban and Regional Planning in Turkey

Autoritre Sozialtypen

Moderne Verfahren der Kryptographie

Analysis of Membrane Lipids

Das traumatische Mittelhirnsyndrom und die Rehabilitation schwerer Schdelhirntraumen

Solving Nonlinear Partial Differential Equations with Maple and Mathematica

Information Security Applications

Interactive Theorem Proving

Advances in Production Management Systems. Production Management Systems for Volatile, Uncertain, Co

Lasers in Proctology

The Chemistry of Superheavy Elements

Mathematical Modeling and Scale-up of Liquid Chromatography

Analyzing T Cell Responses

Plant MAP Kinases

Agents of Witchcraft in Early Modern Italy and Denmark

Psychosomatische Gynkologie und Geburtshilfe 1987

Quasicrystals

Selected Regular Lectures from the 12th International Congress on Mathematical Education

School Buildings Rehabilitation

Topics in Geometry

Kausalgesetz und Willensfreiheit

Account-Management-Strategien im B2B-Vertrieb

Die Erfindung der Zukunft

Niederschwelligkeit in der Sozialen Arbeit

Image and Video Compression Standards

Umsetzung der Integrierten Kommunikation

Scattering Amplitudes and Wilson Loops in Twistor Space

Measurement of Quarkonium Polarization to Probe QCD at the LHC

Law, Disorder and the Colonial State

Gabler

A Distributional Approach to Asymptotics

Aikido as Transformative and Embodied Pedagogy

Mathematics and Politics

Atlas of Skin Pathology

Tracker

Communicative Disorders

Towards Global Sustainability

Erfolgsabhngige Anreizsysteme in ein- und zweistufigen Hierarchien

Global Energy Strategies