Treffer 1 – 14 von 14 für Suche 'Yoeli, Michael', Suchdauer: 0,06s 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
    Verification of systems and circuits using LOTOS, Petri Nets, and CCS

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS von Yoeli, Michael 1917-

    Veröffentlicht 2008
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Synthesis of delay-insensitive circuits specified by trace graphs

    Synthesis of delay-insensitive circuits specified by trace graphs von Ginzburg, Abraham, Yoeli, Michael

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Specification and verification of asynchronous circuits

    Specification and verification of asynchronous circuits von Yoeli, Michael

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Digital networks

    Digital networks von Brzozowski, Janusz A. 1935-, Yoeli, Michael

    Veröffentlicht 1976
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Verification of systems and circuits using LOTOS, Petri nets, and CCS

    Verification of systems and circuits using LOTOS, Petri nets, and CCS von Yoeli, Michael, Kol, Rakefet

    Veröffentlicht 2008
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Verification of systems and circuits using LOTOS, Petri Nets, and CCS

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS von Yoeli, Michael

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


    Gespeichert in:
  7. 7
    Verification of systems and circuits using LOTOS, Petri Nets, and CCS

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS von Yoeli, Michael 1917-

    Veröffentlicht 2008
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Verification of systems and circuits using LOTOS, Petri Nets, and CCS

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS von Yoeli, Michael 1917-

    Veröffentlicht 2008
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Net-based synthesis of delay-insensitive circuits

    Net-based synthesis of delay-insensitive circuits von Yoeli, Michael

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Super-nets and their hierarchy

    Super-nets and their hierarchy von Etzion, Tuvi, Yoeli, Michael

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Reducibility of synchronization structures

    Reducibility of synchronization structures von Ginzburg, A., Yoeli, Michael

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    On parallel programming primitives

    On parallel programming primitives von Yoeli, Michael, Ginzburg, A.

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    On the application of extended Petri nets to the verification of protocols

    On the application of extended Petri nets to the verification of protocols von Tomer, Amir, Yoeli, Michael

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Digital networks

    Digital networks von Brzozowski, Janusz A. 1935-, Yoeli, Michael

    Veröffentlicht 1976
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: