Logičeskije metody proverki kombinacionnych avtomatov.
Vvedenije v statističeskuju dinamiku sistem s vozmožnymi narušenijami /
Prověrky technické úrovně výroby /
Projektirovanije logičeskich uzlov EVM /
Testovoje diagnostirovanije logičeskich struktur /
Osnovy obščej teorii konečnych avtomatov /
Projektirovanije cifrovych logičeskich ustrojstv.
Tvorec avtomatov /
Igroteka avtomatov /
Teorija avtomatov.
Diagnostirovanije logičeskich schem : algoritmy modelirovanija i avtomatičeskogo sinteza testa /
Avtomatizacija projektirovanija složnych logičeskich struktur /
Osnovy elektrochimičeskich metodov analiza /
Osnovy metodov prigotovlenija katalizatorov.
Kvantovaja teorija proverki gipotez i ocenivanija.
Cifrovyje deliteli častoty na logičeskich elementach /
Sintez sistem upravlenija na logičeskich elementach /
Nastraivajemyje moduli dlja upravljajuščich logičeskich ustrojstv /
Sintez logičeskich ustrojstv v kommutacionnoj technike.
Sintez cifrovych avtomatov
Osnovy logičeskich metodov proverki avtomatov.