Postrojenije funkcij Ljapunova /
Sintez sistem avtomatičeskogo upravlenija s pomoščju funkcij Ljapunova /
Metod vektornych funkcij Ljapunova v teorii ustojčivosti /
Sbornik zadač i teorem po teorii funkcij dejstvitel´nogo peremennogo : učebnoje posobije dlja pedagogičeskich institutov /
Matematičeskaja logika i aumatičeskoje dokazateľstvo teorem.
Sistemy vvoda-vyvoda EVM /
Prjamoj metod Ljapunova v teorii ustojčivosti.
Algoritmy sistem avtomatizacii listovych s
Matematičeskaja teorija logičeskogo vyvoda : matematičeskaja logika i osnovanija matematiki /
Pokazateli Ljapunova v teorii linejnych sistem upravlenija /
Vvedenije v metody Bajesovskogo statističeskogo vyvoda /
Sistemy vvoda-vyvoda cifrovych vyčislitelnych mašin /
Kanaly vvoda-vyvoda EVM ES-1020 /
Ustrojstva vvoda i vyvoda informacii universaľnych ...
Algoritmy i sistemy avtomatizacii issledovanij i projektirovanija.
Algoritmy : (1-50) /
Algoritmy /
Algorifm mašinnogo poiska estestvennogo logičeskogo vyvoda v isčislenii vyskazyvanij /
Modeli i algoritmy programmnogo metoda planirovanija složnych sistem /
Algoritmy vyvoda teorem metoda vektorovych funkcij Ljapunova.