Theoretical Aspects of Computing – ICTAC 2018

Model Checking Software

Biomedical Image Registration

A Companion To The Works Of Heinrich Von Kleist

A Companion to the Works of Heinrich von Kleist (Studies in German Literature Linguistics and Culture)

Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming

Cultural Transformations of the Public Sphere

Albania 1943-1945

Polynomial Based Iteration Methods for Symmetric Linear Systems

Heinrich Von Kleist and Modernity

Energieausweis und neue EnEV