中国教育活动专题研究丛书 第2辑 生成与失范 民国时期中学教师管理制度研究 1912-1949

LEMON语法分析生成器 LALR 1 类型 源代码情景分析

本书通过对LEMON语法生成器的代码分析，介绍编译原理中的 LALR（1）类型的语法分析。全书分为介绍 LEMON ，设计一个计算器，处理命令行输入，初始化 LEMON，语法扫描和语法要素内部表示，计算LR（0）分析器等11章。...

穿行在盆地与沙漠中

煤盆地分析原理和方法

雅格林盆地之歌 蒙文

含油气沉积盆地地质基础

创新思维法 打破思维定式，生成有效创意

大多数人认为创造性是与身俱来的禀赋，有的人生来就有，有的人终身无缘。而本书作者通过自身实践和多年培训经验证明，每个人都可以拥有创造性。本书详细介绍了创造性思维的生成方法、具体应用和评估反馈，并辅以大...

安全协议实施自动化生成与验证

本书共分五篇15章。系统地全面介绍了安全协议实施生成与验证的基本理论和关键技术及最新成果。主要内容包括安全协议协议规范形式化分析与验证技术、安全协议实施的生成与验证技术及其国内外发展现状、应用...

可持续建筑设计生成与评价一体化机制

在可持续发展的总体观念下，“可持续建筑”的话题是建筑界乃至整个城市发展领域的热点话题。在诸多相似概念（如“绿色建筑”、“生态建筑”等）中，可持续建筑可视为最高级形式与长期追求目标。在当前的建筑设计研...

中国含油气盆地油田水