Toggle navigation
Otsing
Kollektsioonid
Registrid
Abi ja info
Digikogu
Otsing
Kollektsioonid
Registrid
Abi ja info
Intranet
Logi sisse
Vali kollektsioon
vali kõik
eemalda valik
artiklid
bakalaureusetööd
digiteeritud perioodika
diplomitööd
doktoritööd
IOP
kaitsmisele minevad doktoritööd
konverentsikogumikud
magistritööd
raamatukogu väljaanded
standardid
teadus- ja arengutegevuse aruanded
Tehnikaülikooli ajalugu
Tehnikaülikooli toimetised
uuringuaruanded
varia
õpikud ja õppevahendid
Pealkiri
Autor/juhendaja/koostaja
Struktuuriüksus
Märksõna
Aasta
-
Reasta
autor A-Z
autor Z-A
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri A-Z
pealkiri Z-A
Register
Uustalu, Tarmo - juhendaja
Kuva ainult täistekste
Rakenda
Kirjeid leitud: 7
1.
Certification of Context-Free Grammar Algorithms. Kontekstivabade grammatikate algoritmide sertifitseerimine
Firsov, Denis
31.08.2016
doktoritööd
2.
Operational Semantics of Weak Sequential Composition. Nõrga jadakompositsiooni operatsioonsemantika
Maarand, Hendrik
26.06.2020
doktoritööd
3.
Intuitsionistliku lauseloogika tõestuste otsingu ja kontramudelite ehitamise formaalne verifitseerimine. Formal Verification of Proof Search and Countermodel Construction for Intuitionistic Propositional Logic
Nõojärv, Liisi
05.06.2026
magistritööd
4.
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
doktoritööd
5.
Efektianalüüsidel põhinevate programmiteisenduste sertifitseerimine. Certification of effect-analysis based program transformations
Talvik, Tõnn
02.06.2017
magistritööd
6.
Proof Theory of Semi-Substructural Logics. Pool-allstruktuursete loogikate tõestusteooria
Wan, Cheng-Syuan
25.06.2025
doktoritööd
7.
A Type-Theoretical Study of Nontermination. Tüübiteoreetiline uurimus mittetermineeruvusest
Veltri, Niccolò
26.05.2017
doktoritööd
Kirjeid leitud: 7
1