Vaš brskalnik ne omogoča JavaScript!
JavaScript je nujen za pravilno delovanje teh spletnih strani. Omogočite JavaScript ali pa uporabite sodobnejši brskalnik.
Nacionalni portal odprte znanosti
Odprta znanost
DiKUL
slv
|
eng
Iskanje
Brskanje
Novo v RUL
Kaj je RUL
V številkah
Pomoč
Prijava
Po članicah UL
Deleži
Največkrat
Datoteke
Letna poročila
Mentorstva
Osnovno
Bibliografija
Objave zaključnih del
Top ključne besede
Pojavnost ključnih besed
Komentorji
Bibliografija osebe. Seznam zajema vsa gradiva in ne le tista, kje je oseba mentor.
Magistrska dela (2)
Gašper Žajdela:
Operacijska semantika za jezik s časovno omejenimi viri
Vid Drobnič:
Uporaba Rustovih tipov za varno krmiljenje naprav
Diplomska dela (4)
Luna Strah:
Kvantni algebrajski učinki
Tjaž Eržen:
Paralelizacija grafovskih algoritmov v funkcijskih programskih jezikih
DAVID GOLJAT:
Praktičnost sintaksne analize s kombinatorji
Krištof Ocvirk:
Prevajanje funkcijskega programskega jezika v WebAssembly