Treffer 1 – 6 von 6 für Suche 'Dierks, Henning 1970-', 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
    Time, abstraction and heuristics automatic verification and planning of timed systems using abstraction and heuristics

    Time, abstraction and heuristics automatic verification and planning of timed systems using abstraction and heuristics von Dierks, Henning 1970-

    Veröffentlicht 2006
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Biochemische Analysen zur Funktion und Regulation von Cytohesin-1 in humanen T-Zellen

    Biochemische Analysen zur Funktion und Regulation von Cytohesin-1 in humanen T-Zellen von Dierks, Henning 1970-

    Veröffentlicht 2002
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Biochemische Analysen zur Funktion und Regulation von Cytohesin-1 in humanen T-Zellen

    Biochemische Analysen zur Funktion und Regulation von Cytohesin-1 in humanen T-Zellen von Dierks, Henning 1970-

    Veröffentlicht 2002
    Volltext öffnen
    Abschlussarbeit Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Specification and verification of polling real-time systems

    Specification and verification of polling real-time systems von Dierks, Henning 1970-

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Real-time systems formal specification and automatic verification

    Real-time systems formal specification and automatic verification von Olderog, Ernst-Rüdiger 1955-, Dierks, Henning 1970-

    Veröffentlicht 2008
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Biochemische Analysen zur Funktion und Regulation von Cytohesin-1 in humanen T-Zellen

    Biochemische Analysen zur Funktion und Regulation von Cytohesin-1 in humanen T-Zellen von Dierks, Henning 1970-

    Veröffentlicht 2002
    Elektronisch Software E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: