Computer simulation Software engineering elektronikus könyv Computer science számítógépes szimuláció -- konferencia Algorithms Computer Communication Networks Computer logic Logic design Mathematical logic Programming languages (Electronic computers) elosztott rendszerek -- számítástechnika -- tankönyv logikai tervezés -- konferencia matematikai logika -- konferencia modell-ellenőrzés -- szoftvertesztelés -- konferencia programozási nyelvek -- konferencia szoftverfejlesztés -- konferencia számítógépes logika -- konferencia