Programování '81. : Sborník přednášek ze semináře.

Algoritmy `93 : knižnica algoritmov - XII. diel zo sympózia, Stará Lesná, 26.-29.4.1993 /

Algoritmy `93 : zborník prednášok 12. sympózia o algoritmoch, Stará Lesná - Vysoké Tatry, 26.-29.4.1993 /

Umění programování. 1. díl, Základní algoritmy /

Umění programování. 2. díl, Seminumerické algoritmy /

Programovanie. I /

Programovanie. II /

Programovanie : návody na cvičenia /

Rekurzívne metódy v programovaní. /

Matematické programování /

Optimálne programovanie /

Paralelné programovanie. /

Programovanie. /

Programování pro úplné začátečníky /

CATS `93. : Computer Aided Technology Seminar 11.-12.10.1993 Bratislava. Zborník prednášok.

Informatika `93. : 2. medzinárodná konferencia, Bratislava, 9.-10.11.1993.

Optimálne programovanie. /

Funkcionálne a logické programovanie /

Cesty moderního programování. /

Objektové programovanie : poznámky k prednáškam. Časť I /