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
mathematical structures in functional 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/136)
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
Distributive laws of directed containers
Ahman, Danel
;
Uustalu, Tarmo
Progress in Informatics
2013
/
p. 3-18
https://doi.org/10.2201/NiiPi.2013.10.2
Journal metrics at Scopus
Article at Scopus
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
136
1.
mathematical structures in functional programming
2.
functional reactive programming
3.
mathematical programming
4.
cross-functional teams
5.
density functional calculations
6.
density functional theory
7.
density functional theory (DFT)
8.
extra-functional verification
9.
FIM (functional independence measure)
10.
FIM + FAM (functional assessment measure)
11.
functional diversity
12.
functional approximation
13.
functional biomaterials
14.
functional BIST
15.
functional capacity of cooperation
16.
functional capacity of integration
17.
functional complexes
18.
functional components
19.
functional connectivity
20.
functional data analysis
21.
functional derating
22.
functional de-rating
23.
functional dispersion
24.
functional diversity
25.
functional equivalence principle
26.
Functional Failure Rate (FFR)
27.
functional fault model
28.
functional food
29.
functional food ingredients
30.
functional gene analysis
31.
functional groups
32.
functional institutional analysis
33.
functional ionic liquids
34.
functional iteration
35.
functional material
36.
functional materials
37.
functional models
38.
functional morphology
39.
functional polymer
40.
functional power plants
41.
functional power-plants
42.
functional prediction
43.
functional profiling
44.
functional properties
45.
functional recovery
46.
functional requirements
47.
functional safety
48.
functional self-test
49.
functional smoothie
50.
Functional specialist in AI for public services
51.
functional state of the muscles -tiredness
52.
functional stress programs
53.
functional test generation
54.
functional trait diversity
55.
functional verification
56.
functional-safety
57.
high-level functional fault model
58.
hybrid functional
59.
lower limb mathematical modeling
60.
mathematical analysis
61.
mathematical description
62.
mathematical discovery
63.
mathematical logic
64.
Mathematical methods
65.
mathematical model
66.
mathematical modeling
67.
mathematical modelling
68.
mathematical models
69.
mathematical models for economic problems
70.
mathematical optimization
71.
Mathematical Physics
72.
mathematical proof
73.
mathematical representation
74.
Mathematical simulation
75.
mathematical techniques
76.
multi-pole mathematical model
77.
non-robust and functional sensitization
78.
non-robust and functional sensitization of delay faults
79.
plant-functional types
80.
size of functional groups
81.
time-dependent density functional theory (TD-DFT)
82.
adaptive programming
83.
advanced programming and software
84.
API (Application Programming Interface)
85.
automatic programming
86.
C++ programming language
87.
chance-constrained programming
88.
computer programming
89.
computer programming languages
90.
constraint programming
91.
convex programming
92.
dataflow programming
93.
degenerate and infeasible linear programming problems
94.
dependently typed programming
95.
discrete-convex programming
96.
dynamic programming
97.
Extreme Programming
98.
game programming
99.
generative programming
100.
genetic programming
101.
hardware close programming
102.
Inductive logic programming
103.
initial solution to the linear programming problem
104.
in-system programming
105.
integer linear programming
106.
integer linear programming (ILP)
107.
integrated programming system
108.
intelligent programming environment
109.
linear integer programming
110.
linear programming
111.
logarithmic fuzzy preference programming (LFPP)
112.
mixed integer linear programming
113.
mixed integer linear programming (MILP)
114.
mixed integer nonlinear programming
115.
mixed-integer linear programming
116.
multi-objective nonlinear programming
117.
Nc-programming
118.
object-oriented programming
119.
object-oriented programming languages
120.
pair-programming
121.
problem-oriented programming languages
122.
programming
123.
programming and vision
124.
programming basics
125.
programming education
126.
programming languages
127.
programming time
128.
quadratic programming
129.
robot programming
130.
semantics of programming languages
131.
skills assessment of programming and mathematics
132.
solving linear programming problems
133.
stochastic dynamic programming
134.
stochastic programming
135.
structured programming
136.
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