1 - 3 / 3 1 |
1. Preverjenje pravilnosti programov z odvisnimi tipi v programskem jeziku Idris Blaž Repas, 2014, bachelor thesis/paper Keywords: odvisni tipi, pravilnost programov, programski jezik Idris |
2. Napredni programsko definirani sprejemnik za sporočila ADS-B Blaž Repas, 2017, master's thesis/paper Keywords: Programsko definirani radio, ADS-B, nadzor letalskega prometa, sprejemnik |
3. Preverjanje pravilnosti programov z odvisnimi tipi v programskem jeziku Idris Blaž Repas, 2014, undergraduate thesis Keywords: odvisni tipi, pravilnost programov, programski jezik Idris, računalništvo, računalništvo in informatika, univerzitetni študij, diplomske naloge |