Martin-Lof类型论程序设计导论 【数理化】

创建世界高水平大学项目资助教材:本书包括多型集合、子集合、单型集合、例子四部分内容，从计算科学的角度描述了不同的类型论，适合对计算科学基础感兴趣的研究人员阅读。 ...

全国计算机等级考试上机过关教练 二级C语言程序设计 【工业技术】

材料成形及机械制造工艺综合设计型创新实验 【工业技术】

21世纪高等学校工程材料及机械制造工艺基础系列教材:本书主要介绍材料成形机械制造工艺的实验方法，工艺设计及步骤，计算机辅助工艺设计软件(CAPD)和华中数控技术，工艺设计与创新式样选题方法。...

全国计算机等级考试辅导丛书 Visual FoxPro程序设计 二级 【工业技术】

早期科学、设计与技术能力的培养 【文化科学教育体育】

上海市重点学科“学前教育学”项目:本书作者在跟踪调查了大量的托幼机构以后，提出要用孩子的眼光看待世界，鼓励在游戏中学会创造和开发儿童的专门技能，最终在实践中发展孩子在科学、设计和技术方面的信息和能...

Visual Basic 6.0程序设计与上机指导 【工业技术】

21世纪中等职业技术教育计算机系列教材:本书通过大量具体的应用实例，详细地讲解了有关VB的集成开发环境、编程语言、用户图形界面的设计方法、系统菜单、数据库操作与多媒体编程等实用内容。 ...

AutoCAD平面制图实作 机械设计 【工业技术】

精选台湾省最畅销精品计算机图书精心改编Autodesk授权图书开发商推荐用书:本书分16章，从最基本的AutoCAD的软硬件设备和基本设置起，介绍了绘制基本图框、直线、基本曲线、正交视图(含等角作图)、辅助视图、剖...

CAD室内设计施工图常用图块 2 金牌家装 【其他书籍】

本书汇集了家庭装饰设计施工图常用的各种图块与详图，包括门厅、客厅、餐厅、卧室、儿童房、书房、阳台、厨房、卫生间以及家具等。

混凝土及砌体结构 设计 同步练习与综合测试 【工业技术】

全国高等教育自学考试:本书包括两篇，第一篇为专科段(混凝土及砌体结构)指定教材所对应的试题与解答；第二篇为本科段(混凝土结构设计)指定教材所对应的试题与解答。...

高级语言程序设计应试指导及模拟试题 【工业技术】

本书内容包括：计算机应用技术考试概述、计算机应用技术考前模拟试题及参考答案、2001年上半年全国高等教育自学考试计算机应用技术试题及参考答案。...