Výsledky vyhľadávania

Nájdených záznamov: 3  
Váš dotaz: Autor-kód záznamu = "^stu_us_auth stu1246^"
  1. Embedded Systems Design : The ARTIST Roadmap for Research and Development
    Bouyssounouse Bruno (ed.)  Sifakis J (ed.)
    Springer Berlin Heidelberg, 2005 . - 492 s
    ISBN 978-3-540-25107-1
    monografia
    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

  3. Železo. Fakty i legendy / [aut.] Beckert,Manfred
    Beckert Manfred 
    2.izd.
    Moskva : Metallurgija, 1988 . - 239 s
    monografia
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    SJF0001
    kniha

    kniha



  Tieto stránky využívajú súbory cookies, ktoré uľahčujú ich prezeranie. Ďalšie informácie o tom ako používame cookies.