计算机等级考试考点分析、题解与模拟 二级C语言 【工业技术】

本书由希赛IT教育研发中心组织编写，紧扣教育部考试中心新推出的考试大纲，通过对历年试题进行科学分析、研究、总结、提炼而成。本书主要内容包括应试指南、考点分析与同步训练、5套笔试全真模拟试卷及解析、...

21世纪心理学系列教材 人格心理学导论 【哲学宗教】

本书作者对刑法学中实行行为的概念、具体形态、实行行为的本质、实行行为对刑法处罚范围的限定如何实现等理论问题进行了深入的研讨，并结合司法实践，为犯罪形态的认定、共同犯罪中实行犯与帮助犯的区别、处罚...

机械设备控制技术极限配合与技术测量 机电与机制类专业 下 【工业技术】

本书为对应教材的复习指导，内容包括复习内容和要求、题型示例、参考答案三部分，同时还收录了近两年我省对口升学考试的试卷、参考答案及评分标准。...

课程导论 第6版 【文化科学教育体育】

本书是一本全面介绍美国当代课程的理论基础与现实状况的高校经典教材，分为课程的概念、课程开发、课程管理、问题和趋势、课程制定的历史回顾等五个部分，共十四章。它比较详细地介绍了美国当代课程的理论与实...

多物理场耦合模型及数值模拟导论 【天文地球】

本书包括以下几方面内容：采矿工程中的耦合数值模拟、地球力学中的耦合数值模拟、煤样的渗透性的实验结构、煤矿瓦斯中渗流的动力学模型与耦合数值模拟、固体弹性变形与瓦斯越流的耦合模型、地热能工程中的耦...

面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

概率与计算 【数理化】

本书详细地介绍了概率技术以及在概率算法与分析发展中使用过的范例。本书分两部分，第一部分介绍了随机抽样、期望、马尔可夫不等式、切比雪夫不等式、切尔诺夫界、球和箱子模型、概率技术和马尔可夫链等核心...

人单合一 海尔集团CEO张瑞敏的全球化竞争新思维 【经济】

本书全面解读财经人物张瑞敏的全球化竞争新思维——“人单合一”竞争模式。

句式语义的形式分析与计算 【语言文字】

本书运用形式语言学的理论对汉语句式做出专门的分析和研究，并且紧密结合汉语的特点提出语义分析过程中所需遵循的语义类的重设原则和逻辑谓词原则。本书进一步尝试把对句式所做的形式描写提升到面向计算机语...

燃烧与爆炸基础 兵器科学与技术 【数理化】