Martin Hofmann – författare
Visar alla böcker från författaren . Handla med fri frakt och snabb leverans.
22 produkter
22 produkter
E-bok
PDF, Engelska, 20121 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.
Häftad, Engelska, 2011
1 559 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.
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.
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.
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.
E-bok
PDF, Engelska, 2003687 kr
Läs direkt efter köp
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.
E-bok
PDF, Engelska, 2010734 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.
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.
E-bok
PDF, Tyska, 2011299 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.
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.
708 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.
Häftad, Tyska, 2012
378 kr
Skickas inom 3-6 vardagar
Häftad, Tyska, 2012
394 kr
Skickas inom 3-6 vardagar
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.
E-bok
Tyska, 2019522 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.
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.
E-bok
Engelska, 2021734 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.
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.
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.
E-bok
PDF, Engelska, 2025652 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
Inbunden, Engelska, 2020
2 736 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.