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
functional reactive programming (keyword)
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)
sõna
starts with
exact match
vabatekst
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)
sõna
starts with
exact match
vabatekst
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)
sõna
starts with
exact match
vabatekst
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)
sõna
starts with
exact match
vabatekst
—
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)
sõna
starts with
exact match
vabatekst
—
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
1
Look more..
(1/154)
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
journal article EST
/
journal article ENG
Abstract categorical semantics for resourceful functional reactive programming
Jeltsch, Wolfgang
Journal of logical and algebraic methods in programming
2016
/
p. 1177-1200 : ill
https://doi.org/10.1016/j.jlamp.2016.07.001
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 1, displaying
1 - 1
keyword
154
1.
functional reactive programming
2.
functional programming
3.
mathematical structures in functional programming
4.
chiefly reactive CSR
5.
C-reactive protein
6.
highly reactive viscoelastic liquids
7.
leakage current and reactive power supporting
8.
reactive annealing
9.
reactive atmosphere
10.
reactive dip-coating
11.
reactive energy
12.
reactive extrusion
13.
reactive laser powder-bed fusion
14.
reactive measures
15.
reactive melt blending
16.
reactive nitrogen
17.
reactive nitrogen budget
18.
reactive oxygen specie
19.
reactive oxygen species
20.
reactive oxygen species (ROS)
21.
reactive power
22.
reactive power compensation
23.
reactive power control
24.
reactive power injection
25.
reactive power management
26.
reactive power provision
27.
reactive risk management
28.
reactive sintering
29.
reactive vacuum sintering
30.
adaptive programming
31.
advanced programming and software
32.
API (Application Programming Interface)
33.
automatic programming
34.
C++ programming language
35.
chance-constrained programming
36.
computer programming
37.
computer programming languages
38.
computer systems programming
39.
constraint logic programming
40.
constraint logic programming (LP) (CLP)
41.
constraint programming
42.
convex programming
43.
cross-functional teams
44.
dataflow programming
45.
degenerate and infeasible linear programming problems
46.
density functional calculations
47.
density functional theory
48.
density functional theory (DFT)
49.
dependently typed programming
50.
discrete-convex programming
51.
dynamic programming
52.
extra-functional verification
53.
Extreme Programming
54.
FIM (functional independence measure)
55.
FIM + FAM (functional assessment measure)
56.
functional diversity
57.
functional approximation
58.
functional biomaterials
59.
functional BIST
60.
functional capacity of cooperation
61.
functional capacity of integration
62.
functional complexes
63.
functional components
64.
functional connectivity
65.
functional data analysis
66.
functional derating
67.
functional de-rating
68.
functional dispersion
69.
functional diversity
70.
functional equivalence principle
71.
Functional Failure Rate (FFR)
72.
functional fault model
73.
functional food
74.
functional food ingredients
75.
functional gene analysis
76.
functional groups
77.
functional imaging
78.
functional institutional analysis
79.
functional ionic liquids
80.
functional iteration
81.
functional material
82.
functional materials
83.
functional models
84.
functional morphology
85.
functional polymer
86.
functional power plants
87.
functional power-plants
88.
functional prediction
89.
functional profiling
90.
functional properties
91.
functional recovery
92.
functional requirements
93.
functional safety
94.
functional self-test
95.
functional smoothie
96.
Functional specialist in AI for public services
97.
functional state of the muscles -tiredness
98.
functional stress programs
99.
functional test generation
100.
functional trait diversity
101.
functional unit definition
102.
functional verification
103.
functional-safety
104.
game programming
105.
generative programming
106.
genetic programming
107.
hardware close programming
108.
high-level functional fault model
109.
hybrid functional
110.
Inductive logic programming
111.
initial solution to the linear programming problem
112.
in-system programming
113.
integer linear programming
114.
integer linear programming (ILP)
115.
integrated programming system
116.
intelligent programming environment
117.
linear integer programming
118.
linear programming
119.
logarithmic fuzzy preference programming (LFPP)
120.
mathematical programming
121.
mixed integer linear programming
122.
mixed integer linear programming (MILP)
123.
mixed integer nonlinear programming
124.
mixed-integer linear programming
125.
multi-objective nonlinear programming
126.
Nc-programming
127.
non-robust and functional sensitization
128.
non-robust and functional sensitization of delay faults
129.
object-oriented programming
130.
object-oriented programming languages
131.
pair-programming
132.
plant-functional types
133.
problem-oriented programming languages
134.
programming
135.
programming and vision
136.
programming basics
137.
programming education
138.
programming languages
139.
programming time
140.
protein techno-functional properties
141.
quadratic programming
142.
R programming
143.
robot programming
144.
semantics of programming languages
145.
size of functional groups
146.
skills assessment of programming and mathematics
147.
software tools for robot programming
148.
solving linear programming problems
149.
stochastic dynamic programming
150.
stochastic programming
151.
structured programming
152.
techno-functional properties
153.
time-dependent density functional theory (TD-DFT)
154.
wireless programming
×
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