Treffer 1 – 2 von 2 für Suche 'Cheng, Chih-Hong', 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
    An implementation for algorithmic game solving and its applications in system synthesis

    An implementation for algorithmic game solving and its applications in system synthesis von Cheng, Chih-Hong

    Veröffentlicht 2012
    Volltext öffnen
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Automated technology for verification and analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019 : proceedings

    Automated technology for verification and analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019 : proceedings

    Veröffentlicht 2019
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: