41 - 43 / 43 ![]() ![]() ![]() ![]() |
41. Operacijska semantika za jezik s časovno omejenimi viri Gašper Žajdela, 2023, magistrsko delo Ključne besede: 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, magistrsko delo Ključne besede: 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, diplomsko delo Ključne besede: evidentiranje prisotnosti, kontrola pristopa, varnost, sredstva za evidentiranja, pravna skladnost, brezžične komunikacijske tehnologije |