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

经典好书《重构与模式》读书内容简介:两种软件开发关键技术之间的联系，说明了通过重构实现模式改善既有的设计，往往优于在新的设计早期使用模式。《重构与模式》不仅展示了一种应用模式和重构的创新方法，而且有助于读者透过实战深入理解重构和模式。书中讲述了27种重构方式。《重构与模式...详情

经典好书《Scala与Clojure函数式编程模式》读书内容简介:开发者调查，最受程序员喜爱的开发语言中，Clojure和Scala分别位列第五和第六。排名第一的是Swift，而Swift相比原先的Objective-C最重要的优点之一，就是对函数式编程提供了更好的支持。同时，新一代分布式计算系统Spark不仅在实...详情

经典好书《服务设计模式》读书内容简介:fulWeb服务设计解决方案》是Web服务设计领域的经典著作，Amazon五星级畅销书，Web服务领域资深专家撰写，MaritnFowler和Ian Robinson等大师级人物亲自作序推荐。本书不仅详细讲解了SOAP、WSDL、RESTful3种W...详情

经典好书《互联网金融时代消费信贷评分建模与应用》读书内容简介:亚大学，复旦大学、台湾大学EMBA，曾任职于香港维信理财公司、台湾台北富邦银行、台湾中国信托商业银行、澳商澳盛银行及台湾台新银行等机构；兼任台湾金融研训院特约讲师、VISA中国区兼职顾问。具备台湾银行业消费金融风险管理与大陆小贷、P2P...详情

经典好书《大规模C++程序设计》读书内容简介:小且较好管理的组件层次结构（不是继承）的过程。这种具有非循环物理依赖的系统的维护、测试和重用从根本上比相互紧密依赖的系统更容易且更经济。此外，本书还说明了遵从好的物理设计和逻辑设计规划的动机。Lakos给读者提供了一系列用来消除循环依赖、编译时依赖和...详情

经典好书《设计模式》读书内容简介:版)是引导读者走入软件设计迷宫的指路明灯，凝聚了软件开发界几十年的设计经验。四位顶尖的面向对象领域专家尽心挑选了最具价值的23种设计实践，加以分类整理和命名，并用简洁而易于重用的形式表达出来。这23个模式逐渐成为开发界进行技术交流所必备的基本知识和语...详情

经典好书《Hadoop MapReduce デザインパターン ―MapReduceによる大規模テキストデータ処理》读书内容简介: 作者简介详情

经典好书《六年级-全国小学生英语奥赛模拟试题》读书内容简介:简介：为满足参加2008年全国小学生英语竞赛者的需要，根据“全国小学生英语竞赛”的最新题型，结合新的国家英语课程标准和各个版本英语教材，我们组织多年从事中小学英语竞赛命题研究和辅导的老师编写了《全国小学生英语竞赛模拟试》系列丛书。丛书特...详情

经典好书《模糊语言学》读书内容简介:年6月生，湖南湘潭人。现任北京师范大学中文系教授。北京语言学会理事。1945年起，先后就读于贵州大学和西南联大先修班、清华大学化工系。1950年毕业于哈尔滨外语学院俄语系。曾任中国科学院语言研究所《国外语言学》杂志主编、国外语言学研究室主任。主要致力...详情