Search results

Records found: 5  
Your query: Author Sysno = "^stu_us_auth stus28267^"
  1. Špecifikácia stavebného diela z pohľadu informačnej infraštruktúry
    Bažík Peter ; V270 
    Oceňovanie a riadenie stavebných projektov 2014 : . CD ROM, s. 10-19
    špecifikácia zmluva údaje definovanie informačná infraštruktúra
    článok zo zborníka
    AEC - Scientific titles in foreign noticed scientific year-books (not conference)
    V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
    article

    article

  2. Zabezpečenie reálneho času v jazyku Java
    Kováčik Lukáš ; E  Blaho Michal (Thesis advisor) ; E011
    Bratislava : STU v Bratislave FEI, 2013 . - 51 s CD-ROOM
    Industrial Informatics špecifikácia reálny čas
    http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=65691
    bakalárska práca
    Faculty Available Inaccesible Issued For Request Only
    FEI0001
    book

    book

  3. Power-Intent Integration into the Digital System Specification Model
    Macko Dominik ; I100  Jelemenská Katarína ; I100
    Proceedings of The Second Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale (Median 2013) : . s.49-51
    digitálny systém model špecifikácia systémová úroveň
    č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
    article

    article

  4. Zhotovovanie betónových konštrukcií podľa novej normy STN EN 13670
    Hudoba Igor ; V110 
    Výroba betónu 2011 : . s.12-17
    betónová konštrukcia concrete structures execution specification špecifikácia zhotovovanie betónových konštrukcií
    článok zo zborníka
    AFD - Reports at home scientific conferences
    V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
    article

    article

  5. Temporal Operators Until and Unless in Digital System Verification
    Kotmanová Daniela ; I100  Kolesár Milan ; I100
    INFORMATICS 2009 : . s.198-206
    temporálna logika špecifikácia verifikácia systémový model kontrola modelu
    článok zo zborníka
    AFD - Reports at home scientific conferences
    V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
    article

    article



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