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