经典好书《计算机图形学原理及实践（原书第3版 进阶篇）》读书内容简介: 作者简介详情

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

经典好书《数据库管理系统原理与设计》读书内容简介: 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...详情

经典好书《深入理解TensorFlow：架构设计与实现原理》读书内容简介:家（ML GDE），Kubeflow Core Maintainer，TensorFlow Contributor，曾一度成为TensorFlow社区全球前40的贡献者。加州大学圣迭戈分校访问学者，毕业于浙江大学竺可桢学院求是科学班。曾为华为深度学习...详情

经典好书《艺术·设计的平面构成》读书内容简介:而本书拟着眼于其中的形，集中研究三维的形及组成它的构成要素中所产生的各种问题。本书重点论述《艺术、设计的平面构成》中所未涉及到的关于立体特有的问题。本书分为两个部分，即有关形的美感和形的观察方法的视觉效果部分，以及与形、结构和功能方面相关的部分。</...详情

经典好书《艺术·设计的平面构成》读书内容简介:日－2003年2月14日，设计家。 东京教育大学（现筑波大学）教育学院艺术主攻构成毕业。亚洲基础造型学会第一任会长，中国、台湾、韩国等主要在东亚的基础造型的制作和研究的基础投入许多心力。把福岛大学教育学院做为开端，到京都教育大学，筑波大...详情

经典好书《当代平面设计新观念》读书内容简介:日常工作重心，他们要想方设计地在连续的页面上创造性地安排文字与插图。这项工作取决于设计师的灵感与观察力，他们因此而声名显赫。许多宣传品看完就被丢弃：今天热门的信息资料可能会成为明天的垃圾。但是那些设计精美的宣传册、目录和文档却能够长期并...详情

经典好书《日本平面设计二巨匠：田中一光与福田繁雄》读书内容简介: 作者简介详情