Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel ajakirjas

A Hoare logic for the coinductive trace-based big-step semantics of WhileNakata, Keiko; Uustalu, TarmoLogical methods in computer science2015 / 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 assignmentsMäses, Sten; Aitsam, Heleri; Randmann, Liina19th Koli Calling Conference on Computing Education Research Koli Calling 2019 : November 21-24, 2019, Koli, Finland : proceedings2019 / 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, EnnTallinna Tehnikaülikooli aastaraamat 20112012 / lk. 254-255

artikkel kogumikus

4

artikkel ajalehes

Algoritmiline andekus ja mida sellega peale hakataTõugu, EnnSirp2017 / 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 tippkeskusUustalu, TarmoPostimees2008 / 19. aug., Koolituse Extra, lk. 10 https://tarbija.postimees.ee/1815409/alustab-arvutiteaduse-tippkeskus

artikkel ajalehes

6

artikkel ajakirjas

Array programming with NumPyHarris, Charles R.; Millman, K. Jarrod; van der Walt, Stefan J.; Peterson, PearuNature2020 / 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õpilasleht2003 / 19. veebr., lk. 7

artikkel ajalehes

8

artikkel kogumikus

Arvutiteadlaste koolid ja seminaridUustalu, TarmoTallinna Tehnikaülikooli aastaraamat 20032004 / lk. 302-305

artikkel kogumikus

9

artikkel ajakirjas

Arvutiteadus ja infotehnoloogia EestisUustalu, TarmoEesti aastaraamat 2002-20032002 / 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, AndoMente et Manu2005 / 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, RihoEesti Päevaleht2009 / 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, TarmoMente et Manu2003 / 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, TarmoA & A2007 / 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, AndoMente et Manu2003 / 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, AndoMente et Manu2004 / 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, TarmoMente et Manu2007 / 21. veebr., lk. 2 : fot https://www.ester.ee/record=b1242496*est

artikkel ajalehes

17

artikkel ajalehes

Arvutiteaduse tippkeskusUustalu, TarmoEesti Päevaleht2012 / Eesti teaduse tippkeskused, lk. 4

artikkel ajalehes

18

artikkel ajakirjas

Arvutiteaduse tippkeskus panustab väliskoostöösse : [intervjuu keskuse juhi Tarmo Uustaluga]Uustalu, TarmoArvutimaailm2008 / 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, TarmoMente et Manu2008 / 12. sept., lk. 2 https://www.ester.ee/record=b1242496*est

artikkel ajalehes

20

artikkel kogumikus

Arvutiteaduslik ekstsellentsusUustalu, TarmoTallinna Tehnikaülikooli aastaraamat 20082009 / 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 20222022 https://ceur-ws.org/Vol-3158/

raamat

22

artikkel kogumikus

CLD : an accurate, cost-effective and scalable run-time Cache Leakage DetectorShalabi, Ameer; Ghasempouri, Tara; Ellervee, Peeter; Raik, Jaan2021 24th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) : Vienna, Austria, 07-09 April 20212021 / p. 127-132 : ill https://doi.org/10.1109/DDECS52668.2021.9417071

artikkel kogumikus

23

artikkel ajakirjas

Codensity lifting of monads and its dualKatsumata, Shin-ya; Sato, Tetsuya; Uustalu, TarmoLogical methods in computer science2018 / 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 stylesMironova, Olga; Amitan, Irina; Vilipõld, Jüri; Saar, Merike; Rüütmann, Tiia2013 Federated Conference on Computer Science and Information Systems : September 8–11, 2013, Krakow, Poland2013 / p. 735-738 : ill

artikkel kogumikus

25

artikkel ajakirjas

Concurrent process histories and resource transducersNester, Chad MitchellLogical methods in computer science2023 / p. 7:1-7:22 : ill https://lmcs.episciences.org/ http://doi.org/10.46298/LMCS-19(1:7)2023

artikkel ajakirjas

arvutiteadus (märksõna)

teaviku laadid