Releases by Martin Hofmann

In stock at iMusic Show unavailable items

Cover for Martin Hofmann · Extensional Constructs in Intensional Type Theory - Distinguished Dissertations (Paperback Book) [Softcover reprint of the original 1st ed. 1997 edition] (2011)

Softcover reprint of the original 1st ed. 1997 edition

Extensional Constructs in Intens... (2011)

Cover for Martin Hofmann · 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, Saarbrucken, Germany, March 26--April 3, 2011, Proceed (Paperback Book) [2011 edition] (2011)

Foundations of Software Science ... (2011)

Cover for Martin Hofmann · Automatentheorie Und Logik (Paperback Book) [German, 2011 edition] (2011)

German, 2011 edition

Automatentheorie Und Logik (2011)

Cover for Martin Hofmann · Automated Construction of Xsl-templates: an Inductive Programming Approach (Paperback Book) (2008)

Automated Construction of Xsl-te... (2008)

Cover for Martin Hofmann · Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2003 edition] (2003)

Typed Lambda Calculi and Applica... (2003)

Cover for Martin Hofmann · Konzeption Eines Prozessinformations- Und -Managementsystems (Paperback Book) [1995 edition] (1995)

Konzeption Eines Prozessinformat... (1995)