人民法院司法改革的科学决策 【政治法律】

本书紧密联系司法体制机制改革背景、调研决策过程、改革措施的落实情况，以科学发展为主线，从建立经费保障长效机制、规范业务基础设施建设、提升审判业务装备建设水平、推进信息化建设和应用、完善司法技术辅...

硬件设计验证 基于模拟与形式的方法 【工业技术】

本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...

偏微分方程外问题 理论和数值方法 【数理化】

本书的宗旨是结合偏微分方程外问题的理论介绍几种有效的数值方法。理论与数值计算是密切相关的。首先，每一个数值方法都有它的理论分析，只有了解了方程的性质，才能深刻地了解数值方法。其次，偏微分方程的理论还...

反思与批评 中国刑法的理论与实践＝REVIEW AND ERITICISM 【其他书籍】

基于有限理性的企业策略行为决策研究 【经济】

本书的研究目的就是试图说明微观企业如何认识和分析来自竞争对手的不确定性，从而有效进行策略行为决策的问题。基于有限理性的策略行为决策机制研究是围绕可数性反应均衡以及其中的关键参数 开展的，而行为人...

比较视野下的多元纠纷解决 理论与实践 【政治法律】

软件工程 共同演进的方法与实践 【工业技术】

本书涵盖IEEE和ACM联合研究项目——SWEBOK（工程知识体系）包含的10个知识领域的主要内容，主要介绍软件工程的背景知识、软件过程模型、需求分析、需求建模、设计工程、体系结构设计、编码和新的技术趋势需求、...

中国产业技术创新与产学研结合的理论与实践 【文化科学教育体育】

中国载人航天技术发展途径研究与多用途飞船概念研究文集 1986年至1991年 【航空航天】

20世纪80年代到90年代，北京空间机电研究所组织专家学者对我国载人航天技术发展途径和多用途飞船概念进行研究论证，对我国载人航天发展产生了积极的影响。本文集收录的研究报告和论文就是当时研究论证工作的成...

2013注册咨询工程师（投资）资格考试考前训练 项目决策分析与评价真题点评与模拟试题 【经济】

本书对咨询工程师资格考试《项目决策分析与评价》科目近三年考试命题分析，对2008～2010年项目决策分析与评价的试题进行点评，并精心编制了四套模拟试题供考生训练，以帮助学生掌握考试重点，提高应试能力。...