Čislennyje metody v zadačach teploobmena /
Uravlenija v svertkach i projekcionnyje metody ich rešenija /
R-funkcii v zadačach teorii plastin /
Avtomatizacija programmirovanija v krajovych zadačach /
Algebra logiki i integral´nyje preobrazovanija v krajovych zadačach /
Neklassičeskije metody teorii približenij v krajevich zadačach.
Metody algebry logiki v matematičeskoj fizike /
Logičeskije metody analiza naučnogo znanija /
Logičeskij vyvod.
Logičeskije metody analiza i sinteza schem /
Logičeskije metody analiza geologičeskoj informacii.
Logičeskije metody proverki kombinacionnych avtomatov.
Voprosy teploobmena.
Logičeskije avtomaty i mikromoduli /
Logičeskije elementy EVM /
Logičeskije metody issledovanija diskretnych modelej vybora /
Metody teorii teploobmena. : učebnyje posobiej dl´ja studentov vysšich techničeskich učebnych zavedenij Časť 1, Teploprovodnost' /
Voprosy teploobmena : izbrannyje trudy /
Gnoseologičeskije i logičeskije osnovy nauki /
Arifmetičeskije i logičeskije osnovy ECVM /
Problemy bioniki. Vyp. 1 /
Metod R-funkcij v zadašach ob izgibe i kolebanijach plastin složnoj formy.
Kontaktnyje zadači teorii uprugosti dlja neklassičeskich oblastej.
Algebro-logičeskije i projekcionnyje metody v zadačach teploobmena.