61. 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) |
62. Razvoj programskega vmesnika za učinkovit dostop do virov in podatkov Interneta stvariMATEJ CELARC, 2015, undergraduate thesis Keywords: programski vmesnik, API, REST, WebSocket, objavi/naroči, internet stvari (IoT), brezžična senzorska omrežja Full text (file, 1,47 MB) |
|
|
|
|
|
|
|
|