Browsing Informatika Doktori Iskola by Submit Date
Now showing items 1-20 of 50
-
Title: A Logo-tól az Informatikai Olimpiáig Informatikai Tehetséggondozás a Középiskolában
Author: Erdősné Németh, Ágnes
Date: 2019
Submitted: 2019-04-11
-
Title: Word meaning for open domain dialogue systems
Author: Pintér, Balázs
Date: 2018
Submitted: 2019-04-11
-
Title: Towards safer programming language constructs
Author: Baráth, Áron
Date: 2018
Submitted: 2019-04-11
-
Title: Verification and Application of Program Transformations
Author: Horpácsi, Dániel
Date: 2018
Submitted: 2019-03-06
-
Title: Adat és kiértékelési függőségi elemzés funkcionális nyelvekre-Erlang programok statikus elemzése
Author: Tóth, Melinda
Date: 2018
Submitted: 2019-03-06
-
Title: Erlang programok statikus elemzése és szeletelése
Author: Bozó, István
Date: 2018
Submitted: 2019-03-06
-
Title: Quality Aspects of TTCN-3 Based Test Systems
Author: Szabados, Kristóf
Date: 2017
Submitted: 2019-03-06
-
Title: Algorithmic Problems in Bioinformatics
Author: Szalkai, Balázs
Date: 2018
Submitted: 2019-03-06
-
Title: Programhelyesség- bizonyítás fordítási időben
Author: Dévai, Gergely
Date: 2017
Submitted: 2019-02-08
-
Title: Változó indexű Lebesgue- terek és alkalmazásuk a Fourier- analízisben
Author: Szarvas, Kristóf
Date: 2017
Submitted: 2019-02-08
-
Title: Szemantikus adatok lekérdezése federált és osztott rendszereken
Author: Gombos, Gergő
Date: 2018
Submitted: 2019-01-16
-
Title: Az XML technológia alapjai- XML az oktatásban, különös tekintettel a programozás oktatására
Author: Menyhárt, László Gábor
Date: 2018
Submitted: 2019-01-16
-
Title: Data Mining in Genomics, Metagenomics and Connectomics
Author: Kerepesi, Csaba
Date: 2017
Submitted: 2019-01-16
-
Title: A digitális technológiák szerepe és lehetőségei a programozás tanításában
Author: Udvaros, József
Date: 2017
Submitted: 2019-01-11
-
Title: A programozás tanulásának és tanításának támogatása elektronikus tananyagba beépíthető interaktív ...
Author: Végh, Ladislav
Date: 2017
Submitted: 2019-01-11
-
Title: Analysis and methods for supporting generative metaprogramming in large scale C++ projects
Author: Mihalicza József
Date: 2014
Submitted: 2018-12-07
-
Title: XML és félig-strukturált adatbázisok függőségei
Author: Szabó Gyula István
Date: 2013
Submitted: 2018-12-07
-
Title: Topográfiai térképek automatikus raszter-vektor konverziója
Author: Szendrei Rudolf
Date: 2014
Submitted: 2018-12-07