Browsing by Author "Laanemets, Raivo"
Now showing 1 - 2 of 2
Results Per Page
Sort Options
Item DPLL protseduur lahendite loendamiseks(Tartu Ülikool, 2008) Laanemets, Raivo; Tamme, Tõnu, juhendaja; Tartu Ülikool. Loodus- ja täppisteaduste valdkond; Tartu Ülikool. Arvutiteaduse instituutItem Lõimeanalüüs Goblintis(Tartu Ülikool, 2011) Laanemets, Raivo; Vene, Varmo; Vojdani, Vesal; Apinis, Kalmer; Tartu Ülikool. Matemaatika-informaatikateaduskond; Tartu Ülikool. Arvutiteaduse instituutC-keelsetes programmides lõimede loomise/lõpetamise struktuuri staatiline analüüs.