Releases by Martin Hofmann

All10
Hardcover Book1
Paperback Book9

In stock at iMusic Show unavailable items

Cover for Martin Hofmann · Automata Theory and Logic (Paperback Book) (2025)

Automata Theory and Logic (2025)

Cover for Martin Hofmann · A Holistic Approach to Process Optimisation: Tools and Practical Examples to Create Efficient Workflows - Management for Professionals (Paperback Book) [2021 edition] (2022)

A Holistic Approach to Process O... (2022)

Cover for Martin Hofmann · A Holistic Approach to Process Optimisation: Tools and Practical Examples to Create Efficient Workflows - Management for Professionals (Hardcover Book) [2021 edition] (2021)

A Holistic Approach to Process O... (2021)

Cover for Martin Hofmann · Prozessoptimierung als ganzheitlicher Ansatz: Mit konkreten Praxisbeispielen fur effiziente Arbeitsablaufe (Paperback Book) [1. Aufl. 2020 edition] (2019)

1. Aufl. 2020 edition

Prozessoptimierung als ganzheitl... (2019)

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)