软件开发的形式化工程方法：结构化+面向对象+形式化 【其他书籍】

有机化合物的结构测定方法利用13cnmr1hnmrir和ms图谱的综合解析 【其他书籍】

冷战时期美国对第三世界国家经济外交研究19471969 【其他书籍】

非线性最优化问题 对偶性理论及相关分析 【其他书籍】

国外电子与通信教材系列 无线通信与移动通信中信号处理研究的新进展 【其他书籍】

甘肃地方经济立法研究 【其他书籍】

本书阐述了甘肃地方经济立法的基本理念，总结了甘肃地方经济立法中存在的主要问题，并分析了背后的原因，特别是从立法数量和质量两个方面，从亟待立法的事项与具体的应用指标等综合角度，探讨了完善甘肃地方经济立法...

中国社会科学院马克思主义研究论丛 经济编 【其他书籍】

中国国防经济安全研究 【其他书籍】

本书分别从经济全球化、军民一体化、产权多元化、装备信息化、决策民主化等方面阐述了我国国防经济安全的背景、形势和对策。出版这些研究成果，不仅可以弥补国内这方面的研究不足，而且可以为政府、军方和企业...

高层与大跨建筑结构施工 【其他书籍】

本书主要讲述高层与大跨建筑的基本概念，各主要工程的施工技术和施工组织计划一般规律，其特点是涉及知识面广、实践性强、技术发展迅速。施工是应用性科学，与工程实践结合紧密。本书主要结合我国现行规范、规程...

建筑工程施工质量验收规范应用讲座验收表格地基基础与主体结构部分第3版 【其他书籍】