Searching - TalTech Research Portal

display

sort

66601

book article EST / book article ENG

Normalization by evaluation for the Lambek calculusVeltri, Niccolo10th International Conference on Non-classical Logic : theory and applicatons, Lodz, Poland, 14-18 March 20222022 / p. 102-117 https://doi.org/10.4204/eptcs.358.8 https://arxiv.org/abs/2204.06719v1 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

66602

book article EST / book article ENG

Normalization by evaluation in the delay monad: A case study for coinduction via copatterns and sized typesAbel, Andreas; Chapman, JamesProceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 20142014 / p. 51-67 https://doi.org/10.4204/EPTCS.153.4 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

66603

book

Normatiivse kulurežiimi arvutusmetoodika multidimensionaalse ressursi ja produktiga mitmeastmelises tootmises : metoodiline materjal1989 https://www.ester.ee/record=b1211885*est

book

66604

journal article

A normative analysis of nursing knowledgeZanotti, Renzo; Chiffi, DanieleNursing inquiry2016 / p. 4-11 /nin.12 108

journal article

66605

journal article

Normativity in the EU's approach towards disinformationKobernjuk, Anna; Kasper, AgnesTalTech journal of European studies2021 / p. 170-202 https://doi.org/10.2478/bjes-2021-0011 https://www.ester.ee/record=b5290032*est

journal article

66606

journal article

Norme ja määrusi jõuvankrite kasutamiselÜhistegevusleht1936 / lk. 158-160

journal article

66607

newspaper article

Norme otsimas [Tallinna raamatukogudest : Tehnikaülikooli raamatukogus leidub norme kõige enam, aga siiski vähe]Otsik, RainerEhitame1995 / nr. 25, lk. 4

newspaper article

66608

book

Normeerija käsiraamatFominõh, Jevgeni1969 https://www.ester.ee/record=b1336713*est

book

66609

journal article

Normeeritud põlevkivi analüüsPuksov, A.Tehnika Ajakiri1935 / lk. 12-13

journal article

66610

journal article

Normid elektriseadmete isoleertorude valmistamise ja proovimise kohtaRiigi Teataja1938 / 71, art. 665, lk. 1924-1926

journal article

66611

journal article

Normidest kõrvalekaldumiste arvestamisestKallas, KaidoTehnika ja tootmine1969 / lk.628-629 https://www.ester.ee/record=b1073047*est

journal article

66612

book article

Normung als Tätigkeitsgebiet der HochschullehrerRisthein, EndelSymposium "Topical Problems of Education in the Field of Electrical and Power Engineering" : Kuressaare, Estonia, January 19-24, 20042004 / p. 46-47 : Ill https://www.ester.ee/record=b1874375*est

book article

66613

newspaper article

Norra - seminari maaEljas-Taal, KatreTehnikaülikool1997 / 2. juuni, lk. 4 https://www.ester.ee/record=b5309277*est

newspaper article

66614

journal article

Norra autod asepõletistelTehnika Kõigile1940 / lk. 291

journal article

66615

journal article

Norra Euroopa majanduspiirkonna ja Euroopa Liidu asjade minister külastas TTÜ Mektoryt. Hesseni liidumaa ja Euroopa asjade minister külastas TTÜ MektorytMente et Manu2016 / lk. 10

journal article

66616

journal article

[Norra karbiiditööstuse kriis]Eesti Tehnika Seltsi Ajakiri1920 / lk. 168

journal article

66617

journal article

Norra kultuur ja tööstuse oludLange, O.Tehnika Ajakiri1936 / lk. 238-239

journal article

66618

journal article

[Norra lubisalpeetri tööstus]Eesti Tehnika Seltsi Ajakiri1920 / lk. 200

journal article

66619

journal article

Norra metsatööstusMajandusteated1935 / lk. 925-926

journal article

66620

book article

Norra mäendusValgma, Ingo; Karu, VeikoKaevandamine ja keskkond2012 / lk. 40-49 : ill

book article

66621

newspaper article

Norra protsessKuivjõgi, HelenaStudioosus2019 / lk. 16-17 https://www.ester.ee/record=b1558644*est

newspaper article

66622

newspaper article

Norra protsess : osa 3Kuivjõgi, HelenaStudioosus2019 / lk. 12-12 https://www.ester.ee/record=b1558644*est

newspaper article

66623

newspaper article

Norra protsess : osa 4Kuivjõgi, HelenaStudioosus2019 / lk. 10-11 https://www.ester.ee/record=b1558644*est

newspaper article

66624

newspaper article

Norra protsess 2Kuivjõgi, HelenaStudioosus2019 / lk. 12-13 https://www.ester.ee/record=b1558644*est

newspaper article

66625

journal article

Norra põllumajanduse elektrofitseerimineGrünberg, B.Tehnika Ajakiri1930 / lk. 141

journal article

types of item