Martin Lange – författare

This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural equivalences. Part II examines the most important temporal logics for transition systems and Part III looks at their expressiveness and complexity. Finally, Part IV describes the main computational methods and decision procedures for model checking and model building - based on tableaux, automata and games - and discusses their relationships. The book contains a wealth of examples and exercises, as well as an extensive annotated bibliography. Thus, the book is not only a solid professional reference for researchers in the field but also a comprehensive graduate textbook that can be used for self-study as well as for teaching courses.

This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural equivalences. Part II examines the most important temporal logics for transition systems and Part III looks at their expressiveness and complexity. Finally, Part IV describes the main computational methods and decision procedures for model checking and model building - based on tableaux, automata and games - and discusses their relationships. The book contains a wealth of examples and exercises, as well as an extensive annotated bibliography. Thus, the book is not only a solid professional reference for researchers in the field but also a comprehensive graduate textbook that can be used for self-study as well as for teaching courses.

Keine ausführliche Beschreibung für "18h Rektaszension, Lieferung 1: 0m–29m59s" verfügbar.

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.

Demografischer Wandel, Fachkräftemangel und steigende psychische Belastungen machen Mitarbeitergesundheit zur zentralen Führungsaufgabe. Dieses Werk zeigt, wie Unternehmen ein wirksames Gesundheitsmanagementsystem aufbauen, steuern und kontinuierlich verbessern.Das Fachbuch verbindet gesetzliche Grundlagen nach ArbSchG, SGB V, SGB IX und Präventionsgesetz mit konkreten Handlungsempfehlungen für den Betrieb. Checklisten, Assessments und strukturierte Prozessmodelle unterstützen die direkte Umsetzung im Arbeitsalltag.Das sind die Inhalte:- Rechtlicher Rahmen: ArbSchG, DGUV-Vorschriften, §167 SGB IX, §§20 ff. SGB V und steuerliche Förderung von BGF-Leistungen bis 600 Euro pro Jahr- Bedarfsbestimmung und Initiierung: Markt- und betriebsinterne Faktoren, Akteurslandschaft, GKV-Kooperationen und BGF-Koordinierungsstellen für KMU- Führung und Organisationskultur: gesundheitsorientierte Führung, transformationale Ansätze, Nudging und Kommunikationsstrategien zur Aktivierung von Beschäftigten- Betriebliches Eingliederungsmanagement: fallbezogener BEM-Prozess, Anforderungs- und Fähigkeitsprofile, stufenweise Wiedereingliederung und Datenschutz- Statistische Auswertung und Controlling: deskriptive und inferenzstatistische Methoden, Kennzahlenklassen, Wirkmodelle und Value-on-Investment- New Work und Digitalisierung: Homeoffice-Prävention, agiles BGM, mHealth-Angebote und Resilienzprogramme für hybride ArbeitsweltenEin praxisnahes Referenzwerk für BGM-Koordinatoren, Betriebsräte, Sicherheitsfachkräfte, Unternehmensberater und Hochschulen mit gesundheitsbezogenen Studiengängen.

Demografischer Wandel, Fachkräftemangel und steigende psychische Belastungen machen Mitarbeitergesundheit zur zentralen Führungsaufgabe. Dieses Werk zeigt, wie Unternehmen ein wirksames Gesundheitsmanagementsystem aufbauen, steuern und kontinuierlich verbessern.Das Fachbuch verbindet gesetzliche Grundlagen nach ArbSchG, SGB V, SGB IX und Präventionsgesetz mit konkreten Handlungsempfehlungen für den Betrieb. Checklisten, Assessments und strukturierte Prozessmodelle unterstützen die direkte Umsetzung im Arbeitsalltag.Das sind die Inhalte:- Rechtlicher Rahmen: ArbSchG, DGUV-Vorschriften, §167 SGB IX, §§20 ff. SGB V und steuerliche Förderung von BGF-Leistungen bis 600 Euro pro Jahr- Bedarfsbestimmung und Initiierung: Markt- und betriebsinterne Faktoren, Akteurslandschaft, GKV-Kooperationen und BGF-Koordinierungsstellen für KMU- Führung und Organisationskultur: gesundheitsorientierte Führung, transformationale Ansätze, Nudging und Kommunikationsstrategien zur Aktivierung von Beschäftigten- Betriebliches Eingliederungsmanagement: fallbezogener BEM-Prozess, Anforderungs- und Fähigkeitsprofile, stufenweise Wiedereingliederung und Datenschutz- Statistische Auswertung und Controlling: deskriptive und inferenzstatistische Methoden, Kennzahlenklassen, Wirkmodelle und Value-on-Investment- New Work und Digitalisierung: Homeoffice-Prävention, agiles BGM, mHealth-Angebote und Resilienzprogramme für hybride ArbeitsweltenEin praxisnahes Referenzwerk für BGM-Koordinatoren, Betriebsräte, Sicherheitsfachkräfte, Unternehmensberater und Hochschulen mit gesundheitsbezogenen Studiengängen.

Die Ausgaben für betriebliche Gesundheitsprogramme, insbesondere zum Thema gesunde Führung, sind in den letzten Jahren kontinuierlich gestiegen. Dieses Buch beleuchtet grundlegende Aspekte von Organisation, Führung und Gesundheit und baut eine Brücke zur praktischen Anwendung. Es fungiert als evidenzbasierter Methodenkoffer, der flexible Ansätze für unterschiedliche Herausforderungen bietet, statt auf eine einzige Methode zu setzen. Denn meist reichen ein Seminartag oder eine einzige Methode nicht aus, um gesunde Führung nachhaltig zu fördern. Stattdessen zeigt das Buch, wie man Programme mit evidenzbasierten Inhalten konzipiert, evaluiert und an unternehmensspezifische Herausforderungen anpasst.In Zusammenarbeit mit dem unabhängigen Fachverband Bundesverband Betriebliches Gesundheitsmanagement (BBGM) e.V.Inhalte:- Gesundheit im Kontext von Führung- Zusammenwirken von Arbeit und Gesundheit- Modelle gesunder Führung- Methoden, Maßnahmen und Transfer in die Praxis- Auftragsklärung und Konzeption- Gesunde Führung in der Trainingspraxis- Umgang mit schwierigen Situationen

Die Ausgaben für betriebliche Gesundheitsprogramme, insbesondere zum Thema gesunde Führung, sind in den letzten Jahren kontinuierlich gestiegen. Dieses Buch beleuchtet grundlegende Aspekte von Organisation, Führung und Gesundheit und baut eine Brücke zur praktischen Anwendung. Es fungiert als evidenzbasierter Methodenkoffer, der flexible Ansätze für unterschiedliche Herausforderungen bietet, statt auf eine einzige Methode zu setzen. Denn meist reichen ein Seminartag oder eine einzige Methode nicht aus, um gesunde Führung nachhaltig zu fördern. Stattdessen zeigt das Buch, wie man Programme mit evidenzbasierten Inhalten konzipiert, evaluiert und an unternehmensspezifische Herausforderungen anpasst.In Zusammenarbeit mit dem unabhängigen Fachverband Bundesverband Betriebliches Gesundheitsmanagement (BBGM) e.V.Inhalte:- Gesundheit im Kontext von Führung- Zusammenwirken von Arbeit und Gesundheit- Modelle gesunder Führung- Methoden, Maßnahmen und Transfer in die Praxis- Auftragsklärung und Konzeption- Gesunde Führung in der Trainingspraxis- Umgang mit schwierigen Situationen

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.

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.