Mesterséges Intelligencia és Rendszertervezés Tanszék
absztrakció (2) · adat versenyhelyzetek (1) · CEGAR (1) · DevOps (1) · folyamatos integráció (1) · Folyamatos szállítás (1) · fomrális verifikáció (1) · formális módszerek (1) · formális verifikáció (2) · Github Actions (1) · modellellenőrzés (1) · párhuzamos programok (1) · részben rendezés redukció (1) · Theta (2) · Többszálúság (1)
Összesen 4 szakdolgozat és diplomaterv. Összes téma megtekintése »