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