Leitud autorid
teaviku laadid

Toon andmeid..
Toon andmeid..
Toon andmeid..
Toon andmeid..
Toon andmeid..
Toon andmeid..
  • artikkel kogumikus
    Distributed backend for ABSSaar, Andri; Nakata, KeikoInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK viienda aastakonverentsi artiklite kogumik : 25.-26. novembril 2011, Nelijärve2011 / p. 95-99 : ill
    artikkel kogumikus
  • artikkel kogumikus
    Reasoning about correctness of transactional memorySaar, AndriSixteenth Estonian Winter School in Computer Science (EWSCS'11) : Park Hotel Palmse, Lahemaa, Estonia : February 27 - March 4, 20112011 / 1 p
    artikkel kogumikus
  • artikkel kogumikus
    Reasoning about correctness of transactional memory with operational semanticsSaar, Andri; Uustalu, TarmoInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27. novembril 2010, Essu mõis2010 / lk. 145-148
    artikkel kogumikus
Kirjeid leitud 3, kuvan 1 - 3