Your browser does not allow JavaScript!

JavaScript is necessary for the proper functioning of this website. Please enable JavaScript or use a modern browser.





Work type:
Language:
Search in:		Search
	Show full text results only	Simple search

21 results

11 - 20 / 21

1 2 3

11. Analiza in vizualizacija nepremičninskih podatkov v Sloveniji
Anže Nunar, 2019, master's thesis/paper

Keywords: parcela, stavba, nepremičnina, register nepremičnin
Full text (file, 21,32 MB)

12. Prevajanje prestreznikov algebrajskih učinkov v jezik brez učinkov
Žiga Zupančič, 2020, master's thesis/paper

Keywords: računski učinki, prestrezniki algebrajskih učinkov, eksplicitni tipi, jezik brez eksplicitnih učinkov
Full text (file, 723,10 KB)

13. Knjižnica za samodejno generiranje matematičnih nalog
Urša Pertot, 2020, master's thesis/paper

Keywords: samodejno generiranje, matematične naloge, Python knjižnica, srednješolska matematika
Full text (file, 963,63 KB)

14. Applications of algebraic effect theories
Žiga Lukšič, 2020, doctoral dissertation

Keywords: Algebraic effects, effect handlers, functional programming, theory of programming languages, denotational semantics
Full text (file, 1,64 MB) This document has more files! More...

15. Asinhroni algebrajski učinki
Janez Radešček, 2021, master's thesis/paper

Keywords: asinhrono izvajanje, algebrajski učinki, vzporedno izvajanje, prestrezniki, signali
Full text (file, 574,59 KB)

16. Prevajanje prestreznikov algebrajskih učinkov v Javascript
Rok Koleša, 2021, master's thesis/paper

Keywords: Eff, Javascript, prevajanje, algebrajski učinki, prestrezniki algebrajskih učinkov
Full text (file, 524,81 KB)

17. Uporaba polkolobarjev z zaprtjem
Nina Slivnik, 2019, final seminar paper

Keywords: Polkolobar, zaprtje, polkolobar matrik, Jacobijev algoritem, algoritem Warshall-Floyd-Kleene, Gaussova metoda, Haskell
Full text (file, 397,35 KB)

18. Kvantni algebrajski učinki
Luna Strah, 2022, bachelor thesis/paper

Keywords: kvantno računalništvo, algebrajski učinki
Full text (file, 356,47 KB)

19. Operacijska semantika za jezik s časovno omejenimi viri
Gašper Žajdela, 2023, master's thesis/paper

Keywords: lambda račun, časovno omejeni viri, modalni tipi, izrek o varnosti, teorija enačb, skladnost, formalizacija
Full text (file, 521,90 KB) This document has more files! More...

20. Uporaba Rustovih tipov za varno krmiljenje naprav
Vid Drobnič, 2023, master's thesis/paper

Keywords: avtomat končnih stanj, asinhrono programiranje, sistem lastništva, Rust
Full text (file, 438,79 KB)

Search done in 0.1 sec.