LIBRARY From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics 2005 · ENGLISH · PDF View details →
LIBRARY Translation - Sprachvariation - Mehrsprachigkeit. Festschrift für Lew Zybatow zum 60. Geburtstag 2011 · GERMAN · PDF View details →
LIBRARY High performance computing for computer graphics and visualisation: proceedings of the International Workshop on High Performance Computing for Computer Graphics and Visualisation, Swansea, 3-4 July 1995 1996 · ENGLISH · DJVU View details →