Práce na stejné téma (mají shodná klíčová slova):
formalni metodyKlíčová slova abecedně | Klíčová slova dle četnosti
Formální metody pro analýzu neuronových sítí
(David Hudák)2022, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//0pxk1k// | Informační technologie / | Práce na příbuzné téma
Aplikace formální konceptuální analýzy jako obecné metody na speciální zámkové systémy
(Adam Klinčúch)2018, Bakalářská práce, Fakulta aplikované informatiky / Univerzita Tomáše Bati ve Zlíně
• http://theses.cz/id//q5ttk5// | Inženýrská informatika / Bezpečnostní technologie, systémy a management | Práce na příbuzné téma
Využití formální konceptuální analýzy jako obecné metody pro zpracování internetových stránek
(Aleš SEKANINA)2010, Diplomová práce, Fakulta aplikované informatiky / Univerzita Tomáše Bati ve Zlíně
• http://theses.cz/id//jkbzgm// | Inženýrská informatika / Počítačové a komunikační systémy | Práce na příbuzné téma
Vývoj prostorových struktur České republiky: aplikace metod formální regionální taxonomie
(Václav ŠTĚPÁNEK)2022, Diplomová práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//pzv7ul// | Geografie / Regionální geografie | Práce na příbuzné téma
Modelování FGFR signálních drah s využitím formálních metod
(Jiří Těthal)2015, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/fir0i/ | Aplikovaná informatika / Bioinformatika | Práce na příbuzné téma
Využití formálních metod v přibližném počítání
(Jiří Matyáš)2024, Disertační práce, Vysoké učení technické v Brně
• http://theses.cz/id//y1pjxy// | Výpočetní technika a informatika / | Práce na příbuzné téma
Využití formálních metod v přibližném počítání
(Jiří Matyáš)2024, Disertační práce, Vysoké učení technické v Brně
• http://theses.cz/id//34cg8e// | Výpočetní technika a informatika / | Práce na příbuzné téma
Aplikace formálních metod v analýze sémantických rozdílů mezi verzemi software
(František Nečas)2024, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//5n0nuz// | Informační technologie a umělá inteligence / | Práce na příbuzné téma
Analýza elektromechanických zámkových systémů metodami formální konceptuální analýzy.
(Jarmila Mizerová)2015, Bakalářská práce, Fakulta aplikované informatiky / Univerzita Tomáše Bati ve Zlíně
• http://theses.cz/id//bhlcvc// | Inženýrská informatika / Bezpečnostní technologie, systémy a management | Práce na příbuzné téma
Metody a nástroje pro generování testů pro HiL testování
(Veronika HOUSAROVÁ)2012, Diplomová práce, Fakulta elektrotechnická / ZÁPADOČESKÁ UNIVERZITA V PLZNI
• http://theses.cz/id//5v41ch// | Elektrotechnika a informatika / Komerční elektrotechnika | Práce na příbuzné téma