构造
形式化构件装配的领域算法构造
《形式化构件装配的领域算法构造》,作者:石海鹤,周卫星 著 出版社:科学出版社 ISBN:9787030668783。算法作为计算机软件的核心，其可靠性和开发效率对于软件的可信性及应用发展具有重要意义。算法自动化是提高算法开发效率、保证算法可靠性的重要途径之一。 本书结合著者所在学术团队已取得的软件形式化方法PAR及其支撑平台，将生成式程序设计的思想引入到算法开发中来，借助领域建模的概
数字计算机的编译程序构造. 上册
《数字计算机的编译程序构造. 上册》,作者:D.格里斯 出版社:科学出版社 ISBN:13031312。内容提要 本书较全面系统地介绍了编译程序构造的主要技术、实用方法以及必备的基本理论知识． 全书共分二十一章．前七章讲述编译程序的有关概念、形式语言理论、扫描程序以及各种语法分析方法．随后九章介绍运行时存贮的组织、各种符号表、源程序的内部形式、语义程
中国大陆中-新生代构造演化与动力学分析
《中国大陆中-新生代构造演化与动力学分析》,作者:董树文等 著 出版社:科学出版社 ISBN:9787030514660。本书为深部探测技术与实验研究专项(SinoProbe)第八项目“大陆地壳的结构框架与演化探讨”课题研究的成果总结。作者以我国华南、华北、东北和西部地区为例，通过野外地表地质调查与精细构造解析、古地磁分析、地球化学测试分析、同位素年代学、高温高压实验，结合深部探测技术与实验研究专
青藏高原大地构造特征及盆地演化
《青藏高原大地构造特征及盆地演化》,作者:赵政璋等主编 出版社:科学出版社 ISBN:703009011X。本书对青藏高原的古地理、岩浆活动、变质作用、缝合带及地球物理场特征进行了较为系统的论述。
黄骅坳陷孔南地区新生代盆地成盆机制及构造演化过程
《黄骅坳陷孔南地区新生代盆地成盆机制及构造演化过程》,作者:叶琳等 著 出版社:科学出版社 ISBN:9787030581624。本书通过翔实的地震、钻井、测井等地质资料，在精细解析黄骅拗陷孔南地区构造系统及层序地层格架的基础上，对盆地内重要的构造转换界面及其地质意义进行剖析。同时根据盆地内构造几何学、运动学特征结合低温热年代学方法对盆地新生代构造演化进行幕式划分及部分定量分析，并以孔南地区为切入
塔里木叠合盆地构造解析和应力场分析
《塔里木叠合盆地构造解析和应力场分析》,作者:汤良杰，贾承造等著 出版社:科学出版社 ISBN:9787030199416。本书以现代盆地构造解析理论为指导，以塔里木叠合盆地为典型对象，论述了典型叠合盆地关键构造变革期构造转换对盆地建造与改造的制约等。
