短波无线电频率预测的编制

火山预测与预警

本书通过介绍世界活动火山以及一些喷发过程与预警的实例，介绍国外火山预测和预警工作的基本方法及经验教训。本书为我国的火山监测提供资料与参考，对广大地学作者了解火山灾害及其预测也是有裨益的。...

地理信息系统中的区域规划模型及其管理

平铰双曲拱桥：模型试验和设计计算方法

财经应用文模型写作

本书运用财经应用文写作最新科研成果——思维描述模型，来解读财经应用文写作的技术问题。本书选编了现实生活中最常用、最需要，以及内容最新的经济文书，包括财经行政公文、财经事务文书、财经专业文书、经济纠...

管理运筹学 模型与方法 第2版

本书作者是大连理工大学管理学院教授，博士生导师，从事多年教学。大连理工大学管理学院教授，博士生导师，从事多年教学。

运筹学 数据、模型与决策

本书为中科院研究生教材，系统介绍了运筹学中的方法与模型，重点陈述了运筹学中应用最为广泛的决策分析、网络分析、存贮论、排队论、可靠论、线性规划、非线性规划等内容。本书结构体系完整，理论与实践相结合。...

2013公共空间模型集成·办公空间

本书精选2012年设计的空间作品方案，把握：设计理念新，设计风格多样化，设计含金量高，功能空间多样性等原则来组稿并编辑加工书稿。内容形式为效果图配上相应的原始3ds Max模型。每本书配6张DVD光盘。...

生物学中的BASIC微计算机模型

书名原文:BASICmicrocomputermodelsinbiology.

模型检测

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...