Search results
- Kolaboratívne dolaďovanie rozvrhu dozorov na skúškach
Ubreži Maroš ; I200 Košík Matej (Thesis advisor) ; I200
Bratislava : STU v Bratislave FIIT, 2011 . - 61 s
kolaborácia informatika Informatics
http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=57004
bakalárska prácaFaculty Available Inaccesible Issued For Request Only FIIT 0 1 0 0 - A Contribution to Techniques for Building Dependable Software Systems
Košík Matej ; I200 Šafařík Jiří
ECBS-EERC 2011. Second Eastern European Regional Conference on the Engineering of Computer Based Systems, 5-6 September 2011 Bratislava, Slovakia . s.3-12
softvérové inžinierstvo spoľahlivosť programovacie jazyky operačné systémy a programy
článok zo zborníka
AFC - Reports at international scientific conferences
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka - A Contribution to Techniques for Building Dependable Operating Systems
Košík Matej ; I200 Šafařík Jiří (Thesis advisor) ; I200
Bratislava : STU v Bratislave FIIT, 2011
operačné systémy spoľahlivosť
http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=45741
dizertačná práca
DAI - Qualificational works (thesis, habilitation, atestation...) - A Contribution to Techniques for Building Dependable Operating Systems
Košík Matej ; I200
Information Sciences and Technologies. Bulletin of the ACM Slovakia . Vol. 3 No. 4 (2011), s.1-11
článok z periodika
ADF - Scientific titles in home not carented magazines and other year-books
V3 - Vedecký výstup publikačnej činnosti z časopisu - QEMU ako plugin pre webový prehliadač
Baláž Marcel ; I300 Košík Matej (Thesis advisor) ; I200
Bratislava : STU v Bratislave FIIT, 2010
informatika Informatics
http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=22825
bakalárska prácaFaculty Available Inaccesible Issued For Request Only FIIT 0 1 0 0 - Prirodzená dedukcia
Košík Matej ; I200
Umelá inteligencia a kognitívna veda II . s.125-146
prirodzená dedukcia formálny logický systém odvodzovacie pravidlo axióm dôkazy
kapitola(článok) z dokumentu
ABD - Chapters in scientific monography issued in home editorship
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka - Simple device drivers implemented in Pict programming language
Kallo Ondrej ; I200 Košík Matej (Thesis advisor) ; I200
STU v Bratislave FIIT, 2009 . - 41 s príl. CD
informatika
bakalárska prácaFaculty Available Inaccesible Issued For Request Only FIIT 0 1 0 0 - QEMU ako plugin pre webový prehliadač
Marcinčín Roman ; I200 Košík Matej (Thesis advisor) ; I200
STU v Bratislave FIIT, 2009 . - 43 s príl.
informatika
bakalárska prácaFaculty Available Inaccesible Issued For Request Only FIIT 0 1 0 0 - QEMU ako plugin pre webový prehliadač
Eľko Ľubomír ; I200 Košík Matej (Thesis advisor) ; I200
STU v Bratislave FIIT, 2009 . - 56 s príl.
informatika
bakalárska prácaFaculty Available Inaccesible Issued For Request Only FIIT 0 1 0 0 - Taming of Pict-u
Košík Matej ; I200
SOFSEM 2008: Theory and practice of Computer Science . Vol. 4910 SOFSEM 2008: Theory and Practice of Computer Science (2008), s.610-621
bezpečnostný audit Pict oprávnenia nedôveryhodný kód
článok z periodika
AED - Scientific titles in home noticed scientific year-books (not conference)
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka