Michael Huth

Ereignisse wie die Corona-Pandemie, die Blockade des Suezkanals und der Krieg in der Ukraine haben in den letzten Jahren wesentlich dazu beigetragen, dass die Themen Resilienz und Risikomanagement weiter an Bedeutung gewinnen. Die Resilienz von Supply Chains beschreibt die Fähigkeit, schnell und flexibel auf Störungen zu reagieren, um so schnell wie möglich wieder den Ausgangszustand einer funktionierenden Lieferkette zu erreichen. Dieses Buch stellt praxiserprobte Methoden und Instrumente vor, mit denen Risiken identifiziert und bewertet werden können. Es beschreibt effektive Strategien und Maßnahmen, um die Resilienz in Supply Chains nachhaltig zu erhöhen. Zahlreiche Beispiele schaffen zudem ein Bewusstsein für die Bandbreite der Supply-Chain-Risiken, gegen die Resilienz aufgebaut werden sollte.

The books in this trilogy capture the foundational core of advanced informatics. The authors make the foundations accessible, enabling students to become effective problem solvers.This first volume establishes the inductive approach as a fundamental principle for system and domain analysis. After a brief introduction to the elementary mathematical structures, such as sets, propositional logic, relations, and functions, the authors focus on the separation between syntax (representation) and semantics (meaning), and on the advantages of the consistent and persistent use of inductive definitions. They identify compositionality as a feature that not only acts as a foundation for algebraic proofs but also as a key for more general scalability of modeling and analysis. A core principle throughout is invariance, which the authors consider a key for the mastery of change, whether in the form of extensions, transformations, or abstractions.This textbook is suitable for undergraduate and graduate courses in computer science and for self-study. Most chapters contain exercises and the content has been class-tested over many years in various universities.

The books in this trilogy capture the foundational core of advanced informatics. The authors make the foundations accessible, enabling students to become effective problem solvers.This first volume establishes the inductive approach as a fundamental principle for system and domain analysis. After a brief introduction to the elementary mathematical structures, such as sets, propositional logic, relations, and functions, the authors focus on the separation between syntax (representation) and semantics (meaning), and on the advantages of the consistent and persistent use of inductive definitions. They identify compositionality as a feature that not only acts as a foundation for algebraic proofs but also as a key for more general scalability of modeling and analysis. A core principle throughout is invariance, which the authors consider a key for the mastery of change, whether in the form of extensions, transformations, or abstractions.This textbook is suitable for undergraduate and graduate courses in computer science and for self-study. Most chapters contain exercises and the content has been class-tested over many years in various universities.

Wie beim Klöße essen, einer nach dem anderen. Ganz so einfach ist Prozessmanagement leider nicht. Aber richtig veranschaulicht, ist es oft auch nicht so schwer zu verstehen, wie es im ersten Moment scheint. Michael Huth führt Sie zügig in dieses Thema ein. Er erklärt, was Prozesse überhaupt sind, welche Bedeutung sie in Unternehmen haben und was die relevanten Begriffe sind. Danach wird das Phasenkonzept erläutert, die Prozessdokumentation, die Prozessbewertung, die Prozessoptimierung und einiges mehr. Zahlreiche Übungsaufgaben mit Lösungen helfen Ihnen, Ihr Wissen zu testen und zu festigen.

Logistik, der Begriff wird immer wieder gerne genutzt, aber was ist Logistik eigentlich? Dies und vieles mehr erklärt Ihnen Michael Huth in diesem Buch. Er grenzt den Begriff von anderen ab, geht auf Logistikziele und -strategien ein und erläutert Transportlogistik und Lagerhaltung. Er führt Sie in Konzepte der Materialbeschaffung und -bereitstellung ein und gibt Ihnen einen Einblick in Distributionssysteme und Outsourcing-Entscheidungen in der Logistik. Übungsaufgaben mit Lösungen helfen Ihnen, den Stoff zu wiederholen und sich selbst zu testen. So ist dieses Buch das richtige für Sie, wenn Sie sich am Anfang oder Ende des Semesters einen schnellen Überblick über die Logistik verschaffen wollen.

Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness. The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students.

Michael Huth analysiert, welche Faktoren das Risiko der Gefahrgutbeforderung beeinflussen, und entwickelt auf dieser Basis Anforderungen an Aufbau und Funktionalitat eines Entscheidungsunterstutzungssystems. Anhand zweier praxisnaher Beispiele aus der Verkehrspolitik und der Logistikplanung werden die Einsatzmoglichkeiten aufgezeigt.