Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Liitotsing
Valitud kirjed
0
Saar, Andri (autor)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
3
Vaata veel..
(4/115)
Ekspordi
ekspordi kõik päringu tulemused
(3)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
Distributed backend for ABS
Saar, Andri
;
Nakata, Keiko
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK viienda aastakonverentsi artiklite kogumik : 25.-26. novembril 2011, Nelijärve
2011
/
p. 95-99 : ill
artikkel kogumikus
2
artikkel kogumikus
Reasoning about correctness of transactional memory
Saar, Andri
Sixteenth Estonian Winter School in Computer Science (EWSCS'11) : Park Hotel Palmse, Lahemaa, Estonia : February 27 - March 4, 2011
2011
/
1 p
artikkel kogumikus
3
artikkel kogumikus
Reasoning about correctness of transactional memory with operational semantics
Saar, Andri
;
Uustalu, Tarmo
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27. novembril 2010, Essu mõis
2010
/
lk. 145-148
artikkel kogumikus
Kirjeid leitud 3, kuvan
1 - 3
autor
74
1.
Saar, Andri
2.
Ariste, Andri
3.
Jagomägi, Andri
4.
Ksenofontov, Andri
5.
Laidre, Andri
6.
Maimets, Andri
7.
Rebane, Andri
8.
Riid, Andri
9.
Sokka, Andri
10.
Teaste, Andri
11.
Levi, Saar
12.
Saar, A.
13.
Saar, Aet
14.
Saar, Agnes
15.
Saar, Agu
16.
Saar, Aider
17.
Saar, Annika
18.
Saar, Anti
19.
Saar, Ants
20.
Saar, Arno
21.
Saar, Bernhard
22.
Saar, Bernhard (juhendaja)
23.
Saar, E.
24.
Saar, Endel
25.
Saar, Enn
26.
Saar, Eva-Kai
27.
Saar, Eveliis
28.
Saar, G.
29.
Saar, Gustav
30.
Saar, H.
31.
Saar, H.J.
32.
Saar, Hele
33.
Saar, Helen
34.
Saar, Helena
35.
Saar, Heljo
36.
Saar, Indrek
37.
Saar, J.
38.
Saar, Jaan
39.
Saar, Johannes
40.
Saar, Jüri
41.
Saar, K.
42.
Saar, Kaarel
43.
Saar, Kaie
44.
Saar, Kalju
45.
Saar, Karl
46.
Saar, Katrina
47.
Saar, Kersten
48.
Saar, Kirke
49.
Saar, Külli
50.
Saar, L.
51.
Saar, Liis
52.
Saar, M.
53.
Saar, Merike
54.
Saar, Mikk
55.
Saar, Paul
56.
Saar, R.
57.
Saar, Rando
58.
Saar, Regina
59.
Saar, Rein
60.
Saar, Sandra
61.
Saar, Taeri
62.
Saar, Tarmo
63.
Saar, Teele
64.
Saar, Tiina
65.
Saar, Tiiu
66.
Saar, Tõnis
67.
Saar, V.
68.
Saar, Veera
69.
Saar, Ü.
70.
Saar, Ülle
71.
Saar, Ülo
72.
Saar-Reismaa, Piret
73.
Säär, Anni
74.
Valdes, Peeter vt.ka Saar, Kersten
CV
22
1.
Ariste, Andri 1935-1995
2.
Jagomägi, Andri 1977
3.
Riid, Andri 1972
4.
Teaste, Andri 1931
5.
Saar, Anu
6.
Saar, Bernhard 1929-1998
7.
Saar, Cristina
8.
Saar, Eva-Kai
9.
Saar, Gustav 1920-1972
10.
Saar, Hele 1963
11.
Saar, Heljo 1947
12.
Saar, Jakob 1894-1957
13.
Saar, Kadi Liis 1992
14.
Saar, Kalju 1990
15.
Saar, Karl 1945
16.
Saar, Kersten 1944-2015
17.
Saar, Liina
18.
Saar, Paul 1956
19.
Saar, Robert 1914
20.
Saar, Veera 1957
21.
Saar, Ülo 1919-1999
22.
Saar-Reismaa, Piret 1991
tema kohta
13
1.
Jagomägi, Andri
2.
Laidre, Andri
3.
Saar, Bernhard, 1929-1998
4.
Saar, Enn
5.
Saar, Hele, 1963-
6.
Saar, Heljo
7.
Saar, Indrek, 1973-
8.
Saar, Jaan
9.
Saar, Kevin
10.
Saar, Kirke
11.
Saar, Margus
12.
Saar, Tõnis
13.
Saar-Reismaa, Piret
märksõna
6
1.
Bornholm (saar)
2.
Gotland (saar)
3.
Kura säär
4.
Prangli saar
5.
Samso (saar)
6.
Vaindloo saar
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT