Martin Hofmann – författare
Visar alla böcker från författaren Martin Hofmann. Handla med fri frakt och snabb leverans.
27 produkter
Extensional Constructs in Intensional Type Theory
E-bok, 2012
2006 kr
Lägg i varukorg
Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification). Martin Hofmann attempts to reconcile the two different ways that type theories deal …
Extensional Constructs in Intensional Type Theory
Häftad, 2011
1579 kr
Lägg i varukorg
Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification). Martin Hofmann attempts to reconcile the two different ways that type theories deal …
Warum ich nicht mehr glaube
Wenn junge Erwachsene den Glauben verlieren
Av Tobias Kunkler, Martin Hofmann m. fl.
E-bok, 2014
113 kr
Lägg i varukorg
Wie verliert man seinen Glauben? Warum geht es oft jungen Leuten so? Die Autoren lassen Menschen zu Wort kommen, die sich vom Glauben abgewandt haben, und forschen nach Gründen. Sie stoßen auf Erschütterndes genauso wie auf Unverständliches, auf Herausforderndes wie Bedauernswertes. Auch wenn jeder …
Warum wir mündig glauben dürfen
Wege zu einem widerstandsfähigen Glaubensleben
Av Tobias Kunkler, Martin Hofmann m. fl.
E-bok, 2015
159 kr
Lägg i varukorg
Das Vorgängerbuch "Warum ich nicht mehr glaube" hat zahlreiche Menschen ins Nachdenken und ins Gespräch miteinander gebracht. Viele Christen haben sich erstmals intensiv damit beschäftigt, warum junge Erwachsene den Glauben verlieren. Fast immer kam dabei die Frage auf: "Wie kann man das …
Typed Lambda Calculi and Applications
6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings
Häftad, 2003
551 kr
Lägg i varukorg
The refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2003. The 21 revised full papers presented were carefully reviewed and selected from 40 submissions. The volume reports research results on all current …
Typed Lambda Calculi and Applications
6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings
E-bok, 2003
734 kr
Lägg i varukorg
Trustworthy Global Computing
5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
Av Martin Wirsing, Martin Hofmann m. fl.
Häftad, 2010
569 kr
Lägg i varukorg
Global computing refers to computation over “global computers,” i.e., com- tational infrastructures available globally and able to provide uniform services with variable guarantees for communication, cooperation and mobility, resource usage, security policies and mechanisms, etc., with particular …
Trustworthy Global Computing
5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
Av Axel Rauschmayer, Martin Hofmann m. fl.
E-bok, 2010
755 kr
Lägg i varukorg
Global computing refers to computation over “global computers,” i.e., com- tational infrastructures available globally and able to provide uniform services with variable guarantees for communication, cooperation and mobility, resource usage, security policies and mechanisms, etc., with particular …
Automatentheorie und Logik
Av Martin Hofmann, Martin Lange
Häftad, 2011
343 kr
Lägg i varukorg
Das Buch beschäftigt sich mit der Theorie endlicher Automaten auf endlichen und unendlichen Wörtern sowie Bäumen. Es behandelt klassische Resultate wie die Sätze von Büchi und Rabin, die zeigen, wie sich monadische Logiken 2. Stufe auf diesen Strukturen mithilfe dieser Automatentheorie entscheiden …
Automatentheorie und Logik
Av Martin Lange, Martin Hofmann
E-bok, 2011
308 kr
Lägg i varukorg
Das Buch beschäftigt sich mit der Theorie endlicher Automaten auf endlichen und unendlichen Wörtern sowie Bäumen. Es behandelt klassische Resultate wie die Sätze von Büchi und Rabin, die zeigen, wie sich monadische Logiken 2. Stufe auf diesen Strukturen mithilfe dieser Automatentheorie entscheiden …
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
Häftad, 2011
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Conference on Foundations of Software Science and computational Structures, FOSSACS 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of …
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
E-bok, 2011
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Conference on Foundations of Software Science and computational Structures, FOSSACS 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of …
Corporate Governance-Strukturen von Special Purpose Acquisition Companies (SPACs) aus ökonomischer Perspektive
Häftad, 2012
401 kr
Lägg i varukorg
Corporate Social Responsibility in Australien
Eine empirische Analyse der 100 größten börsennotierten Aktiengesellschaften
Häftad, 2012
401 kr
Lägg i varukorg
Prozessoptimierung als ganzheitlicher Ansatz
Mit konkreten Praxisbeispielen für effiziente Arbeitsabläufe
Häftad, 2019
531 kr
Lägg i varukorg
Dieses Buch zeigt Wege zur effizienteren Gestaltung der Arbeitsabläufe in Unternehmen und Verwaltungen auf. Zunächst werden die theoretischen Grundlagen und die notwendigen Rahmenbedingungen für eine erfolgreiche Prozessoptimierung erläutert. Im zweiten Teil wird anhand konkreter Beispiele aus der …
Prozessoptimierung als ganzheitlicher Ansatz
Mit konkreten Praxisbeispielen für effiziente Arbeitsabläufe
E-bok, 2019
537 kr
Lägg i varukorg
Dieses Buch zeigt Wege zur effizienteren Gestaltung der Arbeitsabläufe in Unternehmen und Verwaltungen auf. Zunächst werden die theoretischen Grundlagen und die notwendigen Rahmenbedingungen für eine erfolgreiche Prozessoptimierung erläutert. Im zweiten Teil wird anhand konkreter Beispiele aus der …
Holistic Approach to Process Optimisation
Tools and Practical Examples to Create Efficient Workflows
Inbunden, 2021
848 kr
Lägg i varukorg
This book provides an overview of the various methods for creating and implementing efficient work processes. The author presents the most important tools for working on improvement projects such as process mapping, Ishikawa diagram, burn-down chart, or Pareto chart. Using successfully realized …
Holistic Approach to Process Optimisation
Tools and Practical Examples to Create Efficient Workflows
E-bok, 2021
739 kr
Lägg i varukorg
This book provides an overview of the various methods for creating and implementing efficient work processes. The author presents the most important tools for working on improvement projects such as process mapping, Ishikawa diagram, burn-down chart, or Pareto chart. Using successfully realized …
Holistic Approach to Process Optimisation
Tools and Practical Examples to Create Efficient Workflows
Häftad, 2022
567 kr
Lägg i varukorg
This book provides an overview of the various methods for creating and implementing efficient work processes. The author presents the most important tools for working on improvement projects such as process mapping, Ishikawa diagram, burn-down chart, or Pareto chart. Using successfully realized …
Automata Theory and Logic
Av Martin Hofmann, Martin Lange
Häftad, 2025
509 kr
Lägg i varukorg
This book introduces the reader into the field of automata theory and logic. It studies fundamental properties like complementation and determinisation of automata on infinite words and trees, and presents their applications for logics used in program verification. The presentation of such concepts …
Automata Theory and Logic
Av Martin Lange, Martin Hofmann
E-bok, 2025
672 kr
Lägg i varukorg
This book introduces the reader into the field of automata theory and logic. It studies fundamental properties like complementation and determinisation of automata on infinite words and trees, and presents their applications for logics used in program verification. The presentation of such concepts …
Powerful Arguments
Standards of Validity in Late Imperial China
Inbunden, 2020
2818 kr
Lägg i varukorg
The essays in Powerful Arguments reconstruct the standards of validity underlying argumentative practices in a wide array of late imperial Chinese discourses, from the Song through the Qing dynasties. The fourteen case studies analyze concrete arguments defended or contested in areas ranging from …
