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

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

焊接变形和残余应力的数值计算方法与程序

本书主要介绍焊接力学的基础知识、固有应变和残余应力的测定和预测的基础理论、焊接的温度、应力、变形模拟基础、有限元法的基础知识等。...

最高人民法院关于适用《中华人民共和国民事诉讼法》执行程序若干问题的解释

本书是最高人民法院关于适用《中华人民共和国民事诉讼法》执行程序若干问题的解释全文。

历史和伦理 解释学的中西对话

本书从中学和西学，古典和现代，理论和实践的角度，阐述了跨文化，跨学科的历史学和伦理学的互动关系问题。

计算机程序设计艺术 排序和查找 英文版 影印版·第2版

第3卷为排序和查找，分“排序”和“查找”两章。本卷全面讨论了计算机排序和查找的一流技术，扩展了第1卷中数据结构的处理方法，将大小数据库以及内存和外部存储都包含在内。...

地震属性在构造和地层学中的应用

产业结构的变动与优化 理论解释和定量分析

本书重新梳理了影响产业结构变动的各种因素，寻求分析产业结构变动和优化的新的定量方法。

合同本体解释论 认知科学视野下的私法类型思维

本书作者先运用法史学的考察方法，分别对罗马法、法国民法、德国民法、日本民法以及美国法上有关合同解释理论的历史沿革展开介绍，探寻在不同的历史时期合同解释方法的起源、变迁及发展，为后文的分析提供一种知...

经济解释 卷1 科学说需求

最高人民法院关于适用民事诉讼法审判监督程序司法解释理解与适用

本书是最高人民法院司法解释理解与适用丛书之一，对审判监督程序司法解释逐条释解，解答疑难问题，阐明司法解释的要旨以及审判实践中适用该司法解释应注意的问题。本书具有权威、全面、及时的特点。...