Toggle navigation
Search
Collections
Indexes
FAQ
Digikogu
Search
Collections
Indexes
FAQ
Intranet
Logi sisse
Select collection
select all
remove selection
annual reports of research & development activities
articles
bachelor's theses
conference proceedings
digitized periodicals
diploma theses
dissertations
history of TalTech
IOP
library publications
master's theses
pre-dissertations
research reports
standards
textbooks and teaching materials
transactions of TalTech
varia
title
author/supervisor/editor
structural unit
keyword
publication year
-
Sort by
author A-Z
author Z-A
publishing year asc
publishing year desc
title A-Z
title Z-A
Index
Uustalu, Tarmo - supervisor
find full texts
Apply
items found: 5
1.
Certification of Context-Free Grammar Algorithms. Kontekstivabade grammatikate algoritmide sertifitseerimine
Firsov, Denis
31.08.2016
dissertations
2.
Operational Semantics of Weak Sequential Composition. Nõrga jadakompositsiooni operatsioonsemantika
Maarand, Hendrik
26.06.2020
dissertations
3.
Logics for Low-Level Code and Proof-Preserving Program Transformations. Loogikad madala taseme koodile ja tõestusi säilitavad programmiteisendused
Saabas, Ando
14.11.2008
dissertations
4.
Efektianalüüsidel põhinevate programmiteisenduste sertifitseerimine. Certification of effect-analysis based program transformations
Talvik, Tõnn
02.06.2017
master's theses
5.
A Type-Theoretical Study of Nontermination. Tüübiteoreetiline uurimus mittetermineeruvusest
Veltri, Niccolò
26.05.2017
dissertations
items found: 5
1