李豫著2011 年出版243 页ISBN：9787802559325
本书讨论了信用风险对我国经济社会可持续发展和金融系统稳健运营的巨大影响，对我国金融市场如何规避风险提出可行性方案，帮助我国金融企业稳定持续发展。...
陈俊杰，任艳粉等编著2009 年出版241 页ISBN：9787807346845
本书介绍了动床模型试验及模型相似律研究发展概况，对模型沙基本特性测量的方法、原理及试验步骤进行了总结，收集整理了常用模型沙的主要性能特点、及相关的技术资料，并列举了我国应用常用模型沙进行动床模型试...
张树义主编2008 年出版312 页ISBN：9787562329282
本书运用财经应用文写作最新科研成果——思维描述模型，来解读财经应用文写作的技术问题。本书选编了现实生活中最常用、最需要，以及内容最新的经济文书，包括财经行政公文、财经事务文书、财经专业文书、经济纠...
韩大卫编著2014 年出版335 页ISBN：9787302363293
本书作者是大连理工大学管理学院教授，博士生导师，从事多年教学。大连理工大学管理学院教授，博士生导师，从事多年教学。
徐玖平，胡知能，李军编著2004 年出版417 页ISBN：7030139003
本书为中科院研究生教材，系统介绍了运筹学中的方法与模型，重点陈述了运筹学中应用最为广泛的决策分析、网络分析、存贮论、排队论、可靠论、线性规划、非线性规划等内容。本书结构体系完整，理论与实践相结合。...
叶斌，叶猛著2013 年出版175 页ISBN：9787533542337
本书精选2012年设计的空间作品方案，把握：设计理念新，设计风格多样化，设计含金量高，功能空间多样性等原则来组稿并编辑加工书稿。内容形式为效果图配上相应的原始3ds Max模型。每本书配6张DVD光盘。...
斯佩恩（Spaim，J.）著；谢正祥等译1987 年出版399 页ISBN：7502301054
书名原文:BASICmicrocomputermodelsinbiology.
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
