Otsing - TalTech teadusportaal

kuva

reasta

67001

artikkel kogumikus

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

artikkel kogumikus

67002

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

67003

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

67004

raamat

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

raamat

67005

artikkel ajakirjas

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

artikkel ajakirjas

67006

artikkel ajakirjas

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

artikkel ajakirjas

67007

artikkel ajakirjas

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

artikkel ajakirjas

67008

artikkel ajalehes

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

artikkel ajalehes

67009

raamat

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

raamat

67010

artikkel ajakirjas

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

artikkel ajakirjas

67011

artikkel ajakirjas

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

artikkel ajakirjas

67012

artikkel ajakirjas

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

artikkel ajakirjas

67013

artikkel kogumikus

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

artikkel kogumikus

67014

artikkel ajalehes

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

artikkel ajalehes

67015

artikkel ajakirjas

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

artikkel ajakirjas

67016

artikkel ajakirjas

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

artikkel ajakirjas

67017

artikkel ajakirjas

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

artikkel ajakirjas

67018

artikkel ajakirjas

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

artikkel ajakirjas

67019

artikkel ajakirjas

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

artikkel ajakirjas

67020

artikkel ajakirjas

Norra metsatööstusMajandusteated1935 / lk. 925-926

artikkel ajakirjas

67021

artikkel kogumikus

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

artikkel kogumikus

67022

artikkel ajalehes

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

artikkel ajalehes

67023

artikkel ajalehes

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

artikkel ajalehes

67024

artikkel ajalehes

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

artikkel ajalehes

67025

artikkel ajalehes

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

artikkel ajalehes

teaviku laadid