Typed Lambda Calculi and Applications 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings Hofmann Martin Heftet / 2003 / Engelsk
Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings Hofmann Martin Heftet / 2011 / Engelsk
Trustworthy Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers Wirsing Martin Heftet / 2010 / Engelsk
Holistic Approach to Process Optimisation Tools and Practical Examples to Create Efficient Workflows Hofmann Martin Heftet / 2022 / Engelsk
Prozessoptimierung als ganzheitlicher Ansatz Mit konkreten Praxisbeispielen für effiziente Arbeitsabläufe Hofmann Martin Heftet / 2019 / Tysk
Holistic Approach to Process Optimisation Tools and Practical Examples to Create Efficient Workflows Hofmann Martin Innbundet / 2021 / Engelsk
