Home
Přehled
IA040
IV022
PA052
IV010
Novinky
Konzultační hodiny
St: 10:00 - 11:00
jiný termín jen po domluvě
Vyučované předměty
Podzimní semestr
IA040 Modální a temporální logiky procesů
Jarní semestr
IV010 Komunikace a paralelizmus
IV022 Návrh a verifikace algoritmů
PA052 Úvod do systémové biologie
Copyright © 2009-2017 Luboš Brim. All Rights Reserved.