E-väljaanne
TÄISTEKST TTÜ raamatukogu digikogus http://digi.lib.ttu.ee/i/?6213
- Autor
- Firsov, Denis, 1987-
- Pealkiri
- Certification of context-free grammar algorithms = Kontekstivabade grammatikate algoritmide sertifitseerimine / Denis Firsov ; [supervisor Tarmo Uustalu]
- Ilmumisandmed
- Tallinn : TUT Press, 2016 (Tallinn : Tallinna Tehnikaülikooli Kirjastuse trükikoda)
- Füüsiline kirjeldus
- 112, [6] lk. ; 25 cm
- 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, ISSN 1406-4731 ; 116
- Tallinna Tehnikaülikooli väitekirjad. C, ISSN 1406-4731 ; 116
- ISBN
- 9789949830053
9789949830060 (pdf) - Märkus
- Doktoritöö: Tallinna Tehnikaülikool, 2016
Autori publikatsioonid lk. 7. - Bibliograafia lk. 61-65
Kokkuvõte eesti keeles - Täiendav kandja
- Kättesaadav ka võrguteavikuna
- Märksõnad
- programmeerimiskeeled; kontekstivabad grammatikad; algoritmid; sertifitseerimine; dissertatsioonid; kontekstivabad grammatikad (inform.); parsimine; konstruktiivne loogika
- Teised autorid
- Uustalu, Tarmo, 1969-, juhendaja
- Kollektiivautorid
- Tallinna Tehnikaülikool
- UDK
- 004.423.25.021 (043)
004.43 (043) - Rööppealkiri
- Kontekstivabade grammatikate algoritmide sertifitseerimine
Rahvusbibliograafia
RB väljaanded