Ö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)