Napredno

 
  Išči
    Enostavno iskanje


Rezultati

20 rezultatov
11 - 20 / 20
Na začetekNa prejšnjo stran12Na naslednjo stranNa konec
11. Analiza in vizualizacija nepremičninskih podatkov v Sloveniji
Anže Nunar, 2019, magistrsko delo/naloga

Ključne besede: parcela, stavba, nepremičnina, register nepremičnin
Celotno besedilo (datoteka, 21,32 MB)

12. Prevajanje prestreznikov algebrajskih učinkov v jezik brez učinkov
Žiga Zupančič, 2020, magistrsko delo/naloga

Ključne besede: računski učinki, prestrezniki algebrajskih učinkov, eksplicitni tipi, jezik brez eksplicitnih učinkov
Celotno besedilo (datoteka, 723,10 KB)

13. Knjižnica za samodejno generiranje matematičnih nalog
Urša Pertot, 2020, magistrsko delo/naloga

Ključne besede: samodejno generiranje, matematične naloge, Python knjižnica, srednješolska matematika
Celotno besedilo (datoteka, 963,63 KB)

14. Applications of algebraic effect theories
Žiga Lukšič, 2020, doktorsko delo/naloga

Ključne besede: Algebraic effects, effect handlers, functional programming, theory of programming languages, denotational semantics
Celotno besedilo (datoteka, 1,64 MB) Gradivo ima več datotek! Več...

15. Asinhroni algebrajski učinki
Janez Radešček, 2021, magistrsko delo/naloga

Ključne besede: asinhrono izvajanje, algebrajski učinki, vzporedno izvajanje, prestrezniki, signali
Celotno besedilo (datoteka, 574,59 KB)

16. Prevajanje prestreznikov algebrajskih učinkov v Javascript
Rok Koleša, 2021, magistrsko delo/naloga

Ključne besede: Eff, Javascript, prevajanje, algebrajski učinki, prestrezniki algebrajskih učinkov
Celotno besedilo (datoteka, 524,81 KB)

17. Uporaba polkolobarjev z zaprtjem
Nina Slivnik, 2019, delo diplomskega seminarja/zaključno seminarsko delo/naloga

Ključne besede: Polkolobar, zaprtje, polkolobar matrik, Jacobijev algoritem, algoritem Warshall-Floyd-Kleene, Gaussova metoda, Haskell
Celotno besedilo (datoteka, 397,35 KB)

18. Kvantni algebrajski učinki
Luna Strah, 2022, diplomsko delo/naloga

Ključne besede: kvantno računalništvo, algebrajski učinki
Celotno besedilo (datoteka, 356,47 KB)

19. Operacijska semantika za jezik s časovno omejenimi viri
Gašper Žajdela, 2023, magistrsko delo/naloga

Ključne besede: lambda račun, časovno omejeni viri, modalni tipi, izrek o varnosti, teorija enačb, skladnost, formalizacija
Celotno besedilo (datoteka, 521,90 KB) Gradivo ima več datotek! Več...

20. Uporaba Rustovih tipov za varno krmiljenje naprav
Vid Drobnič, 2023, magistrsko delo/naloga

Ključne besede: avtomat končnih stanj, asinhrono programiranje, sistem lastništva, Rust
Celotno besedilo (datoteka, 438,79 KB)
Iskanje izvedeno v 0.06 sek.
Na vrh