自然辩证法概论

作者：  徐治立主编

出版社：北京航空航天大学出版社,2008

简介：　　《自然辩证法概论》根据教育部最近颁布的有关教学基本要求，对相关领域进行了深入研究，并吸收近年来自然辩证法学科教学与研究的最新成果，编著而成。全书除“绪论”外，共四篇十三章： 辩证唯物主义自然观、科学论与科学发现论、技术论与技术创新论和科学技术与社会研究。各篇章前有主题导言，每章之中插入若干个短小精悍专栏，章后附有本章小结、思考题和参考文献。《自然辩证法概论》观点明确、结构严谨、内容丰富、可读性强，特别适合研究生教学与研究之用，也可供其他广大师生、科技工作者及管理人员参考。

初等数论

作者：  王丹华，杨海文，刘咏梅编著

出版社：北京航空航天大学出版社,2008

简介：　　《高等学校通用教材·初等数论》介绍初等数论中整数的整除性、同余、不定方程、同余方程、二次同余方程、原根和指数、实数的表示以及初等数论的应用等内容。它不仅适合作为高等院校数学专业和计算机相关专业学生的教材，也可作为高中数学教师的教学参考书。 《高等学校通用教材·初等数论》注重思维与兴趣的融合。每章开始通过引述部分达到各章之间的自然过渡；在章节内容叙述中，对重要方法给出必要的评注，达到深刻理解的目的；每章结尾给予概括性的小结；在《高等学校通用教材·初等数论》最后，给出数论中几大经典问题的介绍，以增强教材的可读性。 《高等学校通用教材·初等数论》适合教学和自学的双重需要，根据作者多年对初等数论的教学实践，结合高校初等数论课程的教学大纲编写而成，编写时力求做到深入浅出、循序渐进、突出重点、结构严谨、例题典型、注重基础和强调适用。书中在注重基本概念和基本方法的归纳总结的同时，也为每一节安排了丰富的实例和习题，为了减轻习题解题难度，还给出了参考答案或提示。　　

大规模系统构架建模及其开发技术

作者：  郭秋萍，焦允，王全兰著

出版社：北京航空航天大学出版社,2008

简介：《大规模系统构架建模及其开发技术》主要内容：从大规模系统构架建模的角度，研究基于构架／构件的系统开发方法及其相关技术。通过研究统一建模语言（UML）与形式化体系结构描述语言（ADL）的融合，建立一种基于构架／构件的大规模系统开发模型。主要内容包括：国内外研究现状；软件复用思想；系统构架理论与构架建模方法研究；软件构件的抽取、设计与实现方法；基于构架／构件的大规模系统开发模型；系统构架的评估等。可作为高校与软件工程相关专业或从事软件体系结构研究的高年级本科生、研究生、教师等的参考用书，也可为业内相关技术人员提供参考。