E-väljaanne
TÄISTEKST RR arhiivis DIGAR http://www.digar.ee/arhiiv/nlib-digar:315498
TÄISTEKST TTÜ raamatukogu digikogus https://digi.lib.ttu.ee/i/?7631
TÄISTEKST TTÜ raamatukogu digikogus https://digi.lib.ttu.ee/i/?7631
- Autor
- Veltri, Niccolò, 1988-
- Pealkiri
- A type-theoretical study of nontermination [Võrguteavik] = Tüübiteoreetiline uurimus mittetermineeruvusest / Niccolò Veltri ; supervisors Tarmo Uustalu, James Chapman
- Ilmumisandmed
- Tallinn : TUT Press, 2017
- Füüsiline kirjeldus
- 1 võrguväljaanne (143 lk. ; pdf)
- Seeria pealkiri
- Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering = [Tallinna Tehnikaülikooli väitekirjad]. C, Informaatika ja süsteemitehnika ; 123
- Tallinna Tehnikaülikooli väitekirjad. C. [Võrguteavik] ; 123
- ISBN
- 9789949831012 (pdf)
- Märkus
- Doktoritöö: Tallinna Tehnikaülikool, 2017
Sisaldab bibliograafiat
Kokkuvõte eesti keeles
Pealkiri võetud tiitelkuvalt (kirjeldatud 21.06.2017) - Täiendav kandja
- Kättesaadav ka trükisena
- Märksõnad
- arvutiteadus; konstruktiivne matemaatika; tüübiteooria; dissertatsioonid; e-raamatud
- Teised autorid
- Uustalu, Tarmo, 1969-, juhendaja
Chapman, James, juhendaja
- Kollektiivautorid
- Tallinna Tehnikaülikool
- UDK
- 004 (043) (0.034)
- Rööppealkiri
- Tüübiteoreetiline uurimus mittetermineeruvusest [Võrguteavik]
- Teine kandja
- Type-theoretical study of nontermination. 9789949831005
Rahvusbibliograafia
RB väljaanded
