（美）路易斯，（美）丹尼伯格著；肖侬，李志刚，陈涛译2010 年出版370 页ISBN：9787512305458
本书的主体是是算法，而不是针对某一具体编程语言的算法实现，因此采用对程序员来说简单易懂的伪代码来描述算法。本书主要内容包括算法分析、线性表、树、数组与字符串、集合的表和树的实现、动态字典的树结构...
（美）劳里·洛温伯格著；袁园译2012 年出版283 页ISBN：9787514305272
本书是一本解释梦境的图书。作者通过上百个梦境实例，对一百的梦中符号进行了通俗生动的解析，让读者更接近梦境，读懂梦境。
（美）尼尔伦伯格等著2011 年出版205 页ISBN：9787510416323
本书是心理学类作品。一个人的姿态与动作所能透露的信息比我们想象的多得多，小小的动作都可能暗藏着重要信息，也许就是沟通的重点。本书通过文字与黑白图片敎你如何解读商业伙伴、朋友、情人、同事或竞争对手...
（以）佩莱得著2012 年出版199 页ISBN：9787111365532
本书通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。紧紧围绕逻辑和自动机理论这条主线，书中比较了这些方法的不同之处，并讨论了它们...
（德）F.W.奥斯特瓦尔德著2012 年出版226 页ISBN：9787100091688
本书作者运用科学的方法阐释和解决自然和生活中的问题。书中主要篇目分四编：一般知识论，逻辑、科学和数学，物理科学，个体和不朽。
（英）查斯特菲尔德著；鲁芳芳译；邓永标，卢晓辉主编2004 年出版278 页ISBN：7802080894
本书内容是励志方面的散文、随笔、杂文，目的使读者阅后提高自身文学素养，进一步推动多读书，读好书。
