Now showing items 1-2 of 2

  • Nástroj pro statickou analýzu programů se seznamy 

    Kotoun, Michal
    Tvorba softwarového analyzátoru je komplexní úloha -- je nutno implementovat parsování zdrojového kódu, reprezentaci instrukcí, abstrakci hodnot, uživatelské rozhraní, ... a také analýzu samu. Abychom předešli zbytečné ...
  • Pohonné jednotky automobilů BMW 

    Guláš, Tomáš
    Bakalárska práca sa zaoberá pohonnými jednotkami mníchovskej automobilky BMW. Hodnotí ich historický vývoj, zameriava sa na zaujímavé inovatívne riešenia v danej oblasti, charakterizuje súčasný stav a úspech BMW na svetovom ...