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
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
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/117)
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
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
115
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.
charter value
26.
cocreated brand value
27.
conditional value at risk (CVaR)
28.
consumer digital cocreated value
29.
Consumer-perceived value (CPV)
30.
course-of-value function
31.
cultural value
32.
customer engagement value
33.
customer value
34.
design value
35.
Ducoffe’s advertisement value model
36.
European added value
37.
E-value
38.
extreme value analysis
39.
extreme value distribution
40.
extreme value distributions
41.
extreme value statistics
42.
firm value
43.
generalised extreme value (GEV)
44.
generalised extreme value distribution
45.
global value chain
46.
global value chains (GVC)
47.
gross calorific value
48.
heating value
49.
information value
50.
innovation value
51.
Islamic public value
52.
market value added
53.
milieu value
54.
moisture buffer value
55.
net present value
56.
Net Present Value (NPV)
57.
non-market value
58.
non-use value
59.
oil shale value chain
60.
open value network
61.
perceived customer value theory
62.
perceived value of an innovation
63.
portrait value questionnaire
64.
price and value of housing
65.
public value
66.
public value sphere
67.
recreation value
68.
sampled measure value
69.
service value
70.
services value chain collaboration
71.
shareholder value
72.
smart service value (SSV)
73.
social value
74.
Stakeholder value
75.
zero value
76.
target value design
77.
the co-creation of value
78.
theory of value
79.
Utilitarian/hedonic/social value
80.
value
81.
value activity cycle
82.
value added
83.
value adding REE chain
84.
value alignment
85.
value as a commons
86.
value at risk
87.
value centric design
88.
value chain
89.
value cocreation
90.
value co-creation
91.
value creation
92.
value dissipation
93.
value distribution
94.
value network analysis
95.
value of ecosystem services
96.
value of learning
97.
value of lost load
98.
value propositions
99.
value set
100.
value settings
101.
value steam mapping
102.
value stream mapping
103.
value system
104.
value systems
105.
value theory
106.
value-added activities (VA)
107.
value-added bioproducts
108.
value-added intellectual coefficient
109.
value-added tax
110.
value-based design
111.
value-centric business
112.
value-centric design
113.
value-centric model
114.
value-in-experience
115.
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