Home Advanced Search

Advanced Search - Page 1

Extensional Constructs in Intensional Type Theory
  • PDF
  • English
  • Year: 1997
  • Author: Martin Hofmann PhD (auth.)
Konzeption eines Prozeßinformations- und -managementsystems
  • PDF
  • German
  • Year: 1995
  • Author: Martin Hofmann (auth.)
Automatentheorie und Logik
  • PDF
  • German
  • Year: 2011
  • Author: Martin Hofmann, Martin Lange (auth.)
Automatentheorie und Logik
  • PDF
  • German
  • Year: 2011
  • Author: Martin Hofmann, Martin Lange (auth.)
A Holistic Approach to Process Optimisation: Tools and Practical Examples to Create Efficient Workflows
  • PDF
  • English
  • Year: 2021
  • Author: Martin Hofmann
Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Prakash Panangaden (auth.), Martin Hofmann (eds.)
Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Prakash Panangaden (auth.), Martin Hofmann (eds.)
Monopole der Gewalt: Mafiose Macht, staatliche Souveränität und die Wiederkehr normativer Theorie
  • PDF
  • German
  • Year: 2015
  • Author: Martin Ludwig Hofmann
CBT for Social Anxiety: Simple Skills for Overcoming Fear and Enjoying People
  • PDF
  • English
  • Year: 2023
  • Author: Stefan G. Hofmann PhD
Performance Measurement and Incentive Systems in Purchasing: More Than Just Savings
  • PDF
  • English
  • Year: 2014
  • Author: Erik Hofmann, Daniel Maucher, Martin Kotula, Oliver Kreienbrink (auth.)
search