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
Journal of functional programming (allikas)
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
2
Vaata veel..
(1/115)
Ekspordi
ekspordi kõik päringu tulemused
(2)
Salvesta TXT fail
Salvesta PDF 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
Finiteness and rational sequences, constructively
Uustalu, Tarmo
;
Veltri, Niccolo
Journal of functional programming
2017
/
art. e13, p. 1-20
https://doi.org/10.1017/S0956796817000041
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
2
artikkel ajakirjas
PhD abstracts
Hutton, Graham
Journal of functional programming
2017
/
art. e25, p. 1-18
https://doi.org/10.1017/s0956796817000181
artikkel ajakirjas
Kirjeid leitud 2, kuvan
1 - 2
võtmesõna
115
1.
functional reactive programming
2.
mathematical structures in functional programming
3.
adaptive programming
4.
advanced programming and software
5.
API (Application Programming Interface)
6.
automatic programming
7.
C++ programming language
8.
chance-constrained programming
9.
computer programming
10.
computer programming languages
11.
constraint programming
12.
convex programming
13.
dataflow programming
14.
degenerate and infeasible linear programming problems
15.
density functional calculations
16.
density functional theory
17.
density functional theory (DFT)
18.
dependently typed programming
19.
discrete-convex programming
20.
dynamic programming
21.
extra-functional verification
22.
Extreme Programming
23.
FIM (functional independence measure)
24.
FIM + FAM (functional assessment measure)
25.
functional diversity
26.
functional approximation
27.
functional biomaterials
28.
functional BIST
29.
functional capacity of cooperation
30.
functional capacity of integration
31.
functional complexes
32.
functional components
33.
functional connectivity
34.
functional data analysis
35.
functional derating
36.
functional de-rating
37.
functional dispersion
38.
functional diversity
39.
functional equivalence principle
40.
Functional Failure Rate (FFR)
41.
functional fault model
42.
functional food
43.
functional gene analysis
44.
functional groups
45.
functional institutional analysis
46.
functional ionic liquids
47.
functional iteration
48.
functional material
49.
functional materials
50.
functional models
51.
functional morphology
52.
functional polymer
53.
functional power plants
54.
functional power-plants
55.
functional prediction
56.
functional profiling
57.
functional properties
58.
functional recovery
59.
functional requirements
60.
functional safety
61.
functional self-test
62.
functional smoothie
63.
Functional specialist in AI for public services
64.
functional state of the muscles -tiredness
65.
functional stress programs
66.
functional test generation
67.
functional trait diversity
68.
functional verification
69.
functional-safety
70.
game programming
71.
generative programming
72.
genetic programming
73.
hardware close programming
74.
high-level functional fault model
75.
hybrid functional
76.
initial solution to the linear programming problem
77.
in-system programming
78.
integer linear programming
79.
integer linear programming (ILP)
80.
integrated programming system
81.
intelligent programming environment
82.
linear integer programming
83.
linear programming
84.
logarithmic fuzzy preference programming (LFPP)
85.
mathematical programming
86.
mixed integer linear programming
87.
mixed integer linear programming (MILP)
88.
mixed integer nonlinear programming
89.
mixed-integer linear programming
90.
multi-objective nonlinear programming
91.
Nc-programming
92.
non-robust and functional sensitization
93.
non-robust and functional sensitization of delay faults
94.
object-oriented programming
95.
object-oriented programming languages
96.
pair-programming
97.
plant-functional types
98.
problem-oriented programming languages
99.
programming
100.
programming and vision
101.
programming basics
102.
programming education
103.
programming languages
104.
programming time
105.
quadratic programming
106.
robot programming
107.
semantics of programming languages
108.
size of functional groups
109.
solving linear programming problems
110.
stochastic dynamic programming
111.
stochastic programming
112.
structured programming
113.
time-dependent density functional theory (TD-DFT)
114.
wireless programming
115.
USN Journal
×
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