Formale Grundlagen der Informatik公司
阿克图尔斯
Inhalt公司
文学
Vorlesungsskript(在Vorlesung ausgeteilt中的wird) Schöning/Kestler Mathe-Toolbox,莱曼媒体