Searching - TalTech Research Portal

display

sort

1

journal article

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

journal article

2

book article

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

book article

3

newspaper article

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/

newspaper article

4

newspaper article

Alustab arvutiteaduse tippkeskusUustalu, TarmoPostimees2008 / 19. aug., Koolituse Extra, lk. 10 https://tarbija.postimees.ee/1815409/alustab-arvutiteaduse-tippkeskus

newspaper article

5

journal article

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

journal article

6

newspaper article

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

newspaper article

7

book article

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

book article

8

journal article

Arvutiteadus ja infotehnoloogia EestisUustalu, TarmoEesti aastaraamat 2002-20032002 / lk. 255-259

journal article

9

newspaper article

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

newspaper article

10

newspaper article

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

newspaper article

11

newspaper article

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

newspaper article

12

journal article

Arvutiteaduse teooria Rõuges : [10. Eesti arvutiteaduse teooriapäevadel oli esindatud ka TTÜ]Uustalu, TarmoA & A2007 / 2, lk. 50-51 : fot

journal article

13

newspaper article

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

newspaper article

14

newspaper article

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

newspaper article

15

newspaper article

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

newspaper article

16

newspaper article

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

newspaper article

17

journal article

Arvutiteaduse tippkeskus panustab väliskoostöösse : [intervjuu keskuse juhi Tarmo Uustaluga]Uustalu, TarmoArvutimaailm2008 / 9, lk. 12 : portr

journal article

18

newspaper article

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

newspaper article

19

book article

Arvutiteaduslik ekstsellentsusUustalu, TarmoTallinna Tehnikaülikooli aastaraamat 20082009 / lk. 15-18

book article

20

book

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/

book

21

book article

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

book article

22

journal article

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

journal article

23

book article

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

book article

24

journal article

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

journal article

25

journal article

Constructing higher inductive types as groupoid quotientsVeltri, Niccolo; Weide, Niels van derLogical methods in computer science2021 / p. 8:1−8:42 https://doi.org/10.23638/LMCS-17(2:8)2021

journal article

arvutiteadus (subject term)

types of item

subject term 1