Treffer 1 – 5 von 5 für Suche 'Herber Paula', Suchdauer: 0,02s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Correct and reliable construction of ccomplex embedded real-time systems Dr.-Ing. Paula Herber, geb. in Köln

    Correct and reliable construction of ccomplex embedded real-time systems Dr.-Ing. Paula Herber, geb. in Köln von Herber Paula

    Veröffentlicht 2018
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A framework for automated HW-SW Co-verification of systemC designs using timed automata

    A framework for automated HW-SW Co-verification of systemC designs using timed automata von Herber, Paula

    Veröffentlicht 2010
    Volltext öffnen
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    iFM 2023 18th international conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, proceedings

    iFM 2023 18th international conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, proceedings

    Veröffentlicht 2024
    Weitere Verfasser: “… Herber Paula …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Ernst Denert Award for Software Engineering 2022 practice meets foundations

    Ernst Denert Award for Software Engineering 2022 practice meets foundations

    Veröffentlicht 2024
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  5. 5
    iFM 2023 18th international conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023 : proceedings

    iFM 2023 18th international conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023 : proceedings

    Veröffentlicht 2023
    Weitere Verfasser: “… Herber, Paula …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: