2017/18 sügis MTAT.03.274 Formaalmeetodid tarkvaratehnikas MTAT.05.121 Reading Course: Distributed Algorithms MTAT.05.116 Seminar: Theory of Machine Learning LTAT.05.003 Tarkvaratehnika
