Výsledky vyhľadávania

  1. Operating Systems / aut. Jaroslav Fogel
    Fogel Jaroslav 
    1. vyd.
    Nitra : ForPress, 2014 . - 80 s.
    ISBN 978-80-89731-11-4
    monografia
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FEI0100
    kniha

    kniha

  2. Verifikácia konkurentných programov napísaných v jazyku JAVA
    Šajtlava Igor ; E  Fogel Jaroslav (škol.) ; 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
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FEI0001
    kniha

    kniha

  3. Automatická podpora vývoja UML diagramov transformáciou modelov
    Lajda Miroslav ; E  Fogel Jaroslav (škol.) ; E200
    Bratislava : STU v Bratislave FEI, 2012 . - 68 s CD-ROOM
    Applied Infromatics UML OCL
    http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=81489
    diplomová práca
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FEI0001
    kniha

    kniha

  4. Simulácia interfejzu shellu s históriou
    Ďurech Dušan ; E  Fogel Jaroslav (škol.) ; E200
    Bratislava : STU v Bratislave FEI, 2012 . - 42 s CD-ROOM
    Applied Informatics operačný systém Linux
    http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=65124
    bakalárska práca
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FEI0001
    kniha

    kniha

  5. Monitorovanie pohybu jedinca v dynamických podmienkach
    Ferianc Michal ; E  Fogel Jaroslav (škol.) ; E200
    Bratislava : STU v Bratislave FEI, 2011 . - 44 s
    Aplikovaná informatika Applied Informatics processing database spracovanie Java
    http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=56375
    bakalárska práca
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FEI0001
    kniha

    kniha

  6. Modelovanie a verifikácia vlastností algoritmov vzájomného vylúčenia v prostredi SPIN
    Arbet Peter ; E  Fogel Jaroslav (škol.) ; E200
    Bratislava : STU v Bratislave FEI, 2011 . - 39 s
    Aplikovaná informatika Applied Informatics verifikácia verification spin algoritmy
    http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=81616
    bakalárska práca
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FEI0001
    kniha

    kniha

  7. Verifikácia konkurentných programov napísaných v jazyku C
    Mészáros Martin ; E  Fogel Jaroslav (škol.) ; E200
    Bratislava : STU v Bratislave FEI, 2011 . - 64 s
    Aplikovaná informatika Applied Infromatics verifikácia projektového plánu
    http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=71816
    diplomová práca
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FEI0001
    kniha

    kniha

  8. Konštrukcia Buchiho automatov z formúl logiky LTL
    Plevko Ján ; E  Fogel Jaroslav (škol.) ; E200
    Bratislava : STU v Bratislave FEI, 2011 . - 61 s
    Aplikovaná informatika Applied Infromatics verifikačné protokoly
    http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=71860
    diplomová práca
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FEI0001
    kniha

    kniha

  9. Aplikácie mobilných zariadení v medicíne
    Paľo Dominik ; E  Fogel Jaroslav (škol.) ; E200
    Bratislava : STU v Bratislave FEI, 2011 . - 55 s
    Aplikovaná informatika Applied Informatics bluetooth telemedicína krvný tlak
    http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=56596
    bakalárska práca
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FEI0001
    kniha

    kniha

  10. Využitie moderných ICT v rehabilitácii pacientov
    Hatala Matej ; E  Fogel Jaroslav (škol.) ; E200
    Bratislava : STU v Bratislave FEI, 2011 . - 76 s
    Aplikovaná informatika web application information system diagnostics rehabilitation informačný systém rehabilitácia Applied Infromatics ICT in education
    http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=71798
    diplomová práca
    Fakulta Voľné Prezenčne Vypožičané Nedostupné
    FEI0001
    kniha

    kniha