Toggle navigation
Otsi
Publikatsioonid
Profiilid
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
arvutiteadus (märksõna)
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
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..
Kirjeid leitud
86
Vaata veel..
(0/0)
Ekspordi
ekspordi kõik päringu tulemused
(86)
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 ajakirjas
A Hoare logic for the coinductive trace-based big-step semantics of While
Nakata, Keiko
;
Uustalu, Tarmo
Logical methods in computer science
2015
/
p. 1-32
http://dx.doi.org/10.2168/LMCS-11(1:1)2015
artikkel ajakirjas
2
artikkel kogumikus
A method for adding cyberethical behaviour measurements to computer science homework assignments
Mäses, Sten
;
Aitsam, Heleri
;
Randmann, Liina
19th Koli Calling Conference on Computing Education Research Koli Calling 2019 : November 21-24, 2019, Koli, Finland : proceedings
2019
/
5 p. : ill
https://doi.org/10.1145/3364510.3364529
artikkel kogumikus
3
artikkel kogumikus
Aleksander Voldek Eesti arvutiteaduse edendajana : [ettekanne seminaril Akadeemik Aleksander Voldek 100 1. aprillil 2011 TTÜs]
Tõugu, Enn
Tallinna Tehnikaülikooli aastaraamat 2011
2012
/
lk. 254-255
artikkel kogumikus
4
artikkel ajalehes
Algoritmiline andekus ja mida sellega peale hakata
Tõugu, Enn
Sirp
2017
/
lk. 8-9 : fot
http://www.sirp.ee/s1-artiklid/c21-teadus/algoritmiline-andekus-ja-mida-sellega-peale-hakata/
artikkel ajalehes
5
artikkel ajalehes
Alustab arvutiteaduse tippkeskus
Uustalu, Tarmo
Postimees
2008
/
19. aug., Koolituse Extra, lk. 10
https://tarbija.postimees.ee/1815409/alustab-arvutiteaduse-tippkeskus
artikkel ajalehes
6
artikkel ajakirjas
Array programming with NumPy
Harris, Charles R.
;
Millman, K. Jarrod
;
van der Walt, Stefan J.
;
Peterson, Pearu
Nature
2020
/
p. 357-362
https://doi.org/10.1038/s41586-020-2649-2
artikkel ajakirjas
7
artikkel ajalehes
Arvutiteadlased kogunevad märtsi alguses rahvusvahelisse talvekooli : [2.-7. märtsil 2003 korraldab TTÜ küberneetika instituut koos TTÜ arvutiteaduse instituudi ja TÜ arvutiteaduse instituudiga Palmses VIII Eesti Arvutiteaduse Talvekooli kraadiõppuritele : EWSCS'03]
Üliõpilasleht
2003
/
19. veebr., lk. 7
artikkel ajalehes
8
artikkel kogumikus
Arvutiteadlaste koolid ja seminarid
Uustalu, Tarmo
Tallinna Tehnikaülikooli aastaraamat 2003
2004
/
lk. 302-305
artikkel kogumikus
9
artikkel ajakirjas
Arvutiteadus ja infotehnoloogia Eestis
Uustalu, Tarmo
Eesti aastaraamat 2002-2003
2002
/
lk. 255-259
artikkel ajakirjas
10
artikkel ajalehes
Arvutiteadus sulle, TTÜ kraadiõppur : [TTÜ Küberneetika Instituudi korraldatud arvutiteaduse konverentsidest ja teooriapäevast 28.-30. okt. Viinistus]
Saabas, Ando
Mente et Manu
2005
/
16. nov., lk. 3 : fot
https://www.ester.ee/record=b1242496*est
artikkel ajalehes
11
artikkel ajalehes
Arvutiteadus uurib ka loodust : [kommenteerib TTÜ teadur Tarmo Uustalu]
Uustalu, Tarmo
;
Laurisaar, Riho
Eesti Päevaleht
2009
/
24. sept., lk. 24
https://epl.delfi.ee/artikkel/51178534/arvutiteadus-uurib-ka-loodust
artikkel ajalehes
12
artikkel ajalehes
Arvutiteadus, suusad ja saun : [3.-5. veebr. Arulas toimunud arvutiteaduse teooriapäevadest, osalejad TTÜ Küberneetika Instituudist, TTÜst, TÜst, mujalt Eestist ja Leicesteri Ülikoolist]
Uustalu, Tarmo
Mente et Manu
2003
/
11. veebr., lk. 1, 2 : fot
https://www.ester.ee/record=b1242496*est
artikkel ajalehes
13
artikkel ajakirjas
Arvutiteaduse teooria Rõuges : [10. Eesti arvutiteaduse teooriapäevadel oli esindatud ka TTÜ]
Uustalu, Tarmo
A & A
2007
/
2, lk. 50-51 : fot
artikkel ajakirjas
14
artikkel ajalehes
Arvutiteaduse teooriapäevad 3: Pedase : [toimusid 3.-5. okt. 2003 Pedase hotellis Vihterpalu lähistel]
Saabas, Ando
Mente et Manu
2003
/
20. okt., lk. 6 : fot
https://www.ester.ee/record=b1242496*est
artikkel ajalehes
15
artikkel ajalehes
Arvutiteaduse teooriapäevad Veskisillal - IT doktorikool tegelikkuses! : [TTÜ Küberneetika Instituudi korraldatud viiendatest arvutiteaduse teooriapäevadest 1.-3. okt. Järvamaal]
Saabas, Ando
Mente et Manu
2004
/
20. okt., lk. 4 : fot
https://www.ester.ee/record=b1242496*est
artikkel ajalehes
16
artikkel ajalehes
Arvutiteaduse teooriat Rõuges : [10. Eesti arvutiteaduse teooriapäevadest]
Uustalu, Tarmo
Mente et Manu
2007
/
21. veebr., lk. 2 : fot
https://www.ester.ee/record=b1242496*est
artikkel ajalehes
17
artikkel ajalehes
Arvutiteaduse tippkeskus
Uustalu, Tarmo
Eesti Päevaleht
2012
/
Eesti teaduse tippkeskused, lk. 4
artikkel ajalehes
18
artikkel ajakirjas
Arvutiteaduse tippkeskus panustab väliskoostöösse : [intervjuu keskuse juhi Tarmo Uustaluga]
Uustalu, Tarmo
Arvutimaailm
2008
/
9, lk. 12 : portr
artikkel ajakirjas
19
artikkel ajalehes
Arvutiteaduse tippkeskuse EXCS avalöök : [TTÜ 90. aastapäeva raames 18.-19. sept. 2008 toimuvast seminarist]
Uustalu, Tarmo
Mente et Manu
2008
/
12. sept., lk. 2
https://www.ester.ee/record=b1242496*est
artikkel ajalehes
20
artikkel kogumikus
Arvutiteaduslik ekstsellentsus
Uustalu, Tarmo
Tallinna Tehnikaülikooli aastaraamat 2008
2009
/
lk. 15-18
artikkel kogumikus
21
raamat
Baltic-DB and IS-DC-Forum 2022 : Joint Proceedings of Baltic DB and IS 2022 Doctoral Consortium and Forum, co-located with 15th International Baltic Conference on Digital Business and Intelligent Systems, Baltic DB and IS 2022
2022
https://ceur-ws.org/Vol-3158/
raamat
22
artikkel kogumikus
CLD : an accurate, cost-effective and scalable run-time Cache Leakage Detector
Shalabi, Ameer
;
Ghasempouri, Tara
;
Ellervee, Peeter
;
Raik, Jaan
2021 24th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) : Vienna, Austria, 07-09 April 2021
2021
/
p. 127-132 : ill
https://doi.org/10.1109/DDECS52668.2021.9417071
artikkel kogumikus
23
artikkel ajakirjas
Codensity lifting of monads and its dual
Katsumata, Shin-ya
;
Sato, Tetsuya
;
Uustalu, Tarmo
Logical methods in computer science
2018
/
p. 1-31
http://doi.org/10.23638/LMCS-14(4:6)2018
artikkel ajakirjas
24
artikkel kogumikus
Computer science E-courses for students with different learning styles
Mironova, Olga
;
Amitan, Irina
;
Vilipõld, Jüri
;
Saar, Merike
;
Rüütmann, Tiia
2013 Federated Conference on Computer Science and Information Systems : September 8–11, 2013, Krakow, Poland
2013
/
p. 735-738 : ill
artikkel kogumikus
25
artikkel ajakirjas
Concurrent process histories and resource transducers
Nester, Chad Mitchell
Logical methods in computer science
2023
/
p. 7:1-7:22 : ill
https://lmcs.episciences.org/
http://doi.org/10.46298/LMCS-19(1:7)2023
artikkel ajakirjas
Kirjeid leitud 86, kuvan
1 - 25
eelmine
1
2
3
4
järgmine
×
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