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 /

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.