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
sõna
algab
täpne vaste
vabatekst
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
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/154)
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
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
×
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