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
type theory - märksõna
Kuva ainult täistekste
Rakenda
Kirjeid leitud: 3
1.
Normaliseerimine läbi väärtustamise andmetüüpidele. Normalisation by evaluation for data types
Maarand, Hendrik
11.06.2014
magistritööd
2.
A Type-Theoretical Study of Nontermination. Tüübiteoreetiline uurimus mittetermineeruvusest
Veltri, Niccolò
26.05.2017
doktoritööd
3.
21
st
International Conference on Types for Proofs and Programs TYPES 2015 : Tallinn, Estonia, 18–21 May 2015 : Abstracts
2015
konverentsikogumikud
Kirjeid leitud: 3
1