可计算性理论

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

科技计算方法及其在流体动力学和核系统中的应用

微型计算机组成原理语言软件及其应用 第1册 组成原理和程序设计

微型计算机组成原理语言软件及其应用 第2册 操作系统和局部网络

国家机械工业委员会中等专业学校教学计算与教学大纲 第1分册

架空送电线路的电线力学计算 第2版

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

农业新技术革命 生物工程、电子计算机、遥感等技术在农业上的应用

地下水资源计算与评价

本书是配合《Internet的连接与使用（第2版）》的上机操作与实验指导书。全书编辑了大量上机操作练习题，基本内容覆盖了以下内容：上网软件与硬件的安装、拨号上网的操作过程及参数设置、使用WWW浏览器浏览及管理网...

微型计算机组成原理语言软件及其应用 第3册 程序设计语言，数据库和汉字处理

电压互感器二次导线压降引起电能计量误差的测试计算及改进技术

本书将软件开发过程改进具体实施中的软件能力成熟度集成模型（CMMI-SW）规程转换成具体的类似于软件开发流程的可操作流程，便于软件工程师理解和操作。在具体实施CMMI规程的软件过程改进时，软件工程师只要参照书...