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
Searching
My bookmarks
0
call-by-push value (keyword)
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
Add criteria
Advanced 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
1
Look more..
(3/118)
Export
export all inquiry results
(1)
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
1
book article EST
/
book article 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
book article EST
/
book article ENG
Number of records 1, displaying
1 - 1
keyword
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
author
1
1.
European Added Value Unit
TalTech subject term
1
1.
Islamic Public Value Network
×
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