当前位置:首页 > 名称
大约有485,583项符合查询结果项。(搜索耗时:0.6525秒)
为您推荐: 塔里木盆地海相油气的生成 羌塘盆地油气资源战略调查 陆相断陷盆地层序地层学工作方法图集 松辽盆地陆相石油地质学 柴达木盆地油气地质成藏条件研究 中国西部大型盆地海相碳酸盐岩油气地质图集
-
-
-
-
中国油气勘探领域新展望
中国石油学会石油地质专业委员会编2006 年出版261 页ISBN:7563622284本书有七个部分:前陆盆地勘探进展、大型古隆起勘探进展、碳酸盐岩区勘探进展、大面积地层岩性勘探进展等。
-
-
-
-
-
-
数字集成电路设计验证 量化评估、激励生成、形式化验证
李晓维,吕涛,李华伟,李光辉著2010 年出版411 页ISBN:9787030276094本书重点介绍过去五年内取得的相关研究成果,兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证...
学科分类
出版时间
