Search results

Records found: 4  
Your query: Author Sysno/Doc.kind = "^stu_us_auth stus479 ddp^"
  1. Verifikácia konkurentných programov napísaných v jazyku JAVA
    Šajtlava Igor ; E  Fogel Jaroslav (Thesis advisor) ; E200
    Bratislava : STU v Bratislave FEI, 2012 . - 99 s
    Applied Infromatics model checking verifikácia
    http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=71828
    diplomová práca
    Faculty Available Inaccesible Issued For Request Only
    FEI0001
    book

    book

  2. Bezpečnostná analýza sieťových protokolov
    Marko Peter ; I100  Hudec Ladislav (Thesis advisor) ; I300
    Bratislava : STU v Bratislave FIIT, 2010 . - 76 s príl.
    počítačové a komunikačné systémy a siete Computer and Communication Systems and Networks verification model verifikácia
    http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=74742
    diplomová práca
    Faculty Available Inaccesible Issued For Request Only
    FIIT0100
    book

    book

  3. Optimalizácia parametrov virtuálneho modelu vozidla na základe experimentálnych údajov
    Jedinák Michal ; J0070  Magdolen Ľuboš (Thesis advisor) ; 020030
    Bratislava : STU v Bratislave SjF, 2010
    aplikovaná mechanika Applied Mechanics citlivostná analýza verifikácia sensitivity analysis verification
    http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=62749
    diplomová práca
    book

    book

  4. Tvorba postprocesora a systému simulácie a verifikácie pre CNC výrobný stroj v systéme NX [CD-ROM]
    Slezák Juraj ; J0070  Králik Marián (xxx) ; J0070
    Bratislava : STU v Bratislave SjF, 2009 . - 94 s
    simulácia verifikácia postprocesory simulation verification postprocessor
    diplomová práca
    Faculty Available Inaccesible Issued For Request Only
    SJF1000
    book

    book



  This site uses cookies to make them easier to browse. Learn more about how we use cookies.