程序设计方法学

本书主要介绍了程序设计方法学这一学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序开线推导、程序变换技术等。...

“杀死”老板的101种方法

人，永远都有上级，有上级就有压力，101种“杀杀”老板的方法，101种爆笑排忧的通路。如果你工作抑郁，对民司敢怒不敢言，不妨看看这本书，一番自我“疏泄”之后，又可以轻装上阵了……...

大型赛事服务平台即时构造方法研究

本书主要研究大型赛事的服务平台构建与运作。

地震资料煤层横向预测方法

本书讨论了煤田地震资料叠前、叠后煤层预测原理和方法。通过煤弹性各向异性系数测定、方位各向异性理论分析与正演模型，形成了较系统的P波方位各向异性煤裂缝评价方法。...

精神疗法 《黄帝内经》疗疾方法

本书以易学、易会、有效、安全为基本原则，对黄帝内经中的精神疗法做一简单介绍，给大众读者提供一些健康与保健的知识。

基于项目的软件工程 面向对象方法 影印版

矿产勘查方法

本书共分为11章，章节是按照固体矿产勘查工作的程序和步骤编排的。内容包括勘查各阶段的主要任务和工作；矿产勘查技术方法和信息合成；成矿预测的依据（含控矿因素、找矿标志及成矿规律）和方法；矿体地质和矿石品质.....

微积分的思想方法溯源

本书是数学分支的思想方法丛书这一种，在数学方法论与数学哲学的视野下，对微积分中的重要概念、重要理论方法的产生、发展与应用进行了探讨。...

纪录片内涵、方法与形态

本书为”21世纪中国纪录片发展高峰论坛”会议记录和相关论文选，围绕中国纪录片的发展历程、美学观念、文化主题与创作方法的话题，展开多角度的探讨。...

因材施教的教学方法

本书在详细地论述理论知识的基础上，从一些经典的案例入手，以精辟的语言向广大教师介绍了因材施教的教学方法。