Information retrieval
ČVUT v Praze
Seminář z formálních specifikací
ČVUT v Praze
Exaktní reálná aritmetika
ČVUT v Praze
Diagnostika a rekonfigurace programovatelných obvodů
ČVUT v Praze
Architektura symbolických počítačů
ČVUT v Praze
Arbologie
ČVUT v Praze
Aplikovaná numerická matematika
ČVUT/ANUM
ČVUT v Praze
Algoritmy komprese dat
ČVUT v Praze