胡正国,蔡经球编著1992 年出版268 页ISBN:7561200005
内容包括:结构化程序、程序正确证明、递归程序及其正确证明、程序变化术等。
全国计算机等级考试系列 二级模拟题解 基础知识和C语言程序设计 修订版
李芸,潘旭华编著2002 年出版206 页ISBN:7310013220
本书是根据教育部考试中心1998年制定的全国计算机等级考试新考试大纲(二级基础知识和C语言程序设计)为考生编写的应试指导书。其特点是:以典型例题引路,具有启发性;对龙点和难点问题加以分析、归纳,给出命题性小....
董方庭等主编1994 年出版390 页ISBN:7810400193
内容提要本书内容包括巷道及硐室工程、立并井筒工程和建井施工组织与管理三大部份,系统介绍了井巷设计与施工方面的基本理论、施工技术以及施工组织管理方面的基本知识。《井巷设计与施工》是煤炭高等院校矿...