(苏)Б.Г.科列涅夫(Б.Г.Коренев)等主编;沈聚敏,高伯扬编译1994 年出版185 页ISBN:7502809511
(苏)特罗依茨基(Е.А.Троицкий)等著;中华人民共和国铁道部设计总局定型设计事务所桥梁科译1957 年出版341 页ISBN:15043·309
(苏)戈尔巴托夫(Горбатов,В.А.)著;王明琼等译1991 年出版428 页ISBN:7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。
(苏)别林诺夫(Д.И.Беренов)著;中华人民共和国冶金工业部有色金属工业管理局编译科译1956 年出版174 页ISBN:15062·519