经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、...详情

经典好书《数据库管理系统原理与设计》读书内容简介: his B.Tech. from IIT Madras in 1983 and his Ph.D. from the University of Texas at Austin in 1987. He was a member of the Dat...详情

经典好书《物理渲染从理论到实现（第2版）》读书内容简介:lt图书类大奖，在计算机图形学界鼎鼎大名！同时也是一本重量级巨著！内容简介：本书详细阐述了与物理渲染相关的高效解决方案，主要包括几何形状和转换，图元和相交加速计算，颜色和辐射度，相机模型，采样和重构，反射模型，材质、纹理、...详情

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

经典好书《心理动力学心理治疗简明指南》读书内容简介:程心理动力学心理治疗的原则和技术》第3版较第2版增加了不少篇幅，在相同的章节里内容也有了很大丰富。由于是一部临床实践的指导用书，《心理动力学心理治疗简明指南:短程、间断和长程心理动力学心理治疗的原则和技术》紧紧围绕与临床实践相关的主题展开介绍，从“为...详情

经典好书《整理的艺术4：升职从整理开始》读书内容简介:了！修炼外语技能│应对资格考试│规划职业生涯为职场人量身打造风靡日本的超高效职场学习法，“穷忙族”“月光族”“草莓族”翻身必备本书将帮你打造完美的——〖学习工具〗手机、耳机、MP3、录音笔，不起...详情

经典好书《数据库管理系统原理与设计》读书内容简介: his B.Tech. from IIT Madras in 1983 and his Ph.D. from the University of Texas at Austin in 1987. He was a member of the Dat...详情

经典好书《深入理解机器学习：从原理到算法》读书内容简介:Shwartz和加拿大滑铁卢大学教授Shai BenDavid的专著《Understanding Machine Learning:From Theory to Algorithms》是机器学习领域一部具有里程碑意义的著作。近几年，...详情

经典好书《物理动理学》读书内容简介:》全面详细地论述了统计非平衡系统中过程的微观理论，特别着重于阐述基本物理概念和一般原理与方法。全书内容十分丰富，除了对简单的气体动理学理论给予足够重视外，还用了几章篇幅充分论述了等离体动理学理论，此外对介电体、金属、超导体、量子液体以及相变理论中的动...详情

经典好书《整理HACKS!―1分でスッキリする整理のコツと習慣》读书内容简介:存技能培训教练，学校老师，“赫曼全脑模型”推广人，演讲会主办者，日本知名畅销书作家，精通各种工作技能和生存术，是身兼数职仍能按自己的兴趣生活的整理达人。1975年出生于日本福冈县，京都大学文学部哲学美术科美学美术史专业毕业后任职于知名广...详情