Számítástudományi és Információelméleti Tanszék
adatbányászat (1) · automatizált tételbizonyító (1) · CHR (1) · DCG (1) · deklaratív programozás (1) · gépi tanulás (1) · HTML (1) · HTTP kommunikáció (1) · JavaScript (1) · JS (1) · klaszterezés alapú osztályozás (1) · korlát programozás (1) · kotta (1) · logikai (1) · logikai programozás (4) · népzene (1) · párhuzamosítás (1) · programtranszformáció (1) · Prolog (3) · részleges kiértékelés (1) · ritmikai távolságok (1) · statikus típusellenőrzés (1) · SWI Prolog (2) · tételbizonyító (1) · többszálú programozás (1) · web (1) · WWW (1)
Összesen 6 szakdolgozat és diplomaterv. Összes téma megtekintése »