gefundene Verfasser BEYER, Dirk

Beyer, Dirk 1972-
Beyer, Dirk
TACAS Thessaloniki
Huisman, Marieke 1973-
Beyer, Andreas
Alle anzeigen »
ETAPS
Kirchner-Khairy, Sandra 1973-
Kordon, Fabrice
Lewerentz, Claus
Noack, Andreas 1976-

Treffer 1 - 20 von 47 für Suche 'BEYER, Dirk', Suchdauer: 0,29s Treffer weiter einschränken
  1. 1
    Chronik der Gemeinde Essen, Oldb.

    Chronik der Gemeinde Essen, Oldb. von Beyer, Dirk, Beyer, Dirk

    Veröffentlicht 2022
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Chronik der Gemeinde Essen, Oldb.

    Chronik der Gemeinde Essen, Oldb. von Beyer, Dirk, Beyer, Dirk

    Veröffentlicht 2022
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Teaching compendium: digital tools and literature

    Teaching compendium: digital tools and literature von Beyer, Dirk

    Veröffentlicht 2022
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    The United Kingdom the Political System : Pressetexte, Materialien und Übungen für den Unterricht : Niveau B2-C2

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

    Veröffentlicht 2022
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata

    Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata von Beyer, Dirk 1972-

    Veröffentlicht 2002
    Inhaltsverzeichnis
    Abschlussarbeit Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Chronik der Gemeinde Essen, Oldb.

    Chronik der Gemeinde Essen, Oldb. von Beyer, Dirk

    Veröffentlicht 2013
    Inhaltstext
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Chronik der Gemeinde Essen, Oldb.

    Chronik der Gemeinde Essen, Oldb. von Beyer, Dirk

    Veröffentlicht 2013
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Entscheidungsorientiertes Zentralbereichscontrolling Ansatzpunkte zur multikriteriellen Effizienzbewertung von Zentralbereichsleistungen

    Entscheidungsorientiertes Zentralbereichscontrolling Ansatzpunkte zur multikriteriellen Effizienzbewertung von Zentralbereichsleistungen von Beyer, Dirk 1972-

    Veröffentlicht 2006
    Inhaltstext
    Abschlussarbeit Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    A comparative study of decision diagrams for real-time verification

    A comparative study of decision diagrams for real-time verification von Beyer, Dirk 1972-, Noack, Andreas 1976-

    Veröffentlicht 2003
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    CrocoPat: a tool for efficient pattern recognition in large object-oriented programs

    CrocoPat: a tool for efficient pattern recognition in large object-oriented programs von Beyer, Dirk 1972-, Lewerentz, Claus

    Veröffentlicht 2003
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Considering inheritance, overriding, overloading and polymorphism for measuring C++ sources

    Considering inheritance, overriding, overloading and polymorphism for measuring C++ sources von Simon, Frank, Beyer, Dirk 1972-

    Veröffentlicht 2000
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    A formalism for modular modelling of hybrid systems

    A formalism for modular modelling of hybrid systems von Beyer, Dirk 1972-, Rust, Heinrich

    Veröffentlicht 1999
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Tierexperimentelle enzymhistochemische Untersuchungen zum Heilungsverlauf gedeckter Bißwunden

    Tierexperimentelle enzymhistochemische Untersuchungen zum Heilungsverlauf gedeckter Bißwunden von Beyer, Dirk

    Veröffentlicht 1984
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Wert- und risikoorientiertes Controlling der Unternehmenswert als Handlungsmaxime im Controlling

    Wert- und risikoorientiertes Controlling der Unternehmenswert als Handlungsmaxime im Controlling von Beyer, Dirk 1972-, Kirchner-Khairy, Sandra 1973-

    Veröffentlicht 2024
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Wert- und risikoorientiertes Controlling der Unternehmenswert als Handlungsmaxime im Controlling

    Wert- und risikoorientiertes Controlling der Unternehmenswert als Handlungsmaxime im Controlling von Beyer, Dirk 1972-, Kirchner-Khairy, Sandra 1973-

    Veröffentlicht 2024
    DE-1043
    DE-858
    DE-Aug4
    DE-M347
    DE-92
    DE-473
    DE-19
    DE-355
    DE-703
    DE-706
    DE-945
    DE-29
    DE-739
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Chronik der Gemeinde Essen, Oldb.

    Chronik der Gemeinde Essen, Oldb. von Beyer, Dirk

    Veröffentlicht 2008
    Inhaltsverzeichnis
    Buch

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

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

    Veröffentlicht 2002
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata

    Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata von Beyer, Dirk 1972-

    Veröffentlicht 2002
    kostenfrei
    kostenfrei
    kostenfrei
    Abschlussarbeit Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Reachability analysis and refinement checking for BDD based model checking of timed automata

    Reachability analysis and refinement checking for BDD based model checking of timed automata von Beyer, Dirk 1972-

    Veröffentlicht 2001
    Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Rabbit: Verification of real-time systems

    Rabbit: Verification of real-time systems von Beyer, Dirk 1972-

    Veröffentlicht 2001
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: