Treffer 1 – 9 von 9 für Suche 'Kropf, Thomas', Suchdauer: 0,03s 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
    Kommunikative Funktionen des Dialekts im Unterricht Theorie und Praxis in der deutschen Schweiz

    Kommunikative Funktionen des Dialekts im Unterricht Theorie und Praxis in der deutschen Schweiz von Kropf, Thomas

    Veröffentlicht 2017
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Introduction to formal hardware verification

    Introduction to formal hardware verification von Kropf, Thomas

    Veröffentlicht 1999
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Der einheitliche Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik

    Der einheitliche Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik von Kropf, Thomas

    Veröffentlicht 1993
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Kommunikative Funktionen des Dialekts im Unterricht Theorie und Praxis in der deutschen Schweiz

    Kommunikative Funktionen des Dialekts im Unterricht Theorie und Praxis in der deutschen Schweiz von Kropf, Thomas

    Veröffentlicht 1986
    Inhaltsverzeichnis
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Von den Schwierigkeiten mit dem klassischen Nachrichten-Aufbau oder: ein "Andock-Modell" als Alternative zum "Pyramiden-Modell"

    Von den Schwierigkeiten mit dem klassischen Nachrichten-Aufbau oder: ein "Andock-Modell" als Alternative zum "Pyramiden-Modell" von Kropf, Thomas

    Veröffentlicht 1999

    Volltext öffnen
    Artikel Fernleihe Bestellen


    Gespeichert in:
  6. 6
    A common approach to test generation and hardware verification based on temporal logic

    A common approach to test generation and hardware verification based on temporal logic von Kropf, Thomas, Wunderlich, Hans-Joachim

    Veröffentlicht 1991
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    VLSI-Entwurf Vorgehen, Methoden, Automatisierung

    VLSI-Entwurf Vorgehen, Methoden, Automatisierung von Kropf, Thomas

    Veröffentlicht 1995
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik

    Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik von Kropf, Thomas

    Veröffentlicht 1993
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Structuring hardware proofs first step towards automation in a higher-order environment

    Structuring hardware proofs first step towards automation in a higher-order environment von Schneider, Klaus, Kumar, Ramayya, Kropf, Thomas

    Veröffentlicht 1991
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: