Práce na stejné téma (mají shodná klíčová slova):
information explorationKlíčová slova abecedně | Klíčová slova dle četnosti
Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries
(Himanshu Kumar Haran)2017, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/iqqhj/ | Informatika / Bezpečnost informačních technologií (angl.) | Práce na příbuzné téma
Personas Identification for the Users of the Information System
(Tihitina Hailu Zergaw)2023, Diplomová práce, Fakulta ekonomicko-správní / Univerzita Pardubice
• http://theses.cz/id//dhmyft// | Informatics and System Engineering / Informatics in Public Administration | Práce na příbuzné téma