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
Tõugu, Enn - juhendaja
Kuva ainult täistekste
Rakenda
Kirjeid leitud: 4
1.
Higher-Order Attribute Semantics of Flat Languages. Lamedate keelte kõrgemat järkuatribuutsemantika
Grigorenko, Pavel
17.11.2010
doktoritööd
2.
Composition of Web Services on Large Service Models. Veebiteenuste kompositsioon suurtel teenustemudelitel
Maigre, Riina
22.06.2011
doktoritööd
3.
Software Technology for Cyber Security Simulations. Tarkvaratehnika küberturbe simulatsioonide jaoks
Ojamaa, Andres
15.12.2016
doktoritöö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
Kirjeid leitud: 4
1