经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情

经典好书《用户故事与敏捷方法》读书内容简介:捷开发方法的结合，诠释了用户故事的重要价值，用户故事的实践过程，良好用户故事编写准则，如何搜集和整理用户故事，如何排列用户故事的优先级，进而澄清真正适合用户需求的、有价值的功能需求。《用户故事与敏捷方法》对于软件开发人员、测试人员、需求...详情

经典好书《第七感：自我蛻變的新科學》读书内容简介:團體競相邀約「人際神經生物學」權威丹尼爾．席格博士第七感席捲全球第七感是每個人都有的內在潛能，是培養EQ與SQ的真正基礎，也是開啟認知自我與感知他人的神秘鑰匙。就算9...详情

经典好书《横截面与面板数据的计量经济分析（第二版）（经济科学译丛）（上、下册）》读书内容简介:计量经济学研究的两类数据结构分析的一个统一处理：横截面数据和面板数据。本书同时涵盖了线性和非线性模型，包括含有动态性和/或个体异质性的模型。除了一般估计框架（特别是矩方法与极大似然法）外，还详细介绍了一些特定的线性与非线性方法，包括probit和lo...详情

经典好书《中国大百科全书·语言文字》读书内容简介: 作者简介详情

经典好书《JavaScript 艺术与科学》读书内容简介:ms——The Man in Blue ——拥有计算机科学背景及八年图形设计经验，自有一套独特的界面设计方法。利用最新的技术，他喜欢游走于设计和代码的交叉地带，做出富有创意并实用的网站和应用。除了目前正在做的项目，Cameron已经在全世界很多工作室...详情

经典好书《用户体验草图设计工具手册（全彩）》读书内容简介:体验草图设计》的配套阅读图书，将指导你如何一步一步地用草图来表达你的设计理念，并介绍了多种草图方法。这些方法将成就你做草图的基本功，其中有的适用于完善想法，有的可以帮助你在工作组织内部交流基于体验的设计。各种草图方法会让你的设计灵感一一实现，这本书所...详情

经典好书《小言黄帝内经与生命科学》读书内容简介: 作者简介详情

经典好书《定本育儿百科》读书内容简介:育儿时遇到的各方面问题，分为651个专题叙述，侧重育儿方法和育儿技巧。并编创了30节婴儿体操，描写细致入微，内容丰富，全面周到。以孩子为本位，不以家长为本位：站在孩子立场指导父母科学育儿，尊重孩子个性。培养创造性。培育健壮的、身心健康的孩子。以母亲为...详情

经典好书《回家-世界科幻小说精品》读书内容简介:家的故事。在未来的世界里，地球今非昔比。随着人类的过度开发、过度污染以及异常疾病（如爱滋病等）的流行，地球环境极度恶化，地球人口急剧减少。来自遥远太空的外星人以伪善的面孔示人，却另有一个野心勃勃的计划。面对不怀好意的外星人，地球人也不甘示弱。一场太空...详情