Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel ajakirjas

A&A 2004. aasta plaanidestLeis, PaulA & A : [infotehnoloogia ajakiri]2004 / 1, lk. 3-4

artikkel ajakirjas

2

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

3

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

4

artikkel ajalehes

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

artikkel ajalehes

5

artikkel ajakirjas EST / artikkel ajakirjas ENG

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 metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

6

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

7

artikkel kogumikus

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

artikkel kogumikus

8

artikkel ajakirjas

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

artikkel ajakirjas

9

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

10

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

11

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

12

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

13

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

14

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

15

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

16

artikkel ajalehes

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

artikkel ajalehes

17

artikkel ajakirjas

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

artikkel ajakirjas

18

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

19

artikkel kogumikus

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

artikkel kogumikus

20

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

21

artikkel ajakirjas EST / artikkel ajakirjas ENG

Codensity lifting of monads and its dualKatsumata, Shin-ya; Sato, Tetsuya; Uustalu, TarmoLogical methods in computer science2018 / p. 1-31 https://doi.org/10.23638/LMCS-14(4:6)2018 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

22

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

23

artikkel kogumikus

Computer-aided learning of computer scienceHenno, Jaak; Kitsnik, Peeter; Linna, M.5th World Conference on Continuing Engineering Education, June 2-5, 1992, Espoo : proceedings1992 / p. 997-1002: ill., portr

artikkel kogumikus

24

artikkel ajakirjas EST / artikkel ajakirjas ENG

Concurrent process histories and resource transducersNester, Chad MitchellLogical methods in computer science2023 / p. 7:1-7:22 : ill https://doi.org/10.46298/LMCS-19(1:7)2023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

25

artikkel ajakirjas EST / artikkel ajakirjas ENG

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 metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

arvutiteadus (märksõna)

teaviku laadid

märksõna 1