Treffer 1 - 9 von 9 für Suche 'Kropf, Thomas', Suchdauer: 4,04s Treffer weiter einschränken
  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
    FHA01
    FKE01
    FLA01
    UBG01
    UPA01
    FAW01
    FAB01
    FCO01
    UBM01
    UBY01
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Introduction to formal hardware verification

    Introduction to formal hardware verification von Kropf, Thomas

    Veröffentlicht 1999
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    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

    Zu den Favoriten
    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

    Zu den Favoriten
    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
    Artikel

    Zu den Favoriten
    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

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

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

    Veröffentlicht 1995
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    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

    Zu den Favoriten
    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

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: