Práce na stejné téma (mají shodná klíčová slova):
formalni nastrojeKlíčová slova abecedně | Klíčová slova dle četnosti
Nástroje pomoci v obtížných životních situacích na malých obcích
(Eva Gabrielová)2022, absolventská práce, CARITAS - Vyšší odborná škola sociální Olomouc
• https://is.caritas-vos.cz/th/vpe0y/ | Sociální práce a sociální pedagogika / Charitativní a sociální práce | Práce na příbuzné téma
Návrh a implementace nástroje pro formální verifikaci systémů specifikovaných jazykem RT logiky
(Jan Fiedor)2016, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//8r2g2w// | Informační technologie / | Práce na příbuzné téma
Tokeny jako (investiční) nástroje?
(Štěpán Daněk)2020, Diplomová práce, Právnická fakulta / Masarykova univerzita
• https://is.muni.cz/th/qswbv/ | Právo a právní věda / Právo | Práce na příbuzné téma
Nástroj pro formální analýzu relační databáze
(Jan Bršťák)2016, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/116041 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma
Zlepšení přesnosti formální analýzy programů v nástroji 2LS
(Martin Smutný)2019, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//4ld9rc// | Informační technologie / | Práce na příbuzné téma
Automatická formální verifikace korektnosti programů v nástrojích SDV, Copper a podobných
(Peter Kovalič)2016, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//gqde5g// | Informační technologie / | Práce na příbuzné téma
Formální vzdělávání jako nástroj seberealizace dospělých
(Barbora Motyčková)2014, Diplomová práce, Univerzita Jana Amose Komenského Praha
• http://theses.cz/id//w5ja6z// | Pedagogika / Andragogika | Práce na příbuzné téma
Formální konceptuální analýza nad vícehodnotovými daty v systému eLogika
(Jakub Kermaschek)2017, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/119143 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma
Zmapování spokojenosti zaměstnanců s formální komunikací v organizaci
(Kamila Vasileva)2011, Diplomová práce, Ekonomická fakulta / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/84793 | Ekonomika a management / Management | Práce na příbuzné téma
Nástroje pro tvorbu formálních ontologií
(Tomáš KOLIBA)2011, Bakalářská práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//5n84eg// | Aplikovaná informatika / Informatika a výpočetní technika - aplikovaná informatika | Práce na příbuzné téma