Jedinstvo atributov materii /
Automaty a gramatiky /
Lexikálna sémantika /
Porovnávacia štúdia programovacích jazykov /
Vybrané kapitoly z programovacích technik /
Programování ve vyšších programovacích jazycích /
Metódy formálnej sémantiky programovacích jazykov /
Semantika a semiotika
Význam, sémantika, Wittgenstein /
Lexikon a sémantika /
Sémantika kvalifikačných adjektív. /
Semantika, sintaksis, morfologija /
Sémantika slovenských prísloviek /
Básnická sémantika : univerzitní přednášky Praha - Bratislava /
Semantika jazykov programmirovanija : sbornik statej.
Operačná sémantika v praxi /
Programování ve vyšších programovacích jazycích : studijní texty pro stejnojmenný kurs /
Matematika i semantika : nominalizm kak interpretacija matematiki /
Vvedenije v jazyky programmirovanija. (Úvod do programovacích ...
Logika, algebry a grafy /
Verifikácia programov /
Sémantika programovacích jazyků - atributové gramatiky /
Přehled a využití výpočetní techniky v technické praxi /