1 - 2 / 2 ![]() ![]() ![]() ![]() |
1. Videoigre od ideje do koncepta JAN BOŠTJANČIČ, 2020, undergraduate thesis Keywords: snovanje videoiger, orodja za analiziranje iger, dizajn koncepta, formalizacija, koncept, videoigre, ideja, žanr, karte, prototipi |
2. 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 |