程序正确性证明方法 【工业技术】

本书主要介绍程序正确性证明的主要理论和方法。主要包括程序正确性的定义，程序正确性证明的发展历程，程序部分正确性证明的不变式断言法、子目标断言法和公理化方法，程序终止性证明的良序集方法和不动点方法，以...

程序基本算法习题解析 【工业技术】

本书与清华大学出版社出版的《程序基本算法教程》（周元哲 刘伟 邓万宇编著）相配套，针对《程序基本算法教程》各章节中(程序与算法、程序设计语言、数据结构、查找与排序、穷举法、递归法、分治法、动态规划法...

高中英语课堂教学设计丛书 高中英语词汇教学活动设计 【文化科学教育体育】

本书围绕如何提高词汇教学有效性的这个问题展开，分为两大部分：解惑篇与设计篇。在“解惑篇”中，我们以词汇教学的相关理论指导，通过案例的分析和教学的实例，对于如何进行高中阶段的英语词汇教学开展了问题讨论。...

经典音箱设计与制作25例 【工业技术】

音箱的制作从来都是音频爱好者和音频专业学习人员必做的项目。本书为读者提供了25个《无线电》杂志刊登过的精彩音箱的制作项目，读者可以完整地了解到音箱的设计思路和制作方法，从中得到详实的制作资料和思路...

电路设计工程计算基础 【工业技术】

本书将器件选型参数计算与工程设计实践相结合，通过理论指导实践，实现容差设计、电压容限分析，从而达到精确量化掌握器件选型的目标。本书的目的是通过讲述工程设计中哪些参数需要做计算，利用哪些数学知识，如何计...

集装箱建筑设计 【工业技术】

本书从集装箱建筑的发展史、建筑标准以及流行趋势谈起，介绍了各种集装箱建筑类型的适用环境、设计法则、结构功能、难题解决，如组合型、混合结构、趣味运用、室内运用等。每章选取4个国内外最新的集装箱建筑...

金属液态成形工艺设计 【工业技术】

教材包含了金属液态成形工艺设计的主要内容，在明确基本概念、基本原理和基本方法的前提下，介绍金属液态成形工艺设计的新技术和新方法，如冒口设计的数值模拟技术。教材的主要内容：（1）金属液态成形工艺方案的确......

道路勘测设计 【交通运输】

本书根据应用型本科高校土木工程专业最新的应用技术型人才培养目标和教学计划，系统地讲述了公路及城市道路路线设计和城市公用设施设计的基本理论、实用技术及方法。全书共分八章，主要内容有：第1章绪论，第2章平...

以图像的名义 北京2008年奥运会形象设计研究 【其他书籍】

边玩边学Scratch 趣味游戏设计之猫咪侠历险记 【其他书籍】