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/145)
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
145
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 food ingredients
71.
functional gene analysis
72.
functional groups
73.
functional imaging
74.
functional institutional analysis
75.
functional ionic liquids
76.
functional iteration
77.
functional material
78.
functional materials
79.
functional models
80.
functional morphology
81.
functional polymer
82.
functional power plants
83.
functional power-plants
84.
functional prediction
85.
functional profiling
86.
functional properties
87.
functional recovery
88.
functional requirements
89.
functional safety
90.
functional self-test
91.
functional smoothie
92.
Functional specialist in AI for public services
93.
functional state of the muscles -tiredness
94.
functional stress programs
95.
functional test generation
96.
functional trait diversity
97.
functional verification
98.
functional-safety
99.
game programming
100.
generative programming
101.
genetic programming
102.
hardware close programming
103.
high-level functional fault model
104.
hybrid functional
105.
Inductive logic programming
106.
initial solution to the linear programming problem
107.
in-system programming
108.
integer linear programming
109.
integer linear programming (ILP)
110.
integrated programming system
111.
intelligent programming environment
112.
linear integer programming
113.
linear programming
114.
logarithmic fuzzy preference programming (LFPP)
115.
mathematical programming
116.
mixed integer linear programming
117.
mixed integer linear programming (MILP)
118.
mixed integer nonlinear programming
119.
mixed-integer linear programming
120.
multi-objective nonlinear programming
121.
Nc-programming
122.
non-robust and functional sensitization
123.
non-robust and functional sensitization of delay faults
124.
object-oriented programming
125.
object-oriented programming languages
126.
pair-programming
127.
plant-functional types
128.
problem-oriented programming languages
129.
programming
130.
programming and vision
131.
programming basics
132.
programming education
133.
programming languages
134.
programming time
135.
quadratic programming
136.
robot programming
137.
semantics of programming languages
138.
size of functional groups
139.
skills assessment of programming and mathematics
140.
solving linear programming problems
141.
stochastic dynamic programming
142.
stochastic programming
143.
structured programming
144.
time-dependent density functional theory (TD-DFT)
145.
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