实用砌体结构计算与构造

重点大学计算机教材 编译原理：编译程序构造与实践

本书介绍了编译程序的构造原理。

云开地块北缘博白 岑溪造山带的形成与演化

本书通过云开地块造山带的区域构造格局、地球物理场特征、地层及沉积特征、岩浆作用、变质作用等的分析，对云开地块造山带的形成与演化给予了详尽的描述。...

刑事上诉制度的功能与构造

本书作者在灵活运用比较分析、实证分析、逻辑分析等多种研究方法的基础上，找到了我国刑事上诉制度存在的问题和缺陷，以西方国家刑事上诉制度为背景，对刑事上诉制度的功能与构造问题提供了一个理论框架。...

模型飞机的构造原理与制作工艺

本书从航空模型的构造原理与制作工艺两个方面介绍了航模的制作方法。对航模的各个部件进行了受力分析，其中引入了理论力学和材料力学的一些知识，对传统制作工艺、新材料和新工艺进行了简单介绍。...

青藏高原碰撞造山与成矿作用

青藏高原是印度欧亚板块相撞而隆起形成的，青藏高原碰撞造山作用发育，形成了大量的矿产。本书即是碰撞造山作用与成矿的关系进行了系统论述。...

计算机密码学 通用方案构造及安全性证明

本书阐述计算机密码方案与密码协议的安全性证明理论，包括基于计算复杂度概念的计算密码学方法和基于符号演算的形式分析与验证方法。安全性证明是一个技术复杂而思想活跃的领域，作者并不打算对此做面面俱到式...

天然气水合物赋存的地质构造分析与资源评价

本文在对中国和世界水合物研究的基础上，总结水河物构造研究方法、研究内容及其在中国大陆边缘水合物研究中的应用实例。

论世界贸易组织争端解决中的司法造法

WTO争端解决机构自1995年成立以来取得了显著成就，无可争议地成为全球“最有效的争端解决机构”；与此同时，WTO争端解决机构的司法造法活动也加剧了WTO决策机构同司法机构之间的不平衡，产生了“宪法性危机”。对W...

大地构造学概论与中国大地构造学纲要

本书介绍了有关大地构造学的基本理论学说，并以造山带和盆地为重点介绍了中国的大地构造概况。