Theses on the same topic (having an identical keyword):

formalni nastroje

Keywords ordered alphabetically | Keywords ordered by occurrence rate

« 1 2 » (total: 20 theses)
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 | Theses on a related topic

List of theses with an identical keyword.

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 / | Theses on a related topic

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 | Theses on a related topic

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 | Theses on a related topic

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 / | Theses on a related topic

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 / | Theses on a related topic

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 | Theses on a related topic

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 | Theses on a related topic

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 | Theses on a related topic

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 | Theses on a related topic

« 1 2 » (total: 20 theses)