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
Profiles and Research Groups
Searching
My bookmarks
0
functional and dependently-typed programming (Keyword)
All fields
Profile search
Research Group search
Research group lead search
Research group member search
starts with
containes
exact match
All fields
Profile search
Research Group search
Research group lead search
Research group member search
starts with
containes
exact match
—
All fields
Profile search
Research Group search
Research group lead search
Research group member search
starts with
containes
exact match
—
All fields
Profile search
Research Group search
Research group lead search
Research group member search
starts with
containes
exact match
—
All fields
Profile search
Research Group search
Research group lead search
Research group member search
starts with
containes
exact match
—
Advanced search
filter
Clear
×
CV
..
Research Group
..
name, alternate name forms
Loading..
praegune allüksus
Loading..
staatus, praegune amet
Loading..
eriala
Loading..
Head of the research group
Loading..
Research group member
Loading..
TalTech prioriteetne teadussuund
Loading..
Keyword
Loading..
teadusvaldkondade ja -erialade klassifikaator
Loading..
Clear
Number of records
1
Look more..
(1/1)
Export
export all inquiry results
(1)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
lühivorming
sort
name, alternate name forms ascending
name, alternate name forms descending
1
Research Group EST
/
Research Group ENG
High-assurance software laboratory
.
Dependable IT solutions
,
Innovative businesses and future governance
.
Uustalu, Tarmo 1969
Research Group EST
/
Research Group ENG
Number of records 1, displaying
1 - 1
Keyword
1
1.
functional and dependently-typed programming
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
name, alternate name forms
praegune allüksus
staatus, praegune amet
eriala
Head of the research group
Research group member
TalTech prioriteetne teadussuund
Keyword
teadusvaldkondade ja -erialade klassifikaator
Otsing
Valikud
0
name, alternate name forms
AND
OR
NOT
praegune allüksus
AND
OR
NOT
staatus, praegune amet
AND
OR
NOT
eriala
AND
OR
NOT
Head of the research group
AND
OR
NOT
Research group member
AND
OR
NOT
TalTech prioriteetne teadussuund
AND
OR
NOT
Keyword
AND
OR
NOT
teadusvaldkondade ja -erialade klassifikaator
AND
OR
NOT