Bok CD Innbunden bok Pocketbok
Vis utilgjengelige utgivelser

Releases med Martin Hofmann

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

Automata Theory and Logic (2025)

Cover for Martin Hofmann · Wissensorte in China (Bok) (2023)

Wissensorte in China (2023)

Cover for Martin Hofmann · A Holistic Approach to Process Optimisation: Tools and Practical Examples to Create Efficient Workflows - Management for Professionals (Pocketbok) [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 (Innbunden bok) [2021 edition] (2021)

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

Cover for Martin Hofmann · Hartl: Prvok, ?ampón, Te?ka a Karel (CD) (2021)

Hartl: Prvok, ?ampón, Te?ka a Karel (2021)

Cover for Martin Hofmann · Powerful Arguments (Innbunden bok) (2020)

Powerful Arguments (2020)

Cover for Martin Hofmann · Prozessoptimierung als ganzheitlicher Ansatz: Mit konkreten Praxisbeispielen fur effiziente Arbeitsablaufe (Pocketbok) [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 (Pocketbok) [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 (Pocketbok) [2011 edition] (2011)

Foundations of Software Science ... (2011)

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

German, 2011 edition

Automatentheorie Und Logik (2011)

Cover for Martin Hofmann · Automated Construction of Xsl-templates: an Inductive Programming Approach (Pocketbok) (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 (Pocketbok) [2003 edition] (2003)

Typed Lambda Calculi and Applica... (2003)

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

Konzeption Eines Prozessinformat... (1995)