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 publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(2/98)
Export
export all inquiry results
(1)
Save TXT fail
Save PDF 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
97
1.
call-by-push value
2.
call-by-value
3.
call
4.
call detail records
5.
call-by-name
6.
CALL-technology
7.
computer-assisted language learning (CALL)
8.
currentfed push-pull
9.
push-pull
10.
push–pull
11.
push-pull converter
12.
added value
13.
advertising value
14.
assessment of calorific value and moisture content
15.
boundary value problem
16.
boundary value problems
17.
calorific value
18.
charter value
19.
cocreated brand value
20.
conditional value at risk (CVaR)
21.
consumer digital cocreated value
22.
Consumer-perceived value (CPV)
23.
course-of-value function
24.
cultural value
25.
customer engagement value
26.
customer value
27.
design value
28.
Ducoffe’s advertisement value model
29.
European added value
30.
E-value
31.
extreme value distribution
32.
extreme value distributions
33.
extreme value statistics
34.
generalised extreme value distribution
35.
global value chain
36.
gross calorific value
37.
heating value
38.
information value
39.
Islamic public value
40.
market value added
41.
milieu value
42.
moisture buffer value
43.
net present value
44.
Net Present Value (NPV)
45.
non-market value
46.
non-use value
47.
oil shale value chain
48.
open value network
49.
perceived customer value theory
50.
portrait value questionnaire
51.
price and value of housing
52.
public value
53.
public value sphere
54.
recreation value
55.
sampled measure value
56.
service value
57.
services value chain collaboration
58.
shareholder value
59.
social value
60.
zero value
61.
the co-creation of value
62.
theory of value
63.
Utilitarian/hedonic/social value
64.
value
65.
value activity cycle
66.
value added
67.
value adding REE chain
68.
value alignment
69.
value as a commons
70.
value at risk
71.
value centric design
72.
value chain
73.
value cocreation
74.
value co-creation
75.
value creation
76.
value dissipation
77.
value distribution
78.
value network analysis
79.
value of ecosystem services
80.
value of learning
81.
value of lost load
82.
value propositions
83.
value settings
84.
value steam mapping
85.
value stream mapping
86.
value system
87.
value systems
88.
value theory
89.
value-added activities (VA)
90.
value-added bioproducts
91.
value-added intellectual coefficient
92.
value-added tax
93.
value-centric business
94.
value-centric design
95.
value-centric model
96.
value-in-experience
97.
value-system
author
1
1.
European Added Value Unit
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT