概率图模型:原理与技术 书籍
经典好书《概率图模型:原理与技术》读书内容简介:门的一个机器学习研究方向。本书详细论述了有向图模型(又称贝叶斯网)和无向图模型(又称马尔可夫网)的表示、推理和学习问题,全面总结了人工智能这一前沿研究领域的最新进展。为了便于读者理解,书中包含了大量的定义、定理、证明、算法及其伪代码,穿插了大量的辅助...详情
经典好书《成為卓越程式設計師的38項必修法則》读书内容简介:ete 知道:卓越的軟體,是優秀的人們盡最大努力所完成的。”-Lisa Crispin 《Agile Testing: A Practical Guide for Testers and Agile Teams》作者如果你...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
重构与模式 书籍
经典好书《重构与模式》读书内容简介:两种软件开发关键技术之间的联系,说明了通过重构实现模式改善既有的设计,往往优于在新的设计早期使用模式。《重构与模式》不仅展示了一种应用模式和重构的创新方法,而且有助于读者透过实战深入理解重构和模式。书中讲述了27种重构方式。《重构与模式...详情
程序设计语言的形式语义 书籍
经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典...详情
反应式Web应用开发 书籍
经典好书《反应式Web应用开发》读书内容简介:以及在实际的编码中实践这些理念的方法,以实现更加灵活和高性能的Web应用程序。本书共11章,分成三大部分。第一部分(第1章到第4章)主要介绍了反应式编程的基础理念,并讲解了函数式编程和Play框架的基础知识。第二部分(第5章到第8章)介...详情
经典好书《Scala与Clojure函数式编程模式》读书内容简介:开发者调查,最受程序员喜爱的开发语言中,Clojure和Scala分别位列第五和第六。排名第一的是Swift,而Swift相比原先的Objective-C最重要的优点之一,就是对函数式编程提供了更好的支持。同时,新一代分布式计算系统Spark不仅在实...详情
经典好书《嵌入式Linux基础教程(第2版•英文版)》读书内容简介:)》是嵌入式Linux的经典教程,介绍了引导装入程序、系统初始化、文件系统、闪存和内核、应用程序调试技巧等,还讲述了构建Linux系统的工作原理,用于驱动不同体系结构的配置,Linux内核源码树的特性,如何根据需求配制内核运行时的行为,如何扩展系统功...详情
服务设计模式 书籍
经典好书《服务设计模式》读书内容简介:fulWeb服务设计解决方案》是Web服务设计领域的经典著作,Amazon五星级畅销书,Web服务领域资深专家撰写,MaritnFowler和Ian Robinson等大师级人物亲自作序推荐。本书不仅详细讲解了SOAP、WSDL、RESTful3种W...详情