Práce na stejné téma (mají shodná klíčová slova):
verifikáciaKlíčová slova abecedně | Klíčová slova dle četnosti
Verifikace paralelní hashovací tabulky z knihovny Folly
(Jakub Kadaši)2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/oeqnx/ | Informatika / Počítačové systémy a zpracování dat | Práce na příbuzné téma
Verifikace bezpečnostně kritických a bezpečnostních systémů kontroly a řízení metodou model checking a strukturálním testováním
(Tomáš AUSBERGER)2024, Disertační práce, Fakulta aplikovaných věd / ZÁPADOČESKÁ UNIVERZITA V PLZNI
• http://theses.cz/id//l43i7b// | Aplikované vědy a informatika / Kybernetika | Práce na příbuzné téma
Porovnání nástrojů pro paralelní LTL model checking
(Marek Tomáštík)2013, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/dk1b6/ | Informatika / Matematická informatika | Práce na příbuzné téma
Verifikace paralelní hashovací tabulky z knihovny Folly
(Jakub Kadaši)2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/oeqnx/ | Informatika / Počítačové systémy a zpracování dat | Práce na příbuzné téma
Verifikace paralelní hashovací tabulky z knihovny Folly
(Jakub Kadaši)2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/oeqnx/ | Informatika / Počítačové systémy a zpracování dat | Práce na příbuzné téma
Verifikace paralelní hashovací tabulky z knihovny Folly
(Jakub Kadaši)2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/oeqnx/ | Informatika / Počítačové systémy a zpracování dat | Práce na příbuzné téma
Prosodická analýza textu (1C, 2C, 3C, 4C, 5C, 6C, 7C, 8C)
(Karolína VOLOŠINOVÁ)2018, Bakalářská práce, Filozofická fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//dd6vsn// | Filologie / Čínská filologie | Práce na příbuzné téma
Przemiany j\c{e}zykowe ludno\'sci regionu wodzis\l{}awskiego pos\l{}uguj\c{a}cej si\c{e} gwar\c{a} \'sl\c{a}sk\c{a} (na przyk\l{}adzie wsi Olza i Odra)
(Joanna DANSZCZYK)2012, Disertační práce, Filozofická fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//3uzbg9// | Filologie / Polský jazyk | Práce na příbuzné téma
La traduction commentée d'un texte non-littéraire du fran\c{c}ais au tcheque orientée sur la linguistique (traduction d'un extrait du livre "VANDELOISE, Claude (1986), L'Espace en fran\c{c}ais, Paris : Le Seuil.")
(Nikola NAJZAROVÁ)2016, Diplomová práce, Filozofická fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//1bbhdc// | Překladatelství a tlumočnictví / Francouzština pro překladatelskou praxi | Práce na příbuzné téma
Charakterizace mikrotubuly vázajícího proteinu 2c (MAP2c) s atomovým rozlišením
(Kateřina Bendová)2019, Disertační práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/duymy/ | Biomolekulární chemie a bioinformatika / | Práce na příbuzné téma