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
Liitotsing
Valitud kirjed
0
functional reactive programming (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
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/144)
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
144
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 institutional analysis
74.
functional ionic liquids
75.
functional iteration
76.
functional material
77.
functional materials
78.
functional models
79.
functional morphology
80.
functional polymer
81.
functional power plants
82.
functional power-plants
83.
functional prediction
84.
functional profiling
85.
functional properties
86.
functional recovery
87.
functional requirements
88.
functional safety
89.
functional self-test
90.
functional smoothie
91.
Functional specialist in AI for public services
92.
functional state of the muscles -tiredness
93.
functional stress programs
94.
functional test generation
95.
functional trait diversity
96.
functional verification
97.
functional-safety
98.
game programming
99.
generative programming
100.
genetic programming
101.
hardware close programming
102.
high-level functional fault model
103.
hybrid functional
104.
Inductive logic programming
105.
initial solution to the linear programming problem
106.
in-system programming
107.
integer linear programming
108.
integer linear programming (ILP)
109.
integrated programming system
110.
intelligent programming environment
111.
linear integer programming
112.
linear programming
113.
logarithmic fuzzy preference programming (LFPP)
114.
mathematical programming
115.
mixed integer linear programming
116.
mixed integer linear programming (MILP)
117.
mixed integer nonlinear programming
118.
mixed-integer linear programming
119.
multi-objective nonlinear programming
120.
Nc-programming
121.
non-robust and functional sensitization
122.
non-robust and functional sensitization of delay faults
123.
object-oriented programming
124.
object-oriented programming languages
125.
pair-programming
126.
plant-functional types
127.
problem-oriented programming languages
128.
programming
129.
programming and vision
130.
programming basics
131.
programming education
132.
programming languages
133.
programming time
134.
quadratic programming
135.
robot programming
136.
semantics of programming languages
137.
size of functional groups
138.
skills assessment of programming and mathematics
139.
solving linear programming problems
140.
stochastic dynamic programming
141.
stochastic programming
142.
structured programming
143.
time-dependent density functional theory (TD-DFT)
144.
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