Prednáška M-213 Formálne špecifikácie Ut 12:20 15:20 I. Prívara Prednáška M-213 Úvod do distribuovaných algoritmov Ut 15:40 17:10 R. Královič Výber/Vol M-213 Vybrané partie z teórie jazykov St 8:10 9:40 B. Rovan Prednáška M-213 Úvod do distribuovaných algoritmov St 9:50 11:20 R. Královič Výber/Vol M-213 Vybrané partie z teórie jazykov Št 8:10 9:40 B. Rovan Seminár M-213 Seminár z teórie grafov (2) Št 9:50 11:20 M. Škoviera