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
Tühista
teaviku laadid
raamat
artikkel ajakirjas
artikkel ajalehes
artikkel kogumikus
dissertatsioon
Open Access
Teaduspublikatsioon
aasta
Kirjeid leitud
80
Vaata veel..
(2/9)
Ekspordi
ekspordi kõik päringu tulemused
(80)
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
dissertatsioon
A type-theoretical study of nontermination = Tüübiteoreetiline uurimus mittetermineeruvusest
Veltri, Niccolo
2017
https://digi.lib.ttu.ee/i/?7631
dissertatsioon
4
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
5
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
6
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
7
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
8
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
9
artikkel kogumikus
Arvutiteadlaste koolid ja seminarid
Uustalu, Tarmo
Tallinna Tehnikaülikooli aastaraamat 2003
2004
/
lk. 302-305
artikkel kogumikus
10
artikkel ajakirjas
Arvutiteadus ja infotehnoloogia Eestis
Uustalu, Tarmo
Eesti aastaraamat 2002-2003
2002
/
lk. 255-259
artikkel ajakirjas
11
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
12
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
13
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
14
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
15
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
16
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
17
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
18
artikkel ajalehes
Arvutiteaduse tippkeskus
Uustalu, Tarmo
Eesti Päevaleht
2012
/
Eesti teaduse tippkeskused, lk. 4
artikkel ajalehes
19
artikkel ajakirjas
Arvutiteaduse tippkeskus panustab väliskoostöösse : [intervjuu keskuse juhi Tarmo Uustaluga]
Uustalu, Tarmo
Arvutimaailm
2008
/
9, lk. 12 : portr
artikkel ajakirjas
20
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
21
artikkel kogumikus
Arvutiteaduslik ekstsellentsus
Uustalu, Tarmo
Tallinna Tehnikaülikooli aastaraamat 2008
2009
/
lk. 15-18
artikkel kogumikus
22
raamat
Baltic-DB&IS-DC-Forum 2022. Baltic DB&IS Doctoral Consortium and Forum 2022 : joint proceedings of Baltic DB&IS 2022 Doctoral Consortium and Forum co-located with 15th International Baltic Conference on Digital Business and Intelligent Systems (Baltic DB&IS 2022)
2022
https://ceur-ws.org/Vol-3158/
raamat
23
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
24
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
25
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
Kirjeid leitud 80, kuvan
1 - 25
eelmine
1
2
3
4
järgmine
pealkiri
8
1.
Arvutiteadus ja infotehnoloogia Eestis
2.
Arvutiteadus jätab Pärnu noored kodulinna : [Pärnu gümnasistid eelistaksid Pärnu Kolledžit : küsitluse tulemustest ja kolledži töö alustamisest]
3.
Arvutiteadus uurib ka loodust : [kommenteerib TTÜ teadur Tarmo Uustalu]
4.
Eesti arvutiteadus Viinistul : [TTÜ küberneetika instituudi korraldatud arvutiteaduse teooriapäevadest Viinistul ja programmeerimise konverentsist Tallinnas]
5.
Palmse, märts ja teoreetiline arvutiteadus
6.
Arvutiteadus sulle, TTÜ kraadiõppur : [TTÜ Küberneetika Instituudi korraldatud arvutiteaduse konverentsidest ja teooriapäevast 28.-30. okt. Viinistus]
7.
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]
8.
Rahvusvaheline Eesti arvutiteadus : [arvutiteaduse teooriapäevadest. Bergeni professori loengukursusest. Arvutiteaduse talvekoolist. Tulevatest suvesündmustest]
märksõna
1
1.
arvutiteadus