Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
138560
Look more..
Export
export all inquiry results
(1000*)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
66601
book article EST
/
book article ENG
Normalization by evaluation for the Lambek calculus
Veltri, Niccolo
10th International Conference on Non-classical Logic : theory and applicatons, Lodz, Poland, 14-18 March 2022
2022
/
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 types
Abel, Andreas
;
Chapman, James
Proceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 2014
2014
/
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 materjal
1989
https://www.ester.ee/record=b1211885*est
book
66604
journal article
A normative analysis of nursing knowledge
Zanotti, Renzo
;
Chiffi, Daniele
Nursing inquiry
2016
/
p. 4-11
/nin.12 108
journal article
66605
journal article
Normativity in the EU's approach towards disinformation
Kobernjuk, Anna
;
Kasper, Agnes
TalTech journal of European studies
2021
/
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
Ühistegevusleht
1936
/
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, Rainer
Ehitame
1995
/
nr. 25, lk. 4
newspaper article
66608
book
Normeerija käsiraamat
Fominõh, Jevgeni
1969
https://www.ester.ee/record=b1336713*est
book
66609
journal article
Normeeritud põlevkivi analüüs
Puksov, A.
Tehnika Ajakiri
1935
/
lk. 12-13
journal article
66610
journal article
Normid elektriseadmete isoleertorude valmistamise ja proovimise kohta
Riigi Teataja
1938
/
71, art. 665, lk. 1924-1926
journal article
66611
journal article
Normidest kõrvalekaldumiste arvestamisest
Kallas, Kaido
Tehnika ja tootmine
1969
/
lk.628-629
https://www.ester.ee/record=b1073047*est
journal article
66612
book article
Normung als Tätigkeitsgebiet der Hochschullehrer
Risthein, Endel
Symposium "Topical Problems of Education in the Field of Electrical and Power Engineering" : Kuressaare, Estonia, January 19-24, 2004
2004
/
p. 46-47 : Ill
https://www.ester.ee/record=b1874375*est
book article
66613
newspaper article
Norra - seminari maa
Eljas-Taal, Katre
Tehnikaülikool
1997
/
2. juuni, lk. 4
https://www.ester.ee/record=b5309277*est
newspaper article
66614
journal article
Norra autod asepõletistel
Tehnika Kõigile
1940
/
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Ü Mektoryt
Mente et Manu
2016
/
lk. 10
journal article
66616
journal article
[Norra karbiiditööstuse kriis]
Eesti Tehnika Seltsi Ajakiri
1920
/
lk. 168
journal article
66617
journal article
Norra kultuur ja tööstuse olud
Lange, O.
Tehnika Ajakiri
1936
/
lk. 238-239
journal article
66618
journal article
[Norra lubisalpeetri tööstus]
Eesti Tehnika Seltsi Ajakiri
1920
/
lk. 200
journal article
66619
journal article
Norra metsatööstus
Majandusteated
1935
/
lk. 925-926
journal article
66620
book article
Norra mäendus
Valgma, Ingo
;
Karu, Veiko
Kaevandamine ja keskkond
2012
/
lk. 40-49 : ill
book article
66621
newspaper article
Norra protsess
Kuivjõgi, Helena
Studioosus
2019
/
lk. 16-17
https://www.ester.ee/record=b1558644*est
newspaper article
66622
newspaper article
Norra protsess : osa 3
Kuivjõgi, Helena
Studioosus
2019
/
lk. 12-12
https://www.ester.ee/record=b1558644*est
newspaper article
66623
newspaper article
Norra protsess : osa 4
Kuivjõgi, Helena
Studioosus
2019
/
lk. 10-11
https://www.ester.ee/record=b1558644*est
newspaper article
66624
newspaper article
Norra protsess 2
Kuivjõgi, Helena
Studioosus
2019
/
lk. 12-13
https://www.ester.ee/record=b1558644*est
newspaper article
66625
journal article
Norra põllumajanduse elektrofitseerimine
Grünberg, B.
Tehnika Ajakiri
1930
/
lk. 141
journal article
Number of records 138560, displaying
66601 - 66625
previous
2661
2662
2663
2664
2665
2666
2667
2668
2669
2670
next
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT