YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136
Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
（美）盖伊·温奇博士著；李娟，王秀莉译2011 年出版290 页ISBN：9787505728806
不抱怨的世界是不存在的，这个世界不可能没有抱怨，但抱怨也是一种力量，一个契机，完全可以转化为积极正面的内容。在本书中，温奇医生给出了如何抱怨的可行建议，示范了如何通过有效抱怨传达信息，以化解我们面临的......
（英）斯特鲁恩·里德著；（英）埃米莉·比弗绘；蒲丽娟译2014 年出版31 页ISBN：9787501608959
本系列共6册，内容丰富，囊括了古代中国、古埃及、中世纪、墨西哥、新艺术与装饰艺术等的图案与设计，供儿童欣赏与涂色。主要特色有：1.涂色与文化知识相结合，形式新颖，主题突出。2.足不出户就可以了解到古文明与传....
（韩）李明玉著2010 年出版224 页ISBN：9787807609230
本书作者首先从艺术大师作品的欣赏角度出发，结合艺术家的生平与事迹，循循善诱道出艺术家成功的关键所在，进而尝试以更广阔的视野，从商业领域探讨艺术家的成功对于今天商业运营的意义，以期从艺术家成功的案例中发...
孙静著；袁行霈审定1997 年出版159 页ISBN：7534720281
陶渊明，魏晋风流的代表。他安贫乐道、崇尚自然，他的诗作促使魏晋诗歌的古朴作风进入更纯熟的境地，是东晋诗坛绕不开的人物。在《陶渊明的心灵世界与艺术天地》一书中，作者在每一个中心主题下都精心选用陶渊明的...
（日）安田正著；孙守峰译2018 年出版157 页ISBN：9787508692111
这是一本教大家在职场以及商务合作中高情商聊天的图书。具有实操性和工具性，有很多职场商务的聊天案例和场景重现。作者的观点层层递进，举出了常规的聊天方法，二流的聊天方法以及高情商的精英聊天方法。本讲到...
（英）菲利普·德尔夫斯·布劳顿（PHILIP DELVES BROUGHTON）著；高嘉勇译2014 年出版221 页ISBN：9787115348432
本书从独特的视角以最直白、最简洁的语言讲述了管理的方方面面，可以说是一本通俗管理学。本书涵盖了管理的各个对象，包括自我、他人、过程、数据、变革和战略六大方面，并详述了相关管理要领。除了将有效的管理...
同道著2008 年出版473 页ISBN：9787503422065
本书为作者创作的诗歌、散文集，文章充满了爱国主义情怀，讲述了作者在美洲大陆的生活见闻及对祖国的无限热爱的情怀。
汪兆骞著2016 年出版248 页ISBN：7514343733
本书沿袭《民国清流：那些远去的大师们》的风格，承接时间顺序（1917-1927），描述了1927-1930年胡适、鲁迅、茅盾、巴金、叶圣陶、冯雪峰等民国大文人的交往、逸闻、学术、趣味等诸多行迹细节，刻画了他们的人格魅力和...
