Treffer 1 – 3 von 3 für Suche 'Lam, William K.', Suchdauer: 0,04s 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
    Hardware design verification simulation and formal method-based approaches

    Hardware design verification simulation and formal method-based approaches von Lam, William K.

    Veröffentlicht 2005
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Timed Boolean Functions A Unified Formalism for Exact Timing Analysis

    Timed Boolean Functions A Unified Formalism for Exact Timing Analysis von Lam, William K. C., Brayton, Robert K.

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


    Gespeichert in:
  3. 3
    Timed Boolean functions a unified formalism for exact timing analysis

    Timed Boolean functions a unified formalism for exact timing analysis von Lam, William K., Brayton, Robert K.

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: