Osnovy logičeskich metodov proverki avtomatov.
Logičeskije projektirovanije diskretnych avtomatov. Jazyki, metody, algoritmy.
Vvedenije v statističeskuju dinamiku sistem s vozmožnymi narušenijami /
Logičeskij vyvod.
Sintez kombinacionnych schem metodami funkcional´noj dekompozicii /
Prověrky technické úrovně výroby /
Logičeskije metody analiza naučnogo znanija /
Logičeskije metody analiza geologičeskoj informacii.
Logičeskije elementy EVM /
Logičeskije metody analiza i sinteza schem /
Logičeskije metody issledovanija diskretnych modelej vybora /
Tvorec avtomatov /
Igroteka avtomatov /
Teorija avtomatov.
Bystryje statističeskije vyčislenija. Uproščennyje metody ocenivanija i proverki. Spravočnik.
Kvantovaja teorija proverki gipotez i ocenivanija.
Logičeskije avtomaty i mikromoduli /
Logičeskije osnovanija planirovanija eksperimenta /
Logičeskije upravlenija technologičeskimi processami. /
Logičeskije igry s kal´kuljatorom /
Logičeskije metody proverki kombinacionnych avtomatov.