Bernd Fischer

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)

Theoretical Aspects of Computing – ICTAC 2018

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

Logic-Based Program Synthesis

Performanceanalyse in der Praxis

Tirol

Investieren in Kryptowährungen

Anderer Blick

Polynomial Based Iteration Methods for Symmetric Linear Systems

Shqipëria 1943-1945

Als Diplomat mit zwei Berufen

Inspiration Bonaparte?