|
42. Operacijska semantika za jezik s časovno omejenimi viriGašper Žajdela, 2023, magistrsko delo 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č... |
|
|
|
|
|
48. Možnosti za Avtomatizacijo Preverjanja Zahtev Za Izdajo Digitalnih Gradbenih Dovoljenj ob Uvedbi Standarda IFCAnshika Karn, 2024, magistrsko delo/naloga Ključne besede: gradbeno dovoljenje, BIM, openBIM, IFC, IDS, skladnost, preverjanje Celotno besedilo (datoteka, 7,05 MB) |