Home
Přehled
IB107
IA040
IV022
PA052
IV010
IA046
IA073
Novinky
Konzultační hodiny
Po: 9:00 - 10:00
jiný termín jen po domluvě
Vyučované předměty
Podzimní semestr
IB107 Vyčíslitelnost a složitost
IA040 Modální a temporální logiky procesů
IA073 GEB - meze formálních systémů
Jarní semestr
IV010 Komunikace a paralelizmus
IA046 Vyčíslitelnost
IV022 Návrh a verifikace algoritmů
PA052 Úvod do systémové biologie
Copyright © 2009-2013 Luboš Brim. All Rights Reserved.