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

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

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

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

高速公路运营管理 湖北京珠高速公路管理模式创建与实践 【交通运输】

本书介绍了湖北京珠高速公路管理概况、收费管理、路政管理、养护管理、经营开发、机电监控等。

北京理工大学“211工程”研究生规划教材·管理学 现代管理学：理论与方法 【社会科学】

高等职业教育质量管理理论与实践 【文化科学教育体育】

期权投资与做市商风险管理 【经济】

本书论述期权投资与做市商风险管理。

图书馆防灾与危机管理 【文化科学教育体育】

本书全面地介绍了图书馆各类潜在或可能发生的若干突发事件和灾害，加强了危机意识和突发事件的应对建设。

餐饮业经营与管理习题册 【经济】

本书与《餐饮业管理基础知识》配套。

新时期国土资源管理探索与实践 （中卷） 【其他书籍】

转型时期的特殊金融安排 中国金融资产管理公司运行实践的新制度经济分析 【经济】

本书是我国目前惟一一部以金融资产管理公司（AMC）运行7年的实践为基础，以新制度经济学为视角，全方位研究AMC和银行以及其他。