低碳 能源和区域经济发展 基于可计算一般均衡模型的分析 analysis based on computable general equilibrium models
师颖新著2012 年出版213 页ISBN：9787511232595
本书以均衡模型（CGE）为基础，构建了地区、区域、全国、国际不同层面的CGE模型，对碳汇市场、碳交易、扩大内需、劳动力成本上升、能源补贴、能源环境技术的国际合作等热点问题，进行了深入的理论分析，并结合实际提出...
张铭，窦赫蕾，常春藤编著2007 年出版255 页ISBN：711516438X
OPNET Modeler是一款用于网络仿真的商业软件，它主要面向网络设计专业人士，能够满足大型复杂网络的仿真需要为技术人员提供一个网络技术和产品开发平台，可以帮助他们设计和分析网络、网络设备和通信协议。OPNET...
Mathematical modeling for the mcm/lcm contests
（美）贝朗格，（美）比彻，（美）王杰编著2015 年出版162 页ISBN：9787040416763
本系列丛书是以美国大学生数学建模竞赛（MCM/ICM）赛题为主要研究对象，结合竞赛特等奖的优秀论文，对相关的问题进行解析与研究。本辑针对2014年MCM/ICM竞赛的3个题目：The Keep-Right-Except-To-Pass Rule、College...
A CONTINUOUS FLOW KINETIC MODEL TO PREDICT THE EFFECTS OF TEMPERATURE ON THE TOXICITY OF WASTE TO AL
1974 年出版112 页ISBN：0836942767
MAPPING OF PARENT HAMILTONIANS:FROM ABELIAN AND NON-ABELIAN QUANTUM HALL STATES TO EXACT MODELS OF C
MARTIN2011 年出版194 页ISBN：3642243837
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
