Logic-Based Program Synthesis

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