61. Preverjanje pravilnosti programov z odvisnimi tipi v programskem jeziku IdrisBlaž 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 Celotno besedilo (datoteka, 419,64 KB) |
62. Razvoj programskega vmesnika za učinkovit dostop do virov in podatkov Interneta stvariMATEJ CELARC, 2015, diplomsko delo Ključne besede: programski vmesnik, API, REST, WebSocket, objavi/naroči, internet stvari (IoT), brezžična senzorska omrežja Celotno besedilo (datoteka, 1,47 MB) |
|
|
|
|
|
|
|
|