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

经典好书《计算机体系结构(第2版中文版计算机科学与技术学科研究生系列教材)/计算机科学与技术学》读书内容简介:教材。作者结合自身从事国产龙芯高性能通用处理器研制的实践，以准确精练、生动活泼的语言，将计算机体系结构的知识深入浅出地传授给读者。全书共13章，第1～4章从计算机体系结构的研究内容和发展趋势、二进制和逻辑电路、指令系统结构等方面介绍计算...详情

经典好书《意志力：关于自控、专注和效率的心理学》读书内容简介:本风靡全世界的心理学通俗读物。被拖延症困扰？面临情感纠葛？减肥总是反弹？控制不住购物的冲动？沉溺于社交媒体和在线娱乐？经常熬夜时间还是不够用？一切都与意志力相关！身处飞速变化的互联网时代，诱惑无处不在，如果你想要控制自己，...详情

经典好书《侘寂：致艺术家，设计师，诗人和哲学家》读书内容简介:一步，深入东方美学核心日本人人知道其中感受，却无法清晰表述的美学观念艺术、设计、建筑界无法回避但被误解最多的词汇苹果、宜家、无印良品、Hay等诸多品牌的灵感密码 简介日本茶道大师...详情

经典好书《计算机视觉之深度学习：使用TensorFlow和Keras训练高级神经网络》读书内容简介:尼（Rajalingappaa Shanmugamani），目前在Kairos担任技术经理。在此之前，曾在新加坡SAP公司担任深度学习主管，也在创业公司从事过计算机视觉产品的开发和咨询工作。在同行评审的期刊和会议上多次发表文章，并在机器学习领域申请了...详情

经典好书《系统论--系统科学哲学》读书内容简介:。本书立足于一般系统论、信息论、控制论、耗散结构理论、协同学、超循环理论、突变论、混沌理论和分形理论等系统科学理论，探索了系统科学古今中外的四方面来源，考察了从宇宙、生命、精神、生态到社会五大系统的基本特征，...详情

经典好书《劳动和人力资源经济学》读书内容简介:研究中心主任。曾作为富布莱特学者工作于美国哈佛大学和国家经济研究局（NBER），作为兼职（客座）教授受聘于复旦大学、东北财经大学等多所大学。曾担任世界银行和亚洲开发银行咨询专家。担任《经济学（季刊）》、《新政治经济学评论》副主编，《世界经济》等期刊编...详情

经典好书《漫谈物理学和计算机》读书内容简介:毕业于乌克兰国立哈尔科夫大学物理数学系。后在中国科学院物理研究所工作。1978年晋升为研究员、副所长。1980年11月当选为中国科学院院士。现任物理学系研究员、博士生导师。兼任中国博士后基金会副理事长、陈嘉庚国际学会常务董事。曾任中国科学院理论物理研...详情

经典好书《设计体系：数字产品设计的系统化方法》读书内容简介:设计吗？应当先做设计再出规范，还是先出规范再做设计？如果老板的意见与设计师自己的想法相左，设计师应该坚持己见吗？针对这类问题，先进的互联网团队已经逐渐形成了一套新的方法论——设计体系（design syste...详情

经典好书《计算机系统设计原理》读书内容简介:》介绍了计算机系统中相当广泛的原理和抽象，并深入介绍了它们。《世界著名计算机教材精选:计算机系统设计原理》使用伪代码介绍核心概念，使得读者可以测试他们对于该概念的具体实例的理解。通过使用伪代码，《世界著名计算机教材精选:计算机系统设计原理》将客户端—...详情