Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
call-by-push value (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
1
Vaata veel..
(3/118)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus EST
/
artikkel kogumikus ENG
Streams of approximations, equivalence of recursive effectful programs
Veltri, Niccolo
;
Voorneveld, Niels Frits Willem
Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings
2022
/
p. 198-221 : ill
https://doi.org/10.1007/978-3-031-16912-0_8
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
116
1.
call-by-push value
2.
call-by-value
3.
call
4.
call data record
5.
call detail records
6.
call for action in molecular life sciences education
7.
call-by-name
8.
CALL-technology
9.
computer-assisted language learning (CALL)
10.
currentfed push-pull
11.
push notifications
12.
push-pull
13.
push–pull
14.
push-pull converter
15.
push-pull converters
16.
resonant push-pull converters
17.
series partial power converter (S-PPC) based on the push-pull
18.
added value
19.
advertising value
20.
areas of cultural and environmental value
21.
assessment of calorific value and moisture content
22.
boundary value problem
23.
boundary value problems
24.
calorific value
25.
CCUS value chain
26.
charter value
27.
cocreated brand value
28.
conditional value at risk (CVaR)
29.
consumer digital cocreated value
30.
Consumer-perceived value (CPV)
31.
course-of-value function
32.
cultural value
33.
customer engagement value
34.
customer value
35.
design value
36.
Ducoffe’s advertisement value model
37.
European added value
38.
E-value
39.
extreme value analysis
40.
extreme value distribution
41.
extreme value distributions
42.
extreme value statistics
43.
firm value
44.
generalised extreme value (GEV)
45.
generalised extreme value distribution
46.
global value chain
47.
global value chains (GVC)
48.
gross calorific value
49.
heating value
50.
information value
51.
innovation value
52.
Islamic public value
53.
market value added
54.
milieu value
55.
moisture buffer value
56.
net present value
57.
Net Present Value (NPV)
58.
non-market value
59.
non-use value
60.
oil shale value chain
61.
open value network
62.
perceived customer value theory
63.
perceived value of an innovation
64.
portrait value questionnaire
65.
price and value of housing
66.
public value
67.
public value sphere
68.
recreation value
69.
sampled measure value
70.
service value
71.
services value chain collaboration
72.
shareholder value
73.
smart service value (SSV)
74.
social value
75.
Stakeholder value
76.
zero value
77.
target value design
78.
the co-creation of value
79.
theory of value
80.
Utilitarian/hedonic/social value
81.
value
82.
value activity cycle
83.
value added
84.
value adding REE chain
85.
value alignment
86.
value as a commons
87.
value at risk
88.
value centric design
89.
value chain
90.
value cocreation
91.
value co-creation
92.
value creation
93.
value dissipation
94.
value distribution
95.
value network analysis
96.
value of ecosystem services
97.
value of learning
98.
value of lost load
99.
value propositions
100.
value set
101.
value settings
102.
value steam mapping
103.
value stream mapping
104.
value system
105.
value systems
106.
value theory
107.
value-added activities (VA)
108.
value-added bioproducts
109.
value-added intellectual coefficient
110.
value-added tax
111.
value-based design
112.
value-centric business
113.
value-centric design
114.
value-centric model
115.
value-in-experience
116.
value-system
autor
1
1.
European Added Value Unit
TTÜ märksõna
1
1.
Islamic Public Value Network
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT