(美)艾伯斯坦著;郑淑芬,邱淑铃译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
系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法,并结合近年来形式语义学的最新进展,适应发展迅速的并发系统等对形式语义描述的需求,着重增加了并发语义和移动计算系统的形...