张家骅编著1991 年出版182 页ISBN：7800343367
本书结合《形状和位置公差》、《公差与配合》等多种国家标准、力求通俗易懂地对国标GB4249-84《公差原则》进行了系统地论述。
（美）塔斯韦尔（H.F.Taswell），（美）赛德（S.M.Saeed）著；范君修等译1983 年出版131 页ISBN：14048·4506
银行业信息科技风险管理高层指导委员会编著2015 年出版396 页ISBN：7111520831
本书系统性地探讨了软件知识产权保护、软件正版化以及软件资产管理的相关知识，并介绍了银监会在推进银行业正版化工作方面的一些实际做法，以及银行机构的一些良好实践，希望能够为银行业及其他行业的软件正版化...
崔梦天，韩伟著2012 年出版133 页ISBN：9787561457290
本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...
庄洪林，王颖，李敏业编著2005 年出版252 页ISBN：7113063578
本书由浅入深的介绍了计算机日常应用中最具实用性的有关文件与磁盘管理、系统维护与测试、图形与图像处理、多媒体应用、计算机病毒防治和网络通信等6大类26种工具软件的具体使用方法，对计算机病毒的诊治与...
