41 - 43 / 43 12345 |
41. Operacijska semantika za jezik s časovno omejenimi viri Gašper Žajdela, 2023, master's thesis Keywords: lambda račun, časovno omejeni viri, modalni tipi, izrek o varnosti, teorija enačb, skladnost, formalizacija |
42. Primerjava objektivnih in subjektivnih metod vrednotenja originalnosti pri nalogi alternativne uporabe Nika Leskovar, 2023, master's thesis Keywords: merjenje ustvarjalnosti, divergentno mišljenje, konstruktna veljavnost, notranja konsistentnost, skladnost med ocenjevalci, naloga alternativne uporabe |
43. Alternativni načini evidentiranja prisotnosti in kontrole pristopa na delovnem mestu Leon Murkovič, 2024, undergraduate thesis Keywords: evidentiranje prisotnosti, kontrola pristopa, varnost, sredstva za evidentiranja, pravna skladnost, brezžične komunikacijske tehnologije |