Symbolický výpočet pre nelineárne systémy : Obhaj. 06.07.2006. Č.ved.odb. 38-01-9
Halás Miroslav ; E011  Huba Mikuláš (Thesis advisor) ; E010
Bratislava : STU v Bratislave FEI, 2006 . - 94 s
Automatizácia a riadenie nelineárne systémy
dizertačná práca
DAI - Qualificational works (thesis, habilitation, atestation...)