Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
functional reactive programming (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
1
Vaata veel..
(1/145)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
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
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT