Sirvi Autor "Laanemets, Raivo" järgi

Tulemuste filtreerimiseks trükkige paar esimest tähte
Nüüd näidatakse 1 - 2 2
  • Pisipilt
    listelement.badge.dso-type Kirje ,
    DPLL protseduur lahendite loendamiseks
    (Tartu Ülikool, 2008) Laanemets, Raivo; Tamme, Tõnu, juhendaja; Tartu Ülikool. Loodus- ja täppisteaduste valdkond; Tartu Ülikool. Arvutiteaduse instituut
  • Pisipilt
    listelement.badge.dso-type Kirje ,
    Lõimeanalüüs Goblintis
    (Tartu Ülikool, 2011) Laanemets, Raivo; Vene, Varmo; Vojdani, Vesal; Apinis, Kalmer; Tartu Ülikool. Matemaatika-informaatikateaduskond; Tartu Ülikool. Arvutiteaduse instituut
    C-keelsetes programmides lõimede loomise/lõpetamise struktuuri staatiline analüüs.