PhD Thesis Defense
RNDr. Filip Mravec
18. 6. 2018, 14:00, at B517
Numerical Processing of Spectrometric Data
RNDr. František Blahoudek
25. 6. 2018, 10:00, at B517
Automata for Formal Methods: Little Steps Towards Perfection
18. 6. 2018, 14:00, at B517
Numerical Processing of Spectrometric Data
RNDr. František Blahoudek
25. 6. 2018, 10:00, at B517
Automata for Formal Methods: Little Steps Towards Perfection