Searching - TalTech Research Portal

display

sort

67001

book article

Normalization by evaluation for lambda 2Altenkirch, Thorsten; Uustalu, TarmoFunctional and Logic Programming : 7th International Symposium, FLOPS 2004 : Nara, Japan, April 7-9, 2004 : proceedings2004 / p. [260]-275

book article

67002

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

67003

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

67004

book

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

book

67005

journal article

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

journal article

67006

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

67007

journal article

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

journal article

67008

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

67009

book

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

book

67010

journal article

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

journal article

67011

journal article

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

journal article

67012

journal article

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

journal article

67013

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

67014

newspaper article

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

newspaper article

67015

journal article

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

journal article

67016

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

67017

journal article

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

journal article

67018

journal article

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

journal article

67019

journal article

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

journal article

67020

journal article

Norra metsatööstusMajandusteated1935 / lk. 925-926

journal article

67021

book article

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

book article

67022

newspaper article

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

newspaper article

67023

newspaper article

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

newspaper article

67024

newspaper article

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

newspaper article

67025

newspaper article

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

newspaper article

types of item