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.

Programové vybavení počítačů /

Programové vybavení ASŘ /

Základy programové analýzy /

Programové zabezpečení ASŘ /

Programovanie a algoritmy /

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. /

ITAT `2001: Information technologies - applications and theory. : Workshop on theory and practice of information technologies, Zuberec, Slovakia, September 2001. Proceedings. /

Zbierka úloh z programovania /

Verifikácia programov /

Programovanie a algoritmy /

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 /