（苏）卡尔波夫（П.П.Карпов），（苏）斯达尔科夫（Г.В.Старков）著；于忠友译1958 年出版165 页ISBN：T15037·508
（苏）艾特马托夫（Айтматов，Чингиз．）著；曹国维等译1991 年出版361 页ISBN：7532707202
据苏联《Новый Мир》杂志1986年第6、8、9期译出
（苏）恩琴（И.И.Энтин），（苏）申亚基娜（В.И.Синягина）著；徐礼序译1956 年出版50 页ISBN：
（苏）瓦西里耶夫（В.Л.Васильев），（苏）哥里登别尔格（А.А.Гольденберг）著；胡棣华译1958 年出版206 页ISBN：I15033·1233
（苏）戈尔巴托夫（Горбатов，В.А.）著；王明琼等译1991 年出版428 页ISBN：7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。
（苏）立特维诺夫（С.Я.Лиитвинов），（苏）阿尔哈洛夫（Л.В.Архаров）著；陆家仕译1957 年出版182 页ISBN：15037·197
（苏）阿布高夫（Б.Г.Абугов），（苏）考扎列茨（В.Я.Козарез）著；东北工学院制图教研组编1956 年出版302 页ISBN：15033·419
