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.

Alterung der Belegschaften, Fachkräftemangel, steigende mentale Anforderungen, Arbeitsverdichtung einerseits sowie digitale und individuelle Gesundheitskompetenz, personelle Ressourcen und Agilität andererseits sind nur einige der aktuellen Handlungsfelder des BetrieblichenGesundheitsmanagement (BGM). Dieses Praxishandbuch erläutert die Grundlagen des BGM und verzahnt es mit neuen Denkansätzen einer unbeständigen und komplexen Arbeitswelt. Es geht auf so wichtige Bereiche wie Betriebliches Eingliederungsmanagement oder Arbeits- und Gesundheitsschutz ebenso ein wie auf Aspekte der Evaluation, Verfahren und Methoden der Datenerhebung. Das Buch schließt mit einem Blick in die Zukunft des BGM.Inhalte:- Gesundheitswissenschaftlichen Grundlagen: Gesundheit, Krankheit, Arbeitsfähigkeit, Gesundheitsverhalten und -kompetenz; Verständnis BGM- Strukturaufbau: BGM-Prozess, Bedarfsbestimmung, Institutionen und Akteure, Organisationsstruktur und -kultur- Prozesse: Maßnahmen der Betrieblichen Gesundheitsförderung sowie der Personal- und Organisationsentwicklung- Ergebnisse: Evaluation, Assessments, Verfahren und Methoden der Datenerhebung- Zukunftsthemen: Agilität, New Work, Homeoffice, Arbeit 4.0, Wertehaltung, Generationsmanagement und ResilienzDigitale Extras:- Befragungen- Checklisten- Handlungsempfehlungen- Best Practice-Beispiele

Alterung der Belegschaften, Fachkräftemangel, steigende mentale Anforderungen, Arbeitsverdichtung einerseits sowie digitale und individuelle Gesundheitskompetenz, personelle Ressourcen und Agilität andererseits sind nur einige der aktuellen Handlungsfelder des BetrieblichenGesundheitsmanagement (BGM). Dieses Praxishandbuch erläutert die Grundlagen des BGM und verzahnt es mit neuen Denkansätzen einer unbeständigen und komplexen Arbeitswelt. Es geht auf so wichtige Bereiche wie Betriebliches Eingliederungsmanagement oder Arbeits- und Gesundheitsschutz ebenso ein wie auf Aspekte der Evaluation, Verfahren und Methoden der Datenerhebung. Das Buch schließt mit einem Blick in die Zukunft des BGM.Inhalte:- Gesundheitswissenschaftlichen Grundlagen: Gesundheit, Krankheit, Arbeitsfähigkeit, Gesundheitsverhalten und -kompetenz; Verständnis BGM- Strukturaufbau: BGM-Prozess, Bedarfsbestimmung, Institutionen und Akteure, Organisationsstruktur und -kultur- Prozesse: Maßnahmen der Betrieblichen Gesundheitsförderung sowie der Personal- und Organisationsentwicklung- Ergebnisse: Evaluation, Assessments, Verfahren und Methoden der Datenerhebung- Zukunftsthemen: Agilität, New Work, Homeoffice, Arbeit 4.0, Wertehaltung, Generationsmanagement und ResilienzDigitale Extras:- Befragungen- Checklisten- Handlungsempfehlungen- Best Practice-Beispiele

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.