《建筑结构计算机辅助设计学术交流会》论文全集 2 【工业技术】

企业经营管理通信讲座教材第12分册 企业计算机管理信息系统 【经济】

金属材料物理性能手册 第1册 金属物理性能及测试方法 【工业技术】

可计算性理论 【数理化】

本书包括数理逻辑的递归论和形式语言论两部分内容. 一至八章为递归论部分，详尽地研究了初等函数、原始递归函数、递归函数及给类算子，充分地讨论了Turing机与Turing可计算性概念. 九、十两章为形式语言论部分...

中外经济管理理论与方法 北京经济管理国际学术讨论会论文集 【经济】

工程师应知 计算机辅助设计与辅助制造（CAD/CAM） 【其他书籍】

工程师应知 计算机辅助设计-辅助制造 CAD/CAM 【工业技术】

国家机械工业委员会中等专业学校教学计算与教学大纲 第1分册 【文化科学教育体育】

架空送电线路的电线力学计算 第2版 【工业技术】

本书为第2版，是在原书的基础上进行了全面修订大量补充而成的，主要是为从事送变电专业设计、施工和运行人员便于掌握并灵活运用架空电线力学方面的计算方法和公式，提高业务水平而编写的专业知识读物。本书以力...

鉴定会材料之一 深圳大学图书馆计算机管理集成系统 SULCMIS 【文化科学教育体育】