（美）武科塔·保贾诺维茨（Vukota Boljanovic）编著；张国强，董红，吴承格译2006 年出版182 页ISBN：7502581014
本书介绍了金属板料成形的工艺及模具设计、及其对新工艺的影响和模具材料。
胡正国，蔡经球编著1992 年出版268 页ISBN：7561200005
内容包括：结构化程序、程序正确证明、递归程序及其正确证明、程序变化术等。
邓文新，张桂香主编2005 年出版250 页ISBN：7810776177
本书以Visual Basic6.0为蓝本，并结合作者多年讲授程序设计理论课与实验课的经验，对Visual Basic的基础部分做了详细介绍。
高等学校机械设计制造及其自动化专业“十三五”规划教材 机械设计制造及其自动化 材料力学 第2版
张功学主编2016 年出版282 页ISBN：9787560642017
本书共12章内容，前6章为材料力学基础与基本变形，第7、8章为应力状态分析与组合变形，第9章为压杆稳定，第10章为构件的疲劳强度，第11章为能量法，第12章为静不定问题分析。各章均附有思考题与习题， 并在书末附有答案....
张金铭等编1995 年出版243 页ISBN：7313013914
暂缺《FORTRAN程序设计语言和方法：修订版》简介
