- O formalizaci slovosledných vlastností2012 | Matematicko-fyzikální fakulta
- K formalizaci slovosledných posunů ponocí restartovacích automatů2013 | Matematicko-fyzikální fakulta
- Nevyužitý zisk z formalizace : případ rakouské ekonomie2004 | Matematicko-fyzikální fakulta
- Formalizace evropských hypertenzních doporučení (ESH/ESC) z roku 2007Publikace bez příslušnosti k fakultě
- Formalizace doporučení diagnostických a léčebných postupů u arteriální hypertenze - verze 2007Publikace bez příslušnosti k fakultě
- Formalizace lékařských doporučení pro hypertenziPublikace bez příslušnosti k fakultě
- Formalizace a vizualizace současné teorie sociálního kapitálu2011 | Fakulta sociálních věd
- Formalizace doporučení ČSH pro diagnostiku a léčbu hypertenze - verze 2004Publikace bez příslušnosti k fakultě
- Formalizace evropských doporučení o prevenci kardiovaskulárních chorob z roku 2003Publikace bez příslušnosti k fakultě
- Formalizace metod pro posuzování shody návrhů integrace medicínských informačních systémů s integračními vzory2014 | Fakulta tělesné výchovy a sportu
- Příspěvek k problematice formalizace v jazykovědě: možnosti řešení různých případů kongruence2004 | Filozofická fakulta
- Propojení doporučených postupů pro prevenci kardiovasculárních chorob, hypertenzi, diabetes mellitus - jejich formalizacePublikace bez příslušnosti k fakultě
- Formalizace spojených doporučených postupů pro prevenci kardiovaskulárních chorob, hypertenzi, DM a dyslipidémiePublikace bez příslušnosti k fakultě
- Formalizace pravidel zdravého životního stylu v prevenci a léčbě diabetu - projekt HEALTH+Publikace bez příslušnosti k fakultě
- Formalizace evropských doporučení o prevenci kardiovaskulárních chorob z roku 2003 a české varianty 2004Publikace bez příslušnosti k fakultě
- Formalizace doporučení diagnostických a léčebných postupů u arteriální hypertenze České společnosti pro hypertenzi - verze 20072008 | 1. lékařská fakulta
- Formalizace propojených doporučených postupů pro prevenci kardiovaskulárních onemocnění v dospělém věku, hypertenzi, diabetes mellitus, dyslipidemie, obezitu a kouřeníPublikace bez příslušnosti k fakultě
- Důkazová složitost propoziční implicitní logiky2010 | Matematicko-fyzikální fakulta
- Co je za oponou- ze zákulisí tvorby Atlasu (Multimediální výukový program)Publikace bez příslušnosti k fakultě
- Co je za oponou – ze zákulisí tvorby Atlasu (Multimediální výukový program)Publikace bez příslušnosti k fakultě
- Technika, Gestell a úděl experta2006 | Publikace bez příslušnosti k fakultě
- Modelování a simulace +1Publikace bez příslušnosti k fakultě
- Jazyk, barvy a matematizace?2011 | Publikace bez příslušnosti k fakultě
- Informatika pro zdravotníky - praktická cvičení2001 | Publikace bez příslušnosti k fakultě
- Vnější vztahy EU a prevence konfliktů2004 | Publikace bez příslušnosti k fakultě
- K lingvistické struktuře evaluativního významu2014 | Matematicko-fyzikální fakulta
- Začalo to preambulí evropské ústavy2018 | Katolická teologická fakulta
- Rekonstrukce typového systému Mizaru v systému HOL Light2010 | Matematicko-fyzikální fakulta
- Sémantická anotace webových stránek pomocí webových zdrojů2007 | Matematicko-fyzikální fakulta