Typ studia Ing. Absolvování BS 2005 Bakalářská práce Knihovna pro celočíselné výpočty Absolvování NMS 2008