Výsledky vyhľadávania

Nájdených záznamov: 60  
Váš dotaz: Autor-kód záznamu = "^stu_us_auth stu61652^"
  1. Automated Formal Verification for UML-based Model Driven Design of Embedded Systems
    Kardoš Martin ; E220  Frištacký Norbert (škol.) ; I100
    STU v Bratislave FIIT, 2005 . - 163 s príl.
    dizertačná práca
    DAI - Dizertačné a habilitačné práce
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FIIT1000
    kniha

    kniha

  2. Design and test of digital systems (preface)
    Frištacký Norbert ; I100  Gramatová Elena ; I100
    Computing and Informatics . Vol. 24, No. 5-6 (2005), s.409-413
    Digital systems
    článok z periodika
    BDD - Odborné práce v domácich karentovaných časopisoch
    O3 - Odborný výstup publikačnej činnosti z časopisu
    článok

    článok

  3. A formal description of digital systems inter-module communications
    Frištacký Norbert ; I100 
    ECI 2004 Electronics Computers nad Informatics. Košice - Herľany, September 22-24, 2004 . s.117-124
    článok zo zborníka
    AFD - Publikované príspevky na domácich vedeckých konferenciách
    V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
    článok

    článok

  4. A Method for Formal Description of Digital System Inter-Module Communications and Its Application
    Káčerík Jozef  Frištacký Norbert ; E220
    DDECS 2002 : . s.340-343
    článok zo zborníka
    AFC - Publikované príspevky na zahraničných vedeckých konferenciách
    V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
    článok

    článok

  5. Research in Computer Engineering
    Frištacký Norbert ; 070400  Hudec Ladislav ; 070400
    Journal of Electrical Engineering . Vol. 52, No. 7-8 (2001), s.248-252
    výskum počítačové inžinierstvo
    článok z periodika
    (4) - článok
    článok

    článok

  6. Dynamický prekladač zápisu špecifikácie z HSSL jazyka
    Zeman Viktor  Frištacký Norbert (škol.) ; E220 Kardoš Martin (škol.) ; E220
    Bratislava : STU v Bratislave FEI, 2000
    FEI ; . - 62 s
    informatika
    diplomová práca
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FIIT0001
    kniha

    kniha

  7. Grafický editor na zápis časovacích diagramov : Diplomová práca
    Azor Ondrej  Frištacký Norbert (škol.) ; E220
    Bratislava : STU v Bratislave FEI, 2000
    FEI ;
    informatika
    diplomová práca
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FIIT0001
    kniha

    kniha

  8. Preklad zo špecifikačného jazyka HSL do vnútornej formy = Translation from specitication languange HSL to internal structure : Dipl.práca
    Fukna Henrich  Frištacký Norbert (škol.) ; E220 Káčerík Jozef (škol.)
    Bratislava : STU v Bratislave FEI, 1999
    FEI ; . - 79 s., disketa
    informatika
    diplomová práca
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FIIT0001
    kniha

    kniha

  9. On the history of computer science, computer engineering, and computer technology development in Slovakia
    Dujnic J.  Frištacký Norbert ; I100 Molnár Ludovít ; I200 Plander Ivan Rovan Branislav
    IEEE Annals of the History of Computing . Vol. 21, No. 3 (1999), s.38-48
    článok z periodika
    ADC - Vedecké práce v zahraničných karentovaných časopisoch
    V3 - Vedecký výstup publikačnej činnosti z časopisu
    (4) - článok
    článok

    článok

  10. Prekladač z jazyka HSSL do jazyka VHDL =Dompiler from HSSL language to VHDL language : Dipl.práca
    Panák Miroslav  Frištacký Norbert (škol.) ; E220
    Bratislava : STU v Bratislave FEI, 1999
    FEI ; . - 72 s
    informatika
    diplomová práca
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FIIT0001
    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.