随机模型检测理论与应用 【数理化】

本书致力于缓解随机模型检测中的状态空间爆炸问题。首先介绍了离散时间马尔科夫链、马尔科夫决策过程、连续时间马尔科夫链和概率实时解释系统上的限界检测技术。然后讨论了模型检测概率、实时认知时态逻辑...

地基处理理论与工程技术 【工业技术】

基于作者在地基处理领域长期研究与大量工程实践及监测与检测的心得体会与成果积累，本书分为两部分，第一部分为地基处理理论及方法，第二部分典型工法及实例，系统阐述了作者最新研究成果在内的基基础理论、相关原...

全国高职高专教育规划教材工程应用数学 基础篇、扩展篇 【工业技术】

马家柚发展与栽培技术问答 【农业科学】

该书介绍目前一种柚子推广新品种——马家柚果园规划、苗木生产、栽培、病虫害防治等，书中详细介绍了马家柚的果园规划、苗木生产、栽培、病虫害防治等，该书能作为农户和科技人员的参考资料，也可作为马家柚发展...

工程技术经济 第2版 【经济】

本书主要包括技术与经济的概念，以工程项目为对象进行技术经济动、静态分析的方法、内容和程序，工程项目的财务经济评价，工程项目的国民经济评价，工程项目不确定性分析，价值工程及其在建筑业中的应用，以及技术创.....

新编农药安全使用技术指南 【农业科学】

本书是一本根据目前农药的使用情况而编写的农药安全使用的技术指南，主要包括农药的基础知识、农药的配制技术、农药的安全使用、农药在农产品上的安全间隔期、农药中毒及事故处理和农药常用新品种。本书内容...

园艺植物保护技术 实训指导 【农业科学】

本书分为实验和实训两部分，主要针对农业中等职业教育学生的技能培养，本着适度、够用的原则，同时兼顾学生的专业提升和技能成长。实验部分主要是园艺植物病害和虫害的基础实验，实训部分主要是针对宁夏地区蔬菜、...

小动物外科治疗技术 【农业科学】

为了培养适应现代动物医院外科配置的医生要求，进一步提高动物外科医生的疾病治疗水平，组织了一批长期从事动物外科疾病治疗、教学、科研方面有丰富经验的专家编写了本教材。教材编写思路严格按照项目化教学进...

健康管理技术手册丛书 糖尿病分册 【医药卫生】

本书包括糖尿病门诊的基本条件，糖尿病患者健康管理流程，糖尿病教育的主要内容，糖尿病患者运动的注意事项，一般情况与膳食、运动状况调查，糖尿病药物的种类和用法等。...

养鱼技术读本 【农业科学】

本书稿瞄准农业科技前沿，筛选、推广适合当地的主导品种和主推技术，使畜禽养殖生产者掌握主要畜禽安全、高效生产技术。既吸取了当前主要畜禽养殖科研最新成果，又介绍了有关实用技术和生产经验，全书立足理论指导...