Mathematik für die Informatik Grundlegende Begriffe, Strukturen und Anwendungen Berghammer Rudolf Heftet / 2024 / Tysk
Mathematik für die Informatik Grundlegende Begriffe, Strukturen und ihre Anwendung Berghammer Rudolf Heftet / 2021 / Tysk
Ordnungen und Verbände Grundlagen, Vorgehensweisen und Anwendungen Berghammer Rudolf Heftet / 2014 / Tysk
Graph-Theoretic Concepts in Computer Science 17th International Workshop WG '91, Fischbachau, Germany, June 17-19, 1991. Proceedings Schmidt Gunther Heftet / 1992 / Engelsk
Tool Support for System Specification, Development and Verification Berghammer Rudolf Heftet / 1999 / Engelsk
Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008, Proceedings Berghammer Rudolf Heftet / 2008 / Engelsk
Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceedings Berghammer Rudolf Heftet / 2009 / Engelsk