郭秀著2016 年出版255 页ISBN：9787510316432
本书内容包括：包装设计与中国传统文化元素、包装设计的流程方法与视觉装潢、材料的艺术与结构表达--包装设计的空间、包装设计的印刷与销售、中国传统文化元素及其在包装设计中的表达、包装设计的发展与现代...
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136
Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
孙静著；袁行霈审定1997 年出版159 页ISBN：7534720281
陶渊明，魏晋风流的代表。他安贫乐道、崇尚自然，他的诗作促使魏晋诗歌的古朴作风进入更纯熟的境地，是东晋诗坛绕不开的人物。在《陶渊明的心灵世界与艺术天地》一书中，作者在每一个中心主题下都精心选用陶渊明的...
潘正文编著2001 年出版224 页ISBN：7503522275
本书全面系统地论述了哲学与领导方法的关系，以及领导干部的思想方法、决策方法、管理方法、工作方法、用人方法等内容。
