1 - 3 / 3 1 |
1. Preverjenje pravilnosti programov z odvisnimi tipi v programskem jeziku Idris Blaž Repas, 2014, diplomsko delo/naloga Ključne besede: odvisni tipi, pravilnost programov, programski jezik Idris |
2. Napredni programsko definirani sprejemnik za sporočila ADS-B Blaž Repas, 2017, magistrsko delo/naloga Ključne besede: Programsko definirani radio, ADS-B, nadzor letalskega prometa, sprejemnik |
3. Preverjanje pravilnosti programov z odvisnimi tipi v programskem jeziku Idris Blaž Repas, 2014, diplomsko delo Ključne besede: odvisni tipi, pravilnost programov, programski jezik Idris, računalništvo, računalništvo in informatika, univerzitetni študij, diplomske naloge |