Práce na stejné téma (mají shodná klíčová slova):
formalizationKlíčová slova abecedně | Klíčová slova dle četnosti
Coinductive Formalization of SECD Machine in Agda
(Adam Krupička)2018, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/vhz48/ | Informatika / Teoretická informatika | Práce na příbuzné téma
Formalization of the Central Management Service and broadening of the solution for unattended installation
(Matej Antol)2014, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/lc3cx/ | Aplikovaná informatika / Služby - výzkum, řízení a inovace | Práce na příbuzné téma
Automata-formalization for graphs of bounded rank-width
(Robert Ganian)2008, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/is66a/ | Informatika / Teoretická informatika | Práce na příbuzné téma
Webový korektor jako prostředek formalizace pravidel českého jazyka
(Vojtěch Mrkývka)2023, Disertační práce, Filozofická fakulta / Masarykova univerzita
• https://is.muni.cz/th/vyjk2/ | Český jazyk / | Práce na příbuzné téma
Formalizace a řízení firemních procesů
(Lucie Brindžáková)2019, Diplomová práce, Ekonomická fakulta / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/138639 | Systémové inženýrství a informatika / Informatika v ekonomice | Práce na příbuzné téma
Formalizace procesu zpracování požadavků na konfigurace firewallu v prostředí Státního ústavu pro kontrolu léčiv
(Matěj Nedbal)2022, Bakalářská práce, Vysoká škola ekonomická v Praze
• https://vskp.vse.cz/eid/86253 | Aplikovaná informatika / | Práce na příbuzné téma
Formalizace výrobních procesů pomocí metod projektového řízení
(Jan Klimeš)2021, Diplomová práce, Ekonomická fakulta / Technická univerzita v Liberci
• http://theses.cz/id//5puyih// | Systémové inženýrství a informatika / Manažerská informatika | Práce na příbuzné téma
Formalizace pravidel pro podnikový reporting a metodika jejich implementace pro informační systém
(Jakub Machalický)2023, Disertační práce, Provozně ekonomická fakulta / Mendelova univerzita v Brně
• http://theses.cz/id//ywml97// | Systémové inženýrství a informatika / Ekonomická informatika | Práce na příbuzné téma
Formalizace základních procesů rámce ITIL pomocí metody BPM
(Jakub Janiš)2010, Diplomová práce, Fakulta elektrotechniky a informatiky / Vysoká škola báňská - Technická univerzita Ostrava
• http://hdl.handle.net/10084/78489 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma
Formalizace a řízení obchodních procesů
(Matěj Papřok)2013, Diplomová práce, Ekonomická fakulta / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/96877 | Systémové inženýrství a informatika / Aplikovaná informatika | Práce na příbuzné téma