Práce na stejné téma (mají shodná klíčová slova):
development of librariesKlíč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
Development of a tool for the calculation Leaf Area Index on multispectral imagery
(Andrii Khrystodulov)2023, Bakalářská práce, Fakulta životního prostředí / Česká zemědělská univerzita v Praze
• http://theses.cz/id//4wls37// | Geographic Information Systems and Remote Rensing in Environmental Sciences / | Práce na příbuzné téma