Martin Lange – författare
Visar alla böcker från författaren Martin Lange. Handla med fri frakt och snabb leverans.
19 produkter
De Ciceronis Altera Post Reditum Oratione Commentatio ...
Av Martin Lange
Inbunden, 2023
342 kr
Lägg i varukorg
De Ciceronis Altera Post Reditum Oratione Commentatio ...
Av Martin Lange
Häftad, 2023
176 kr
Lägg i varukorg
Temporal Logics in Computer Science
Finite-State Systems
Av Martin Lange, Valentin Goranko m. fl.
E-bok, 2016
1964 kr
Lägg i varukorg
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 …
Temporal Logics in Computer Science
Finite-State Systems
Av Martin Lange, Valentin Goranko m. fl.
E-bok, 2016
1964 kr
Lägg i varukorg
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 …
18h Rektaszension, Lieferung 1: 0m–29m59s
Av Martin Lange
E-bok, 1963
1723 kr
Lägg i varukorg
Keine ausführliche Beschreibung für "18h Rektaszension, Lieferung 1: 0m–29m59s" verfügbar.
Handbuch Immobilientransaktionen
Av Martin Lange, Moritz Mühling m. fl.
Inbunden, 2026
1003 kr
Lägg i varukorg
Automatentheorie und Logik
Av Martin Hofmann, Martin Lange
Häftad, 2011
343 kr
Lägg i varukorg
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 …
Automatentheorie und Logik
Av Martin Lange, Martin Hofmann
E-bok, 2011
308 kr
Lägg i varukorg
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 …
Praxishandbuch Betriebliches Gesundheitsmanagement
Av Martin Lange, David Matusiewicz m. fl.
Inbunden, 2022
1135 kr
Lägg i varukorg
Praxishandbuch Betriebliches Gesundheitsmanagement
Grundlagen - Standards - Trends. Für HR, Arbeitsschutz und Organisationsentwicklung: BGF, BEM und Kennzahlen praxisnah erklärt
Av Oliver Walle, David Matusiewicz m. fl.
E-bok, 2022
1023 kr
Lägg i varukorg
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 …
Praxishandbuch Betriebliches Gesundheitsmanagement
Grundlagen - Standards - Trends. Für HR, Arbeitsschutz und Organisationsentwicklung: BGF, BEM und Kennzahlen praxisnah erklärt
Av Oliver Walle, David Matusiewicz m. fl.
E-bok, 2022
1023 kr
Lägg i varukorg
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 …
Praxishandbuch Gesunde Führung
Innovative Ansätze für die Entwicklung von Personal und Führungskompetenz
Av Dirk Hubel, Sven Adomat m. fl.
E-bok, 2025
682 kr
Lägg i varukorg
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 …
Praxishandbuch Gesunde Führung
Innovative Ansätze für die Entwicklung von Personal und Führungskompetenz
Av Dirk Hubel, Sven Adomat m. fl.
E-bok, 2025
682 kr
Lägg i varukorg
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 …
Automata Theory and Logic
Av Martin Hofmann, Martin Lange
Häftad, 2025
509 kr
Lägg i varukorg
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 …
Automata Theory and Logic
Av Martin Lange, Martin Hofmann
E-bok, 2025
672 kr
Lägg i varukorg
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 …
Verhaltensdispositionen älterer Arbeitnehmer im Zeichen des demografischen Wandels
Av Martin Lange
Häftad, 2007
1011 kr
Lägg i varukorg
Temporal Logics in Computer Science
Finite-State Systems
Av Stéphane Demri, Valentin Goranko m. fl.
Inbunden, 2016
1676 kr
Tillfälligt slut
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 …
