（美）艾伯斯坦著；郑淑芬，邱淑铃译2005 年出版221 页ISBN：7806398562
这是一本关于人生生存智慧的书，本书以日历的形式通过十二个月里的每一天，讲述人们应该如何去做，让自己更快乐，享受生活。
（日）大野诚著；江雅铃译2001 年出版181 页ISBN：7538132724
您太胖了吗？您知道发胖的原因吗？肥胖为什么可怕呢？本书教您从日常生活习惯做起，培养不易发胖的体质，在不知不觉中远离肥胖的梦想，让您轻松享受生活、自在享瘦身材。...
（俄）叶·伊·扎米亚金著；顾亚铃译2013 年出版232 页ISBN：9787539960562
本书以第一人称自述的形式展开，主人公“D-503”是宇宙飞船“积分号”的设计师。设计该飞船的目的是为了寻找外星文明，并向外星人传播联众国的关于“幸福”的理念。D-503在女主角“I-330”的影响下，开始对这个...
（美）比尔·莫格里奇著；许玉铃译2011 年出版515 页ISBN：7508626869
本书是一本艺术设计、艺术理论类的通俗读物。
陆汝钤著2017 年出版1856 页ISBN：9787302414940
系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...
