Keresés
11 találatból megjelenítve: 1-10
Cím: Vulkáni salakkúpok morfometriájának regionális parametrizálása
Szerző:
Dátum: 2018-06-30
Feltöltve: 2019-11-07
(2018-06-30)
Cím: Távolságfüggvényekkel definiált felületek nagy hatékonyságú, interaktív vizualizációja
Szerző:
Dátum: 2018-06-30
Feltöltve: 2019-11-05
(2018-06-30)
Cím: Masszívan párhuzamos architektúrák generatív programozása
Szerző:
Dátum: 2017-06-30
Feltöltve: 2018-06-08
(2017-06-30)
Cím: Masszívan Párhuzamos Architektúrák Generatív Programozása
Szerző:
Dátum: 2018-06-30
Feltöltve: 2019-11-05
(2018-06-30)
Cím: Haskell programok párhuzamosítása refaktorálással
Szerző:
Dátum: 2018-06-30
Feltöltve: 2019-11-05
(2018-06-30)
Cím: Haskell programok gyakori problémáinak detektálása és megszüntetése statikus kódelemzés segítségével
Szerző:
Dátum: 2018-06-30
Feltöltve: 2019-11-07
(2018-06-30)
Cím: Gerecsei csuszamlásveszélyes lejtők lokalizációja tapasztalati változók alapján
Szerző:
Dátum: 2018-06-29
Feltöltve: 2019-11-05
(2018-06-29)
Cím: Fordítási egységek közötti statikus elemzés megvalósítása
Szerző:
Dátum: 2017-06-30
Feltöltve: 2018-06-08
(2017-06-30)
Cím: Erlang BEAM bájtkód statikus elemzése
Szerző:
Dátum: 2017-06-30
Feltöltve: 2018-06-08
(2017-06-30)
Cím: Ciklusok modellezése szimbolikus végrehajtással
Szerző:
Dátum: 2018-06-29
Feltöltve: 2019-11-07
(2018-06-29)