Suchergebnisse - Beyer, Dirk

Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata

von Beyer, Dirk 1972-

Online lesen (frei zugänglich)

Chronik der Gemeinde Essen, Oldb.

Band 3,1 - Die Geschichte der Gemeinde vom Ende des Ersten Weltkrieges bis zur Gegenwart : Ende des Ersten Weltkrieges - Weimarer Republik, Nationalsozialismus - Zweiter Weltkrieg, Politischer Neubeginn - Flüchtlinge - Rat und Verwaltung, Wohnbebauung - Ortsumgehung - Dorfentwicklung, Hengelage - St. Leo-Stift

von Beyer, Dirk, Beyer, Dirk

Inhaltsverzeichnis

Chronik der Gemeinde Essen, Oldb.

Band 3,2 - Die Geschichte der Gemeinde vom Ende des Ersten Weltkrieges bis zur Gegenwart : Kirchen - Bildung, Wirtschaft - Migration, Partnerschaft Essen/Belgien

von Beyer, Dirk, Beyer, Dirk

Inhaltsverzeichnis

Chronik der Gemeinde Essen, Oldb.

Bd. 2,1 - Die Geschichte der Gemeinde vom 15. Jahrhundert bis zum Ende des Ersten Weltkrieges ; 1. Verwaltung, Bevölkerungsentwicklung, Adelsgüter, Kirche, Schule

von Beyer, Dirk

Inhaltsverzeichnis

Chronik der Gemeinde Essen, Oldb.

Bd. 2,2 - Die Geschichte der Gemeinde vom 15. Jahrhundert bis zum Ende des Ersten Weltkrieges ; 2. Bäuerliche Bevölkerung, Alte Höfe, Mühlen, 19. Jahrhundert, Erster Weltkrieg

von Beyer, Dirk

Inhaltsverzeichnis

Entscheidungsorientiertes Zentralbereichscontrolling: Ansatzpunkte zur multikriteriellen Effizienzbewertung von Zentralbereichsleistungen

von Beyer, Dirk 1972-

Tierexperimentelle enzymhistochemische Untersuchungen zum Heilungsverlauf gedeckter Bißwunden

von Beyer, Dirk

Wert- und risikoorientiertes Controlling: der Unternehmenswert als Handlungsmaxime im Controlling

von Beyer, Dirk 1972-, Kirchner-Khairy, Sandra 1973-

Online lesen

Wert- und risikoorientiertes Controlling: der Unternehmenswert als Handlungsmaxime im Controlling

von Beyer, Dirk 1972-, Kirchner-Khairy, Sandra 1973-

Inhaltsverzeichnis

Chronik der Gemeinde Essen, Oldb.

Band 1 - Der Naturraum der Gemeinde Essen und ihre Geschichte bis 1400

von Beyer, Dirk

Inhaltsverzeichnis

Kirchlicher Liberalismus in Osnabrück im Verlauf des 19. und am Beginn des 20. Jahrhunderts: eine Studie zur Kirchengeschichte Niedersachsens

von Beyer, Dirk

Inhaltsverzeichnis

Der Gehalt an freien Adeninnucleotiden, an anorganischem Phosphat und Milchsäure in Rinderlinsen in Abhängigkeit vom Lebensalter

von Beyer, Dirk

A comparative study of decision diagrams for real-time verification

von Beyer, Dirk 1972-, Noack, Andreas 1976-

CrocoPat: a tool for efficient pattern recognition in large object-oriented programs

von Beyer, Dirk 1972-, Lewerentz, Claus

Considering inheritance, overriding, overloading and polymorphism for measuring C++ sources

von Simon, Frank, Beyer, Dirk 1972-

A formalism for modular modelling of hybrid systems

von Beyer, Dirk 1972-, Rust, Heinrich

The United Kingdom: the Political System : Pressetexte, Materialien und Übungen für den Unterricht : Niveau B2-C2

von Beyer, Dirk

Teaching compendium: digital tools and literature

von Beyer, Dirk

Inhaltsverzeichnis

Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata

von Beyer, Dirk 1972-

Inhaltsverzeichnis

Reachability analysis and refinement checking for BDD based model checking of timed automata

von Beyer, Dirk 1972-