Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
mathematical structures in functional programming (keyword)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(1/134)
Export
export all inquiry results
(1)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
Number of records 1, displaying
1 - 1
keyword
134
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 gene analysis
30.
functional groups
31.
functional institutional analysis
32.
functional ionic liquids
33.
functional iteration
34.
functional material
35.
functional materials
36.
functional models
37.
functional morphology
38.
functional polymer
39.
functional power plants
40.
functional power-plants
41.
functional prediction
42.
functional profiling
43.
functional properties
44.
functional recovery
45.
functional requirements
46.
functional safety
47.
functional self-test
48.
functional smoothie
49.
Functional specialist in AI for public services
50.
functional state of the muscles -tiredness
51.
functional stress programs
52.
functional test generation
53.
functional trait diversity
54.
functional verification
55.
functional-safety
56.
high-level functional fault model
57.
hybrid functional
58.
lower limb mathematical modeling
59.
mathematical analysis
60.
mathematical description
61.
mathematical discovery
62.
mathematical logic
63.
Mathematical methods
64.
mathematical model
65.
mathematical modeling
66.
mathematical modelling
67.
mathematical models
68.
mathematical models for economic problems
69.
mathematical optimization
70.
mathematical proof
71.
mathematical representation
72.
Mathematical simulation
73.
mathematical techniques
74.
multi-pole mathematical model
75.
non-robust and functional sensitization
76.
non-robust and functional sensitization of delay faults
77.
plant-functional types
78.
size of functional groups
79.
time-dependent density functional theory (TD-DFT)
80.
adaptive programming
81.
advanced programming and software
82.
API (Application Programming Interface)
83.
automatic programming
84.
C++ programming language
85.
chance-constrained programming
86.
computer programming
87.
computer programming languages
88.
constraint programming
89.
convex programming
90.
dataflow programming
91.
degenerate and infeasible linear programming problems
92.
dependently typed programming
93.
discrete-convex programming
94.
dynamic programming
95.
Extreme Programming
96.
game programming
97.
generative programming
98.
genetic programming
99.
hardware close programming
100.
Inductive logic programming
101.
initial solution to the linear programming problem
102.
in-system programming
103.
integer linear programming
104.
integer linear programming (ILP)
105.
integrated programming system
106.
intelligent programming environment
107.
linear integer programming
108.
linear programming
109.
logarithmic fuzzy preference programming (LFPP)
110.
mixed integer linear programming
111.
mixed integer linear programming (MILP)
112.
mixed integer nonlinear programming
113.
mixed-integer linear programming
114.
multi-objective nonlinear programming
115.
Nc-programming
116.
object-oriented programming
117.
object-oriented programming languages
118.
pair-programming
119.
problem-oriented programming languages
120.
programming
121.
programming and vision
122.
programming basics
123.
programming education
124.
programming languages
125.
programming time
126.
quadratic programming
127.
robot programming
128.
semantics of programming languages
129.
skills assessment of programming and mathematics
130.
solving linear programming problems
131.
stochastic dynamic programming
132.
stochastic programming
133.
structured programming
134.
wireless programming
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT