Grundlagen des maschinellen Beweisens Eine Einführung für Informatiker und Mathematiker Kutsche, Ralf-Detlef Heftet / 1991 / Tysk
Grundlagen des maschinellen Beweisens Eine Einführung für Informatiker und Mathematiker Hofbauer Dieter Heftet / 1989 / Tysk
Big Data Management and Analytics 9th European Summer School, eBISS 2019, Berlin, Germany, June 30 – July 5, 2019, Revised Selected Papers Kutsche, Ralf-Detlef Heftet / 2020 / Engelsk
Fundamental Approaches to Software Engineering 5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings Kutsche, Ralf-Detlef Heftet / 2002 / Engelsk
Business Intelligence 4th European Summer School, eBISS 2014, Berlin, Germany, July 6-11, 2014, Tutorial Lectures Zimányi, Esteban Heftet / 2015 / Engelsk
