Theses on the same topic (having an identical keyword):
information explorationKeywords ordered alphabetically | Keywords ordered by occurrence rate
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.) | Theses on a related topic
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 | Theses on a related topic