Katedry v budově:
Kabinet soft ware a výuky informati ky
Katedra aplikované matemati ky
Katedra distribuovaných a spolehlivých systémů
Katedra soft warového inženýrství
Katedra teoreti cké informati ky a matemati cké logiky
Středisko informati cké sítě a laboratoří
Ústav formální a aplikované lingvisti ky
Insti tut teoreti cké informati ky
Témata:
Kombinatorika a teorie grafů
Algoritmy a opti malizace
Diskrétní a výpočetní geometrie
Soft warové komponenty
Verifi kace programů
Tvoříme přívěti vější web
Webové a XML inženýrství
Servisně orientované systémy
Podobnostní výhledávání
Počítačová grafi ka
Deklarati vní programování
Umělá inteligence
Lingvisti cká data pro jazykové technologie
Strojový překlad – sen a realita
… 76
… 78
… 80
… 82
… 84
… 86
… 88
… 90
… 92
… 94
… 96
… 98
… 100
… 102