张志刚著2003 年出版649 页ISBN：7300043526
本书立足于当代宗教哲学观念，以问题与方法为经纬着重研讨了：“上帝存在证明”及其批判、罪恶问题研究、宗教经验研究、宗教语言问题、宗教对话问题、理性与信仰的关系问题共六个错综复杂的宗教哲学课题。 ...
宋海宏，陈宇夫，李梅主编；白朝勤，甘孝君，袁友胜，路忽玲副主编2015 年出版370 页ISBN：9787517026099
本书围绕建筑设计的自身理论与设计方法展开论述，内容以建筑的概念、分类、分级、构成要素，与人、自然、社会的关系为起点，分析了建筑设计的形式美规律、发展沿革、思维方法、表达方法、空间与组织、结构与材料...
殷志云著2007 年出版261 页ISBN：9787811055801
本书阐述了阳极焙烧及其热工过程的数学模型，全息仿真监控及其数学（定量）分析。
刘磊，张晶，赵健，张鹏编著2013 年出版196 页ISBN：9787111422525
本书主要内容为：元程序设计、信息流分析、形式概念分析、别名分析、程序分片和部分求值等各种目前主流的程序分析方法。
