Browsing Informatika Doktori Iskola by Submit Date
Now showing items 1-20 of 57
-
Title: A hagyományos és elektronikus tanulási környezet kombinált alkalmazásainak vizsgálata – Oktatói portálok
Author: Kvaszingerné Prantner, Csilla
Date: 2019
Submitted: 2019-11-29
-
Title: Újgenerációs adat- és hálózatbiztonsági módszerek
Author: Vörös, Péter
Date: 2019
Submitted: 2019-11-28
-
Title: Tools and Language Elements for Testing, Encapsulation and Controlling Abstraction in Large Scale C++ ...
Author: Márton, Gábor
Date: 2019
Submitted: 2019-11-28
-
Title: Efficient Algorithms for Graph Optimization Problems
Author: Kovács, Péter
Date: 2019
Submitted: 2019-11-28
-
Title: Formal Methods for Modelling Wireless Sensor Networks
Author: Biró, Csaba
Date: 2019
Submitted: 2019-11-28
-
Title: Context- Aware Recommendations for Groups in Location- Based Social Networks and Academic Social Networks
Author: Ayala Gómez, Frederick
Date: 2019
Submitted: 2019-10-02
-
Title: Aeroszoldepozíciós légzőrendszeri modell fejlesztése
Author: Kudela, Gábor
Date: 2019
Submitted: 2019-10-02
-
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