1111. Raziskovanje pojava cikličnega lezenja pri aluminijevi zlitiniMatija Stražišar, 2022, diplomsko delo Ključne besede: ciklično lezenje, preizkus, nazadujoče ciklično lezenje, napredujoče ciklično lezenje, plastičnost, dislokacije, difuzija, trgalni stroj, video ekstenziometer Celotno besedilo (datoteka, 2,23 MB) |
|
|
|
|
1116. Možnost uporabe orodja ArcGIS Pro 3D Analyst pri projektiranju cestMatija Brezavšček, 2022, diplomsko delo Ključne besede: gradbeništvo, diplomske naloge, UNI, GR, B-GR, geografski informacijski sistem, GIS, ArcGIS Pro, 3D Analyst, 3D model terena, rastrski podatki, vektorski podatki, projektiranje cest Celotno besedilo (datoteka, 9,05 MB) |
|
1118. 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č... |
|
1120. Paralelizacija grafovskih algoritmov v funkcijskih programskih jezikihTjaž Eržen, 2024, diplomsko delo Ključne besede: paralelizacija, grafovski algoritmi, funkcijski programski jeziki, OCaml, iskanje v širino (BFS), Dijkstrov algoritem, Floyd-Warshallov algoritem, večjedrno računanje Celotno besedilo (datoteka, 440,06 KB) |