Martin Hofmann – författare

Visar alla böcker från författaren . Handla med fri frakt och snabb leverans.

22 produkter

Kategorier

22 produkter

Extensional Constructs in Intensional Type Theory
AvMartin Hofmann
E-bok
PDF, Engelska, 2012
1 947 kr
Läs direkt efter köp
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 with identity types. The book will be of interest particularly to researchers with mainly theoretical interests and implementors of type theory based proof assistants, and also fourth year undergraduates who will find it useful as part of an advanced course on type theory.
Extensional Constructs in Intensional Type Theory
AvMartin Hofmann
Häftad, Engelska, 2011
1 560 kr
Skickas inom 10-15 vardagar
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 with identity types. The book will be of interest particularly to researchers with mainly theoretical interests and implementors of type theory based proof assistants, and also fourth year undergraduates who will find it useful as part of an advanced course on type theory.
Warum ich nicht mehr glaube
Wenn junge Erwachsene den Glauben verlieren
AvTobias Kunkler,Martin Hofmannm. fl.
E-bok
Tyska, 2014
113 kr
Läs direkt efter köp
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 seine eigene Geschichte hat, lassen sich doch bestimmte Leitmotive ausmachen, die zu einer Abwendung vom Glauben beitragen. Ein erhellendes Buch für Pastoren, Jugendleiter etc.
Warum wir mündig glauben dürfen
Wege zu einem widerstandsfähigen Glaubensleben
AvTobias Kunkler,Martin Hofmannm. fl.
E-bok
Tyska, 2015
159 kr
Läs direkt efter köp
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 verhindern?" Das nun vorliegende Buch vertieft und erweitert die gewonnenen Erkenntnisse. Expertinnen und Experten wie Christina Brudereck, Alexander Garth oder Andreas Malessa denken in kurzen Beiträgen über die vier Themenbereiche "Zweifel & Identität", "Offenheit & Vielfalt", "Macht & Missbrauch" sowie "Mündigen Glauben stärken und fördern" nach und damit auch darüber, wie man zu einer Kultur des verantwortlichen Glaubens findet.
Typed Lambda Calculi and Applications
6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings
AvMartin Hofmann
Häftad, Engelska, 2003
546 kr
Skickas inom 10-15 vardagar
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 aspects of typed lambda calculi, ranging from theoretical and methodological issues to the application of proof assistants.
Typed Lambda Calculi and Applications
6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings
AvMartin Hofmann
E-bok
PDF, Engelska, 2003
710 kr
Läs direkt efter köp
Trustworthy Global Computing
5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
AvMartin Wirsing,Martin Hofmannm. fl.
Häftad, Engelska, 2010
562 kr
Skickas inom 10-15 vardagar
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 regard to explo- ing their universal scale and the programmability of their services. As the scope and computational power of such global infrastructures continue to grow, it - comes more and more important to develop methods, theories and techniques for trustworthy systems running on global computers. This book constitutes the thoroughly refereed proceedings of the ?fth e- tion of the International Symposium on Trustworthy Global Computing (TGC 2010)thatwasheldinMunich,Germany,February24-26,2010.TheSymposium on Trustworthy Global Computing is an international annual venue dedicated to safe and reliable computation in global computers. It focuses on providing frameworks, tools, and protocols for constructing well-behaved applications and on reasoning rigorouslyabout their behavior and properties. The related models of computation incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices.
Trustworthy Global Computing
5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
AvAxel Rauschmayer,Martin Hofmannm. fl.
E-bok
PDF, Engelska, 2010
732 kr
Läs direkt efter köp
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 regard to explo- ing their universal scale and the programmability of their services. As the scope and computational power of such global infrastructures continue to grow, it - comes more and more important to develop methods, theories and techniques for trustworthy systems running on global computers. This book constitutes the thoroughly refereed proceedings of the ?fth e- tion of the International Symposium on Trustworthy Global Computing (TGC 2010)thatwasheldinMunich,Germany,February24-26,2010.TheSymposium on Trustworthy Global Computing is an international annual venue dedicated to safe and reliable computation in global computers. It focuses on providing frameworks, tools, and protocols for constructing well-behaved applications and on reasoning rigorouslyabout their behavior and properties. The related models of computation incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices.
Automatentheorie und Logik
AvMartin Hofmann,Martin Lange
Häftad, Tyska, 2011
339 kr
Skickas inom 10-15 vardagar
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 lassen. Die einzelnen Kapitel sind in vier Teile zusammengefasst. Diese unterscheiden sich in den Strukturen, über denen jeweils Automatentheorie und Logik betrieben wird. Der erste Teil behandelt endliche Wörter. Der Zweite die Theorie auf den Bereich der Bäume auszudehnen. Der dritte Teil beschäftigt sich kurz mit endlichen Bäumen. Im vierten Teil geht es dann um Automatentheorie und Logik über unendliche Bäume. Jeder Teil endet mit Vorschlägen für Übungsaufgaben zu dem behandelten Stoff, sowie Notizen, welche auf weiterführende Literatur verweisen oder die Herkunft von präsentierten Resultaten erklären. Das Buch ist an sich ein geschlossenes Werk, welches mit den bereits erwähnten Vorkenntnissen zur Theorie formaler Sprachen und zunächst ohne weitere Hilfsmittel durchgearbeitet werden kann.
Automatentheorie und Logik
AvMartin Lange,Martin Hofmann
E-bok
PDF, Tyska, 2011
298 kr
Läs direkt efter köp
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 lassen.
Die einzelnen Kapitel sind in vier Teile zusammengefasst. Diese unterscheiden sich in den Strukturen, über denen jeweils Automatentheorie und Logik betrieben wird. Der erste Teil behandelt endliche Wörter. Der Zweite die Theorie auf den Bereich der Bäume auszudehnen. Der dritte Teil beschäftigt sich kurz mit endlichen Bäumen. Im vierten Teil geht es dann um Automatentheorie und Logik über unendliche Bäume.
Jeder Teil endet mit Vorschlägen für Übungsaufgaben zu dem behandelten Stoff, sowie Notizen, welche auf weiterführende Literatur verweisen oder die Herkunft von präsentierten Resultaten erklären. Das Buch ist an sich ein geschlossenes Werk, welches mit den bereits erwähnten Vorkenntnissen zur Theorie formaler Sprachen und zunächst ohne weitere Hilfsmittel durchgearbeitet werden kann.
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
AvMartin Hofmann
Häftad, Engelska, 2011
562 kr
Skickas inom 10-15 vardagar
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 Software. The 30 revised full papers presented together with one full-paper length invited talk were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on coalgebra and computability, type theory, process calculi, automata theory, semantics, binding, security, and program analysis.
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
AvMartin Hofmann
E-bok
PDF, Engelska, 2011
732 kr
Läs direkt efter köp
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 Software. The 30 revised full papers presented together with one full-paper length invited talk were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on coalgebra and computability, type theory, process calculi, automata theory, semantics, binding, security, and program analysis.
Corporate Governance-Strukturen von Special Purpose Acquisition Companies (SPACs) aus ökonomischer Perspektive
AvMartin Hofmann
Häftad, Tyska, 2012
388 kr
Skickas inom 3-6 vardagar
Corporate Social Responsibility in Australien
Eine empirische Analyse der 100 größten börsennotierten Aktiengesellschaften
AvMartin Hofmann
Häftad, Tyska, 2012
388 kr
Skickas inom 3-6 vardagar
Prozessoptimierung als ganzheitlicher Ansatz
Mit konkreten Praxisbeispielen für effiziente Arbeitsabläufe
AvMartin Hofmann
Häftad, Tyska, 2019
526 kr
Skickas inom 10-15 vardagar
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 Praxis erklärt, wie Abläufe im Unternehmensalltag erfolgreich verbessert werden können. Die Anwendung der im ersten Teil beschriebenen Methoden und Tools wird anschaulich dargestellt und mit Tipps und Tricks ergänzt. Abschließend werden verschiedene Simulationen vorgestellt, welche in Teams und Gruppen von Mitarbeitenden zur Teambildung und zum besseren Verständnis von effizienten Arbeitsabläufen eingesetzt werden können.
Prozessoptimierung als ganzheitlicher Ansatz
Mit konkreten Praxisbeispielen für effiziente Arbeitsabläufe
AvMartin Hofmann
E-bok
Tyska, 2019
520 kr
Läs direkt efter köp
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 Praxis erklärt, wie Abläufe im Unternehmensalltag erfolgreich verbessert werden können. Die Anwendung der im ersten Teil beschriebenen Methoden und Tools wird anschaulich dargestellt und mit Tipps und Tricks ergänzt. Abschließend werden verschiedene Simulationen vorgestellt, welche in Teams und Gruppen von Mitarbeitenden zur Teambildung und zum besseren Verständnis von effizienten Arbeitsabläufen eingesetzt werden können.
Holistic Approach to Process Optimisation
Tools and Practical Examples to Create Efficient Workflows
AvMartin Hofmann
Inbunden, Engelska, 2021
839 kr
Skickas inom 10-15 vardagar
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 improvement projects from practice, the concrete implementation of process optimization is illustrated. In addition, it is shown how these methods, which originate from the production sector, can be successfully used in the office sector.
Holistic Approach to Process Optimisation
Tools and Practical Examples to Create Efficient Workflows
AvMartin Hofmann
E-bok
Engelska, 2021
732 kr
Läs direkt efter köp
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 improvement projects from practice, the concrete implementation of process optimization is illustrated. In addition, it is shown how these methods, which originate from the production sector, can be successfully used in the office sector.
Holistic Approach to Process Optimisation
Tools and Practical Examples to Create Efficient Workflows
AvMartin Hofmann
Häftad, Engelska, 2022
562 kr
Skickas inom 10-15 vardagar
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 improvement projects from practice, the concrete implementation of process optimization is illustrated. In addition, it is shown how these methods, which originate from the production sector, can be successfully used in the office sector.
Automata Theory and Logic
AvMartin Hofmann,Martin Lange
Häftad, Engelska, 2025
506 kr
Skickas inom 10-15 vardagar
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 – some of which are 50 years old or more – is given in a modern style and is accompanied by many exercises. The book can be used for self-study or as a basis for a graduate course on automata and logic, presupposing knowledge on finite automata and regular languages of finite words only.
Automata Theory and Logic
AvMartin Lange,Martin Hofmann
E-bok
PDF, Engelska, 2025
650 kr
Läs direkt efter köp
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 – some of which are 50 years old or more – is given in a modern style and is accompanied by many exercises. The book can be used for self-study or as a basis for a graduate course on automata and logic, presupposing knowledge on finite automata and regular languages of finite words only.
Del 146 - Sinica Leidensia
Powerful Arguments
Standards of Validity in Late Imperial China
AvMartin Hofmann
Inbunden, Engelska, 2020
2 729 kr
Skickas inom 5-8 vardagar
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 historiography, philosophy, law, and religion to natural studies, literature, and the civil examination system. By examining uses of evidence, habits of inference, and the criteria by which some arguments were judged to be more persuasive than others, the contributions recreate distinct cultures of reasoning. Together, they lay the foundations for a history of argumentative practice in one of the richest scholarly traditions outside of Europe and add a chapter to the as yet elusive global history of rationality.

Företag, bibliotek eller offentlig verksamhet?

Martin Hofmann – författare

Extensional Constructs in Intensional Type Theory

Extensional Constructs in Intensional Type Theory

Warum ich nicht mehr glaube

Warum wir mündig glauben dürfen

Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

Trustworthy Global Computing

Trustworthy Global Computing

Automatentheorie und Logik

Automatentheorie und Logik

Foundations of Software Science and Computational Structures

Foundations of Software Science and Computational Structures

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

Corporate Social Responsibility in Australien

Prozessoptimierung als ganzheitlicher Ansatz

Prozessoptimierung als ganzheitlicher Ansatz

Holistic Approach to Process Optimisation

Holistic Approach to Process Optimisation

Holistic Approach to Process Optimisation

Automata Theory and Logic

Automata Theory and Logic

Powerful Arguments

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration