Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 4
Preverjanje pravilnosti programov z odvisnimi tipi v programskem jeziku Idris
Blaž Repas, Jurij Mihelič
Diplomsko delo
Oznake: odvisni tipi;pravilnost programov;programski jezik Idris;računalništvo;računalništvo in informatika;univerzitetni študij;diplomske naloge;
Formalno dokazovanje pravilnosti programov se v ključnih primerih izvaja ročno. Programski jeziki z odvisnimi tipi kot logična ogrodja predstavljajo avtomatizirano alternativo ročnemu preverjanju pravilnosti. V tem diplomskem delu obravnavamo sisteme tipov ter programske jezike z odvisnimi tipi. ...
Leto: 2014 Vir: Fakulteta za računalništvo in informatiko (UL FRI)
Preverjenje pravilnosti programov z odvisnimi tipi v programskem jeziku Idris
Blaž Repas, Jurij Mihelič
Diplomsko delo
Oznake: odvisni tipi;pravilnost programov;programski jezik Idris;
Formalno dokazovanje pravilnosti programov se v ključnih primerih izvaja ročno. Programski jeziki z odvisnimi tipi kot logična ogrodja predstavljajo avtomatizirano alternativo ročnemu preverjanju pravilnosti. V tem diplomskem delu obravnavamo sisteme tipov ter programske jezike z odvisnimi tipi. ...
Leto: 2014 Vir: Fakulteta za računalništvo in informatiko (UL FRI)
Napredni programsko definirani sprejemnik za sporočila ADS-B
Blaž Repas, Fabio Ricciato
Magistrsko delo
Oznake: Programsko definirani radio;ADS-B;nadzor letalskega prometa;sprejemnik;
V tem magistrskem delu sta predstavljeni zasnova in implementacija naprednega programsko definiranega sprejemnika za sporočila ADS-B/Mode-S, ki jih oddajajo plovila v letalskem prometu za namene kontrole zračnega prometa. Predstavljena in argumentirana je zasnova programske procesne verige za spreje ...
Leto: 2017 Vir: Fakulteta za računalništvo in informatiko (UL FRI)
Dileme sodobnega oglaševanja
Martina Repas, Janja Hojnik, Peter Podgorelec, Elizabeta Zirnstein, Blaž Frešer
Znanstvena monografija
Oznake: oglaševanje;potrošnik;podjetje;konkurenca;osebni podatki;vplivnostni marketing;ciljano politično oglaševanje;platformno delo;pravna regulacija vonjev;samoregulativa;spletna platforma;
Osrednja tema monografije so različni vidiki oglaševanja blaga in storitev. Poleg pravil o javni rabi slovenskega jezika v oglaševanju monografija vsebuje celoviti pregled pravil o oglaševanju v obstoječi slovenski zakonodaji. Poleg splošnih so vključene tudi bolj specifične teme, kot so primerjalno ...
Leto: 2023 Vir: Digitalna knjižnica Univerze v Mariboru (DKUM)
Št. zadetkov: 4
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: