刘兴堂，刘力，何广军等著2008 年出版400 页ISBN：9787030215635
本书共六章。阐述VV&A有关概念；建立复杂仿真系统全生命周期VV&A过程模型；深入讨论大型复杂仿真系统模型验证方法和技术，以及VV&A技术的规范化操作问题。...
李建民著2011 年出版273 页ISBN：9787502037819
本书阐述了国内外深部开采现状及前景，面临的主要技术问题。记述了开滦矿区深部开采采场应力特征、矿压显现规律等开采过程中所采取的技术措施手段。...
刘川编著2014 年出版277 页ISBN：9787511343499
生活并不是真的像人们感叹的那样令人精疲力尽，而是人们主观地将各种欲望加在生活之中，使心灵倍感沉重。本书旨在帮助读者认清生活中的各种不必要的重负和牵绊，指导人们如何摆脱名缰利锁，重新找回心灵的宁静与平...
肖伟主编2009 年出版164 页ISBN：9787533533496
本书精选十几个实际的、比较有代表性的各种复杂、超限高层项目。介绍这些复杂、超限高层的工程概况，结构方案的比较确定过程，重点突出介绍这些工程项目的复杂性、超限特性，以及解决和实施方案等。...
徐绪松著2003 年出版307 页ISBN：7030125096
本书作为作者多年的研究成果，收录了其已发表的学术论文46篇。书中研究了作为管理科学研究前沿的复杂科学的基础理论和方法，同时研究了资本市场的非线性问题、项目评价问题和信息化问题，提出了一些创新的观点、...
吴兴玲，黄成泉，罗里波编著2009 年出版152 页ISBN：9787564702014
本书论述了形式语言的基本内容，包括有限自动机、下推机和图灵机的基础理论，讨论了如分治策略、动态规划、回溯法、贪心法以及概率算法等算法的基本技术，同时，也给出了计算复杂性理论的基本知识。...
