|
|
|
4. Preverjanje pravilnosti programov z odvisnimi tipi v programskem jeziku IdrisBlaž Repas, 2014, undergraduate thesis Keywords: odvisni tipi, pravilnost programov, programski jezik Idris, računalništvo, računalništvo in informatika, univerzitetni študij, diplomske naloge Full text (file, 419,64 KB) |
|
6. ANALIZA UGOTOVITEV RAČUNSKEGA SODIŠČA O RAVNANJU S HRANO V OSNOVNIH ŠOLAHAndraž Zupanc, 2020, bachelor thesis/paper Keywords: Računsko sodišče, osnovna šola, ravnanje s hrano, revizija, pravilnost poslovanja, učinkovitost poslovanja, javna sredstva Full text (file, 1,33 MB) |
|
8. Obravnava napak v deklaracijah na zavitkih nekaterih piškotov in čipsaNaja Eržen, 2010, undergraduate thesis Keywords: označevanje živil, deklaracije na embalaži, označbe na embalaži, piškoti, čips, pravilnost označb, napake na označbah, prevodi deklaracij Full text (file, 8,77 MB) |
9. Izvedba verifikacije merilnih postopkov v medicinskem laboratoriju na hematološkem analizatorjuJana Goručan, 2022, master's thesis/paper Keywords: Hematološki analizator, validacija, verifikacija, merilna natančnost, nenatančnost, merilna
pravilnost, odstopanje Full text (file, 3,91 MB) |
|