Foundations of Software Science and Computation Structures Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings Thomas Wolfgang Heftet / 1999 / Engelsk
Computer Science Logic 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers Nielsen Mogens Heftet / 1998 / Engelsk
STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings Durand Bruno Heftet / 2006 / Engelsk
STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings Thomas Wolfgang Heftet / 2007 / Engelsk
Automata, Logics, and Infinite Games A Guide to Current Research Grädel, Erich Heftet / 2002 / Engelsk
In-Game Advertising - Werbung in Computerspielen Strategien und Konzepte Thomas Wolfgang Heftet / 2007 / Tysk
