Mesterséges Intelligencia és Rendszertervezés Tanszék
.NET (1) · absztrakció (2) · absztrakció finomítás (2) · adatvédelem (1) · benchmark (1) · biztonság kritikus rendszerek (1) · deduktív verifikáció (1) · formális verifikáció (4) · git (1) · Horn klózok (1) · intel sgx (1) · interprocedurális (1) · kontraktus (1) · kontraktus szintézis (1) · logikai kielégíthetőség (1) · megbízható futtatható környezet (1) · modellellenőrzés (3) · moodle (1) · oktatási eszköz (1) · oktatási segédanyag (1) · Theta* (2) · verem (1) · Verziókezelés (1)
Összesen 5 szakdolgozat és diplomaterv. Összes téma megtekintése »