Zpět na vyhledávání

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

C

Keywords 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

List of theses with an identical keyword.

Compiling Applications for Analysis with DIVINE
 (Zuzana Baranová)

2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/wsm31/ | Aplikovaná informatika / | Theses on a related topic