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

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

非线性微分代数系统的控制理论与应用 【工业技术】

本书针对非线性微分代数系统，介绍了非线性微分代数系统的稳定性，在无源分析和耗散性理论的基础上，给出了非线性微分代数系统的无源性的定义和研究的新理论和新的结果。主要内容包括：系统的介绍了非线性微分代数...

全国经济专业技术资格考试 中级 题库与模拟试卷 工商管理专业知识与实务 【经济】

本书是全国注册资产评估考试的辅导教材，内容科目是工商管理专业知识与实务，是参加全国经济专业技术资格考试（中级）的所有考生。为考生应考提供了大量的实战经验。...

小学信息技术教师教学用书 【文化科学教育体育】

现代教育信息技术 【文化科学教育体育】

本书介绍计算机辅助教学知识，培养师范大学生现代教育技术的技能。

信息材料概论 【工业技术】

本书介绍信息材料领域的理论、技术、应用及发展历程，涵盖微电子技术及光电子技术基础、激光、信息传感、存储、传输、显示、处理技术及材料等。...

北京2008年奥运会志愿者的组织管理模式与评价体系的研究 【文化科学教育体育】

质量管理流程设计与工作标准 【经济】

本书以流程图和工作标准的形式详细、准确地展现了质量管理的各项工作流程和工作步骤，体现了很强的操作性和实务性。本书包括流程与流程图的绘制、进料检验管理、制程检验管理、质量控制管理、产品检验管理、...

创建研究型医院 “301”医院管理与实践 【医药卫生】

当前医疗体制改革日趋深入，医院面临着良好的发展机遇，也面临着严峻的挑战，为社会公众提供更好的医疗服务，在竞争中求发展，是摆在医院管理者面前的一项重要课题。解放军总医院从2004年10月率先提出创建研究型医院...

移动通信基站蓄电池组的日常维护与管理 【工业技术】

本书作者总结多年的从业经验，讲述了移动通信基站蓄电池组的相关知识，主要包括了通信用阀控式密封铅酸蓄电池组的工作原理和特点，VRLAB的安装与检修等。...