ÖZDEVİNİRLER (Otomatlar) KURAMI ve BİÇİMSEL DİLLER (2003)
Sayısal Devrelerde MANTIKSAL TASARIM (2002)
VERİ TABANI SİSTEMLERİ (2000)
FORTRAN IV Programlama Dili (1974 - 1984)