Informatika Doktori Iskola

Cím: Programhelyesség- bizonyítás fordítási időben
Szerző: Dévai, Gergely
Dátum: 2017
Feltöltve: 2019-02-08

Cím: Változó indexű Lebesgue- terek és alkalmazásuk a Fourier- analízisben
Szerző: Szarvas, Kristóf
Dátum: 2017
Feltöltve: 2019-02-08

Cím: Adatgráfok alkalmazásai területei
Szerző: Rácz, Gábor
Dátum: 2018
Feltöltve: 2019-01-16

Cím: Szemantikus adatok lekérdezése federált és osztott rendszereken
Szerző: Gombos, Gergő
Dátum: 2018
Feltöltve: 2019-01-16

Cím: Az XML technológia alapjai- XML az oktatásban, különös tekintettel a programozás oktatására
Szerző: Menyhárt, László Gábor
Dátum: 2018
Feltöltve: 2019-01-16

Cím: Data Mining in Genomics, Metagenomics and Connectomics
Szerző: Kerepesi, Csaba
Dátum: 2017
Feltöltve: 2019-01-16

Cím: A digitális technológiák szerepe és lehetőségei a programozás tanításában
Szerző: Udvaros, József
Dátum: 2017
Feltöltve: 2019-01-11

Cím: Analysis and methods for supporting generative metaprogramming in large scale C++ projects
Szerző: Mihalicza József
Dátum: 2014
Feltöltve: 2018-12-07

Cím: XML és félig-strukturált adatbázisok függőségei
Szerző: Szabó Gyula István
Dátum: 2013
Feltöltve: 2018-12-07

Cím: Topográfiai térképek automatikus raszter-vektor konverziója
Szerző: Szendrei Rudolf
Dátum: 2014
Feltöltve: 2018-12-07

Cím: Sieving in primality testing and factorization
Szerző: Vatai Emil
Dátum: 2014
Feltöltve: 2018-12-07

Cím: Erlang programok transzformációja bonyolultsági mérőszámok alapján
Szerző: Király Roland
Dátum: 2013
Feltöltve: 2018-12-07

Cím: A spektrális, térbeli és időbeli dimenziók kapcsolatának vizsgálata és felhasználása a digitális ...
Szerző: László István
Dátum: 2013
Feltöltve: 2018-12-07

Cím: Racionális függvényrendszerek alkalmazása a jelfeldolgozásban
Szerző: Lócsi Levente
Dátum: 2014
Feltöltve: 2018-12-07

Cím: Vizualizáció a programozástanításban
Szerző: Törley Gábor
Dátum: 2013
Feltöltve: 2018-12-07

Cím: Modellvezérelt szoftverfejlesztés a gyakorlatban
Szerző: Medve Anna
Dátum: 2013
Feltöltve: 2018-12-07

Cím: Az Internet térbeli szerkezetének elemzése és a Hálózati Mérések Virtuális Obszervatóriuma
Szerző: Mátray Péter
Dátum: 2013
Feltöltve: 2018-12-07

Cím: Distributive and parallel problem solving - methods, data structures and algorithms
Szerző: Tátrai Antal
Dátum: 2012
Feltöltve: 2018-12-07

Cím: The connection between C++ template metaprogramming and functional programming
Szerző: Sinkovics Ábel
Dátum: 2013
Feltöltve: 2018-12-07