Search results

  1. 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
    article

    article

  2. 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áca
    Faculty Available Inaccesible Issued For Request Only
    FIIT0100
    book

    book

  3. 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...)
    book

    book

  4. 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
    article

    article

  5. 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áca
    Faculty Available Inaccesible Issued For Request Only
    FIIT0100
    book

    book

  6. 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
    article

    article

  7. 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áca
    Faculty Available Inaccesible Issued For Request Only
    FIIT0100
    book

    book

  8. 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áca
    Faculty Available Inaccesible Issued For Request Only
    FIIT0100
    book

    book

  9. 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áca
    Faculty Available Inaccesible Issued For Request Only
    FIIT0100
    book

    book

  10. Strategies for Memory Accounting of Cooperating Pi-Calculus Processes
    Košík Matej ; I200  Šafařík Jiří
    4th Doctoral Workshop on Matematical and Engineering Methods in Computer Science : . s.115-117
    článok zo zborníka
    AEC - Scientific titles in foreign noticed scientific year-books (not conference)
    article

    article