（苏）戈尔巴托夫（Горбатов，В.А.）著；王明琼等译1991 年出版428 页ISBN：7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。
王明海，韩荣第主编；高胜东，吴健，韦东波副主编2013 年出版320 页ISBN：9787121203718
本书是在2003年版基础上改编而成的，主要介绍了近些年来为适应制造业的发展而出现的机械加工最新技术，包括高速与超高速切削技术、硬态和干式（绿色）切削技术、振动切削与磨削技术、加热辅助切削与低温切削技术、...
（美）华特·史代普斯（Walter Doyle Staples）著；王明华译1998 年出版345 页ISBN：9575297830
吴健，韩荣第主编；王明海，高胜东，韦东波副主编2017 年出版335 页ISBN：9787121313097
结合中国制造2025重大战略及最新研究成果，本书主要讲述近年来适应机械制造业和航空航天业发展而出现的适应高效率、高质量要求的机械加工最新技术，包括：高速与超高速切削技术、硬态切削技术、绿色切削技术、复...
泰瑞·哈第（Terry Harty），，凯伦·K·哈第（Karen Kerkstra Harty）著；王明波译1999 年出版242 页ISBN：9578412797
