张健著2000 年出版172 页ISBN：7030083644
本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
钟国发著2003 年出版784 页ISBN：7220063717
本书从文明视野，系统考察了中国华夏民族独特宗教格局——儒佛道三元一体割据的生成轨迹。
（美）Ed Sutter著；张晓林等译2003 年出版329 页ISBN：7505386689
本书通过一个完整的嵌入式系统设计全过程，向读者展示嵌入式系统的基本框架，以及设计、编程、调试等技术细节。书中详细讲述了嵌入式系统中的存储器、微处理器与微控制器、数据总线与地址总线等基本概念，以及在...
（苏）索柯洛夫（А.В.Соколов），（苏）谢尔多包里斯基（И.П.Сердобольский）著；金成忠等译1955 年出版52 页ISBN：
（美）戴尔·卡耐基著；王权典编译2004 年出版231 页ISBN：780151842X
本书采用图文并茂的方式从不同方面论述了人们如何发现、挖掘、利用自身所蕴藏的潜能的方法。
（美）托马斯·R.霍尔（Thomas R.Hoerr）著；郅庭瑾译2003 年出版199 页ISBN：7504124621
本书系统讲述了多元智能理论及其在美国新城学校的实施过程。通过新城学校的个案研究，读者可以了解这所学校的教师初次接触多元智能理论的过程，全校教职员工在教学、课程、教师的专业发展及教育评价中进行的各...
（俄）奥西普·曼德尔施塔姆（Осип，Мандельштам）著；杨子译2003 年出版327 页ISBN：7543448394
在俄国诗歌的谱系中，奥西普·曼德尔施塔姆是最另类的一个，在1928～1973年将近半个世纪中，其诗歌被官方打入死牢。本诗选系从三部曼德尔施塔姆诗歌的英译本转译，涵盖了诗人早期直到沃罗涅什流放时期的重要作品。...
（苏）科索拉波夫（Косолапов，В.В.）著；曹静译1991 年出版262 页ISBN：7310004051
书名原文:Методологиясоциальногопрогнозирования:高等学校文科教材:本书介绍了马克思主义社会预测理论的基本内容。
（日）谷口正幸，（日）池上保子著；狄群译2003 年出版190 页ISBN：7534537908
本书主要介绍降低血压的饮食疗法、日常生活事项和心得。
