Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel kogumikus

A semantic method of automatic composition of e-government servicesMaigre, Riina; Grigorenko, Pavel; Haav, Hele-Mai; Kalja, AhtoDatabases and information systems : tenth international Baltic conference on databases and information systems : local proceedings, materials of doctoral consortium : Vilnius, Lithuania, July 8-11, 20122012 / p. 182

artikkel kogumikus

2

artikkel ajakirjas EST / artikkel ajakirjas ENG

Abstract categorical semantics for resourceful functional reactive programmingJeltsch, WolfgangJournal of logical and algebraic methods in programming2016 / p. 1177-1200 : ill https://doi.org/10.1016/j.jlamp.2016.07.001 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

3

artikkel kogumikus

Acyclic attribute evaluation in a dependently typed settingFirsov, Denis; Uustalu, TarmoProceedings of the 27th Nordic Workshop on Programming Theory (NWPT 2015)2016 / p. 124-126 : ill http://icetcs.ru.is/nwpt2015/NWPT15Proceedings.pdf

artikkel kogumikus

4

artikkel ajakirjas

Almeida, Jorge; Klíma, Ondřej. Representations of relatively free profinite semigroups, irreducibility, and order primitivity : [review]Henno, JaakZentralblatt MATH2020 / 1 p https://zbmath.org/?q=an%3A1443.20085

artikkel ajakirjas

5

artikkel ajakirjas EST / artikkel ajakirjas ENG

Application of machine learning for assessment of HS code correctnessSpitšakova, Margarita; Haav, Hele-MaiBaltic journal of modern computing2020 / p. 698-718 https://doi.org/10.22364/bjmc.2020.8.4.13 Journal Metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

6

artikkel ajakirjas

Arvamus sõnade omand ja omandus semantikast ning rakendatavusest : Eesti Keele Instituudi ekspertarvamuse teemalMereste, UnoÕiguskeel1995 / 3, lk. 35-38

artikkel ajakirjas

7

artikkel kogumikus

Arvutamine on loodusteadus : [intervjuu Tarmo Uustaluga]Uustalu, TarmoTeadusmõte Küberneetika Instituudis2010 / lk. 86-90 : portr

artikkel kogumikus

8

artikkel ajakirjas

Arvutamine on loodusteadus : vastab Tarmo UustaluUustalu, TarmoHorisont2006 / lk. 15-17 : portr https://artiklid.elnet.ee/record=b2039570*est

artikkel ajakirjas

9

dissertatsioon

Berkeley, mysteries, and meaning : a critique of the non-cognitivist interpretationJakapi, Roomet2002 http://dspace.ut.ee/handle/10062/43434

dissertatsioon

10

artikkel ajakirjas EST / artikkel ajakirjas ENG

Bialgebraic foundations for the operational semantics of string diagramsBonchi, Filippo; Piedeleu, Robin; Sobocinski, Pawel Maria; Zanasi, FabioInformation and computation2021 / art. 104767, 22 p https://doi.org/10.1016/j.ic.2021.104767 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

11

artikkel kogumikus

Build, augment and destroy, universallyGhani, Neil; Uustalu, Tarmo; Vene, VarmoProgramming Languages and Systems : Second Asian Symposium : APLAS 2004 : Taipei, Taiwan, November 4-6, 2004 : proceedings2004 / p. 327-347 https://www.researchgate.net/publication/221323363_Build_Augment_and_Destroy_Universally

artikkel kogumikus

12