Mesterséges Intelligencia és Rendszertervezés Tanszék
automatizált tételbizonyító (1) · domain-specifikus nyelvek (1) · ellentmondásmentesség igazolása (1) · EMF-IncQuery (1) · gráf (1) · Hozzáférési jogosultságok (1) · keretrendszer (1) · kollaboráció (1) · kollaboratív modellezés (1) · modelltranszformáció (1) · modellvezérelt (1) · online kollaboráció (1) · Shape analízis (1) · statikus analízis (1) · web-alapú technológiák (1) · Z3 (1)
Összesen 4 szakdolgozat és diplomaterv. Összes téma megtekintése »