Výsledky vyhľadávania

  1. 42. Internationales Wissenschaftliches Kolloquim. Band 1 : 22. - 25. sept. 1997
    Technische Universität Ilmenau, 1997 . - 637 s
    počítače programovanie počítačové siete informatika počítačová grafika Telekomunikácie
    zborník (príspevkov)
    (3) - článok
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FIIT1000
    kniha

    kniha

  2. Automatic verification methods for finite state systems : Konf. International Workshop, Grenoble, France, 12.- 14. juna. 1989 / Sprac.: Sifakis,J
    Sifakis J (zost.) 
    Berlin : Springer Verlag, 1990 . - 382 s
    ISBN 3-540-52148-8
    počítače navrhovanie počítačových systémov matematická kybernetika overovanie
    zborník (príspevkov)
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FIIT1000
    kniha

    kniha