(苏)库瓦耶娃(А.Л.Куваева),(苏)利巴托夫(Д.Н.Липатов)著;钟士模等译1956 年出版160 页ISBN:150356·410
(苏)瓦西里耶夫(Васильев,Н.Б.)(苏)叶戈罗夫(Егоров,А.А.)著;李墨卿等译1990 年出版378 页ISBN:7532810208
(苏)拉钦斯基(В.В.Рачинский),(苏)加庞(Т.Б.Гапон)著;上海第一医学院生化教研组译1957 年出版176 页ISBN:13031·239
(苏)多布罗梅斯洛夫(В.А.Добромыслов),(苏)罗森达里(Д.Э.Розенталь)著;吴喜森译1958 年出版250 页ISBN:9013·245
(俄)戈尔巴乔娃(Горбачева,Раиса,максимовна)著;戴凤文等译1993 年出版213 页ISBN:7506003228
(苏)戈尔巴托夫(Горбатов,В.А.)著;王明琼等译1991 年出版428 页ISBN:7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。
(苏联)希施可夫(Хишков,В,Л),(苏联)那列托夫(Папетов,Н.А)主编;陈可毅译1986 年出版577 页ISBN:16204·235
(苏)楚黎洛夫斯基(В.Н.Чуриловкий),(苏)屠磊金(И.А.Турыгин)著;李德熊译1956 年出版185 页ISBN: