Showing 1 - 9 results of 9 for search 'Kropf, Thomas', query time: 0.04s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  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 by Kropf, Thomas

    Published 2017
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  2. 2
    Introduction to formal hardware verification

    Introduction to formal hardware verification by Kropf, Thomas

    Published 1999
    Indexes
    Book Interlibrary loan Place Request


    Saved 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 by Kropf, Thomas

    Published 1993
    Thesis Book Interlibrary loan Place Request


    Saved 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 by Kropf, Thomas

    Published 1986
    Indexes
    Thesis Book Interlibrary loan Place Request


    Saved 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" by Kropf, Thomas

    Published 1999

    Get full text
    Article Interlibrary loan Place Request


    Saved 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 by Kropf, Thomas, Wunderlich, Hans-Joachim

    Published 1991
    Conference Proceeding Book Interlibrary loan Place Request


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

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

    Published 1995
    Indexes
    Book Interlibrary loan Place Request


    Saved 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 by Kropf, Thomas

    Published 1993
    Indexes
    Book Interlibrary loan Place Request


    Saved 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 by Schneider, Klaus, Kumar, Ramayya, Kropf, Thomas

    Published 1991
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:

Search Tools: