Testovanie, diagnostika a verifikácia digitálnych systémov /
Modelovanie, simulácia a verifikácia vybraných mechatronických systémov /
Verifikácia experimentálnych metód určovania zvyškových napätí : tézy inauguračnej prednášky k vymenúvaciemu konaniu za profesora v odbore habilitačného konania a inauguračného konania Aplikovaná mechanika /
Programové inžinierstvo.
Hodnotenie výkonnosti lojalitných programov /
Programové zabezpečenie ASR : zbierka riešených úloh /
Programové vybavenie vstupu : programové zabezpečenie vstupného modulu ISIS [Diel] 4 /
Generátor prehľadávacích programov /
Programové ciele 1977.
Programovanie a algoritmy /
Programové vybavení počítačů /
Programové vybavení ASŘ /
Základy programové analýzy /
Programové zabezpečení ASŘ /
ITAT `2001: Information technologies - applications and theory. : Workshop on theory and practice of information technologies, Zuberec, Slovakia, September 2001. Proceedings. /
Programové zabezpečenie ASR : fortran /
Programové vybavení počítačů : algoritmizace /
Programové vyučovanie : (práca 17. ročníka pedagogického čítania) /
Programové zabezpečenie ASR : počítačová grafika /
Programové zabezpečenie ASR : Assembler JSEP /
Ďalšie vzdelávanie učiteľov základných a stredných škôl v predmete informatika : línia: Vlastný odborový text informatiky a informatickej výchovy. Kapitoly z informatiky /
Ďalšie vzdelávanie učiteľov základných a stredných škôl v predmete informatika : línia aktivity: vlastný odborový text informatiky a informatickej výchovy. Kapitoly z informatiky 2 /
ITAT ´2001: Information Technologies - Appplications and Theory : workshop on Theory and Practice of Information Technologies, Zuberec, Slovakia, September 2001 : proceedings /
ITAT 2002 Information Technologies - Applications and Theory : workshop on Theory and Practice of Information Technologies, Malinô Brdo, Slovakia, September 2002 : proceedings /
DidInfo 2011 : 17. ročník národnej konferencie /
Neurónové siete. Inžiniersky prístup. 1. diel., Dopredné siete. /
Neurónové siete. Inžiniersky prístup. 2. diel., Rekurentné a modulárne siete. /
Zbierka úloh z programovania /
Verifikácia programov /
Logika, algebry a grafy /
Sémantika programovacích jazyků - atributové gramatiky /
Přehled a využití výpočetní techniky v technické praxi /