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ó (3) · Github Actions (1) · hibajavító algoritmus (1) · Java (1) · metaszolver (1) · modellellenőrzés (2) · párhuzamos programok (1) · portfólió (1) · részben rendezés redukció (1) · SMT szolver (1) · szoftververifikáció (1) · szolver (1) · Theta (3) · Többszálúság (1)
Összesen 5 szakdolgozat és diplomaterv. Összes téma megtekintése »