«NOV
DEC
FEB »
6
2013
2014
2016 »
34 captures
1 Nov 14 - 26 May 18
Close
Help
Česky
English
Ústav informatiky
Akademie věd České republiky
"Problémy reálného světa jsou především ty, na které odmítáte aplikovat jejich efektivní řešení." - E. W. Dijkstra
Úvod
O nás
O nás
Struktura ústavu
Spolupráce
Výroční zprávy
Lidé a výzkum
Lidé
Výzkum
Granty
Knihovna
Knihovna
Informační zdroje
Publikace
Výsledky a ocenění
Vzdělávání
Kalendář událostí
Události a konference
Nadcházející semináře
Historie událostí
Kalendář událostí
Události a konference
Nadcházející semináře
Historie událostí
Nadcházející semináře
Vánoční posezení
17.12.2014 14:00
@
Applied Mathematical Logic
