Search results
- Operating Systems / aut. Jaroslav Fogel
Fogel Jaroslav
1. vyd.
Nitra : ForPress, 2014 . - 80 s.
ISBN 978-80-89731-11-4
monografiaFaculty Available Inaccesible Issued For Request Only FEI 0 1 0 0 
book
- 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ácaFaculty Available Inaccesible Issued For Request Only FEI 0 0 0 1 book
- Automatická podpora vývoja UML diagramov transformáciou modelov
Lajda Miroslav ; E Fogel Jaroslav (Thesis advisor) ; 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ácaFaculty Available Inaccesible Issued For Request Only FEI 0 0 0 1 book
- Simulácia interfejzu shellu s históriou
Ďurech Dušan ; E Fogel Jaroslav (Thesis advisor) ; 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ácaFaculty Available Inaccesible Issued For Request Only FEI 0 0 0 1 book
- Monitorovanie pohybu jedinca v dynamických podmienkach
Ferianc Michal ; E Fogel Jaroslav (Thesis advisor) ; 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ácaFaculty Available Inaccesible Issued For Request Only FEI 0 0 0 1 book
- Modelovanie a verifikácia vlastností algoritmov vzájomného vylúčenia v prostredi SPIN
Arbet Peter ; E Fogel Jaroslav (Thesis advisor) ; 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ácaFaculty Available Inaccesible Issued For Request Only FEI 0 0 0 1 book
- Verifikácia konkurentných programov napísaných v jazyku C
Mészáros Martin ; E Fogel Jaroslav (Thesis advisor) ; 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ácaFaculty Available Inaccesible Issued For Request Only FEI 0 0 0 1 book
- Konštrukcia Buchiho automatov z formúl logiky LTL
Plevko Ján ; E Fogel Jaroslav (Thesis advisor) ; 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ácaFaculty Available Inaccesible Issued For Request Only FEI 0 0 0 1 book
- Aplikácie mobilných zariadení v medicíne
Paľo Dominik ; E Fogel Jaroslav (Thesis advisor) ; 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ácaFaculty Available Inaccesible Issued For Request Only FEI 0 0 0 1 book
- Využitie moderných ICT v rehabilitácii pacientov
Hatala Matej ; E Fogel Jaroslav (Thesis advisor) ; 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ácaFaculty Available Inaccesible Issued For Request Only FEI 0 0 0 1 book