概率图模型:原理与技术 书籍
经典好书《概率图模型:原理与技术》读书内容简介:门的一个机器学习研究方向。本书详细论述了有向图模型(又称贝叶斯网)和无向图模型(又称马尔可夫网)的表示、推理和学习问题,全面总结了人工智能这一前沿研究领域的最新进展。为了便于读者理解,书中包含了大量的定义、定理、证明、算法及其伪代码,穿插了大量的辅助...详情
经典好书《成為卓越程式設計師的38項必修法則》读书内容简介:ete 知道:卓越的軟體,是優秀的人們盡最大努力所完成的。”-Lisa Crispin 《Agile Testing: A Practical Guide for Testers and Agile Teams》作者如果你...详情
世界是平的 书籍
经典好书《世界是平的》读书内容简介:on #1暢銷書
美國半年內銷售破百萬冊
EQ之後最轟動的趨勢話題
小時候我常聽爸媽說:「兒子啊,乖乖把飯吃完,因為中國跟印度的小孩沒飯吃。」現在我則說:「女兒啊,乖乖把書唸完,因為中國跟印度的小孩正等著...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
重构与模式 书籍
经典好书《重构与模式》读书内容简介:两种软件开发关键技术之间的联系,说明了通过重构实现模式改善既有的设计,往往优于在新的设计早期使用模式。《重构与模式》不仅展示了一种应用模式和重构的创新方法,而且有助于读者透过实战深入理解重构和模式。书中讲述了27种重构方式。《重构与模式...详情
程序设计语言的形式语义 书籍
经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典...详情
胡平生简牍文物论稿 书籍
经典好书《胡平生简牍文物论稿》读书内容简介:年来有关新出土文献研究的50篇代表性论文。论文所涉及的出土文献包括阜阳汉简、走马楼吴简、里耶秦简、云梦秦简、居延汉简、马圈湾汉简、楼兰文书、马王堆帛书等。内容方面,主要侧重于文字考释与制度研究,尤以从出土简牍考察秦汉行政制度的论文为长。较明显地体现了...详情
反应式Web应用开发 书籍
经典好书《反应式Web应用开发》读书内容简介:以及在实际的编码中实践这些理念的方法,以实现更加灵活和高性能的Web应用程序。本书共11章,分成三大部分。第一部分(第1章到第4章)主要介绍了反应式编程的基础理念,并讲解了函数式编程和Play框架的基础知识。第二部分(第5章到第8章)介...详情
经典好书《制度、制度變遷與經濟成就(Institutions, Institutionl Change and Economic Performance》读书内容简介:有別於傳統的新古典經濟理論,諾貝爾獎經濟學得主諾斯以交易成本為基礎,提出新的個人行為假設,以及個人與組織的互動關係。其重要的論點指出制度變遷的過程並不必然造成有效率的結果。本書的內容不只是當今「新制度學派」的重要依據,也強調結合經濟、政治與社會理論的...详情
经典好书《Scala与Clojure函数式编程模式》读书内容简介:开发者调查,最受程序员喜爱的开发语言中,Clojure和Scala分别位列第五和第六。排名第一的是Swift,而Swift相比原先的Objective-C最重要的优点之一,就是对函数式编程提供了更好的支持。同时,新一代分布式计算系统Spark不仅在实...详情