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
Z neformální formální? Důvody formalizace NNO.
(Bára Filipová)2024, Bakalářská práce, Ekonomicko-správní fakulta / Masarykova univerzita
• https://is.muni.cz/th/htnon/ | Hospodářská politika a správa / Ekonomika a řízení nestátních neziskových organizací | 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 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 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 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 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