Martin Hofmann - Böcker

Extensional Constructs in Intensional Type Theory

Typed Lambda Calculi and Applications

6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings

Trustworthy Global Computing

5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Automatentheorie und Logik

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

Corporate Governance-Strukturen von Special Purpose Acquisition Companies (SPACs) aus ökonomischer Perspektive

Corporate Social Responsibility in Australien

Eine empirische Analyse der 100 größten börsennotierten Aktiengesellschaften

Prozessoptimierung als ganzheitlicher Ansatz

Mit konkreten Praxisbeispielen für effiziente Arbeitsabläufe

Holistic Approach to Process Optimisation

Tools and Practical Examples to Create Efficient Workflows

Holistic Approach to Process Optimisation

Tools and Practical Examples to Create Efficient Workflows

Automata Theory and Logic