Mesterséges Intelligencia és Rendszertervezés Tanszék
absztrakció (1) · automatatanulás (1) · c program (1) · fordítóprogram (1) · formális módszerek (1) · formális verifikáció (2) · gráfadatbázis (1) · gráfmintaillesztés (1) · IC3 (1) · modell absztrakció (1) · modellellenőrzés (1) · nézeti modellek (1) · optimalizáció (1) · PDR (1) · programszeletelés (1)
Összesen 3 szakdolgozat és diplomaterv. Összes téma megtekintése »