Formální analýza a verifikace
FAV
VUT v Brně
Teoretická informatika
TIN
VUT v Brně
Projektová praxe 2
VUT v Brně
Projektová praxe 1
VUT v Brně
Vybrané problémy informačních systémů
VUT v Brně
Vybrané problémy softwarového inženýrství a databázových systémů
VUT v Brně
Vybrané problémy získávání znalostí z databází
VUT v Brně
Získávání znalostí z databází
VUT v Brně