Testovanie, diagnostika a verifikácia digitálnych systémov /
Metodika kvantifikácie živinového potenciálu rastlinných zvyškov. /
Testovanie detekčnej schopnosti vybraných komponentov poplachových systémov /
Diskrétní metody řešení diferenciálních rovníc /
Štrukturálne problémy kvantifikácie pracovných požiadaviek : záverečná správa štátnej výskumnej úlohy č. E-III-1.6 /
Štrukturálne problémy kvantifikácie pracovných požiadaviek : záverečná správa štátnej výskumnej úlohy č. E-III-7/1.6 Časť 5 Vplyv technického rozvoja na zmenu obsahu a podmienok práce v hutách s cieľovým obdobím do r. 1990
Testování materiálů.
Príspevky k problematike kvantifikácie pracovných požiadaviek v hutách : habilitačná práca.
Testování softwaru. /
Prognostický model ekonomiky ČSSR /
Komplexné prognózy v socialistickom hospodárstve /
Metody řešení diferenciálních rovnic. 1, Obyčejné diferenciální rovnice /
Metody řešení diferenciálních rovnic. II. Systémy lineárních diferenciálních rovnic s konstantními koeficienty /
Analyticko-prognostický model ekonomiky SSR.
Testovanie štatistických hypotéz /
Testování energetických zařízení.
Testování pro programátory /
Elementární metody řešení obyčejných rovnic.
Metody testování rezistence zelenin vůči rostlinným patogenům /
Testovanie deviatakov : slovenčina : príprava na testovanie žiakov 9. ročníka ZŠ a 4. ročníka gymnázií s osemročným štúdiom /
Analýza a prognóza produktivity práce v závislosti na technickém pokroku /
Financie v rozdeľovacích procesoch. : modelovanie rozdeľovacích procesov /
Metódy kvantifikácie a testovanie systémov regresných rovníc /
Makroekonomické peňažné modely : vysokoškolské skriptá /
Základné prvky systému modelov pre makroekonomické analýzy a prognózy.