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

经典好书《圈里圈外》读书内容简介:敬明以30万册的首印数出版新作《梦里花落知多少》，书出版后疯 卖，没多久销售突破50万册，就在郭敬明掀起新一轮热潮时，在《东方周刊》供职的女作家庄羽站出来指称：《梦里花落知多少》有超过7处情节与她的作品《圈里圈外》雷同，有些语言和人物性格完全模仿《圈...详情

经典好书《調教方法＝可圈可點》读书内容简介:忍，為了紓解壓力，在路上撿了一隻像「大型狗」的千田大輔回家當寵物。面無表情，卻言聽計從的大輔，忍把他調教成可以舔遍自己全身的狗，愛做什麼就命令他做什麼。後來才發現，他竟然是同公司的新人！終於察覺到自己有多麼疼愛大輔，驚慌失措的忍該怎麼辦...详情

电视剧【韩剧模范刑警】剧情介绍: 　　以现实的刑警世界为背景，描述追踪真相的人们和试图隐藏真相的人们两派势力的对决。详情

经典好书《小松模式》读书内容简介:役会长，日本经济团体联合会副会长。1941年出生于日本岛根县。1963年从大阪市立大学工学部毕业后进入小松公司，在小松粟津、大阪工厂从事推土机设计工作。1971年任职质量管理课，1981年到小松美国公司服务部工作，1989年起成为小松集...详情

经典好书《B模式》读书内容简介:大量研究数据及对发达国家与发展中国家经济发展模式的思考，阐述了人类未来的发展必须转向B模式，即可持续发展的模式。他指出，B模式由三个部分组成：一是重构全球经济，使之能够支持；二是采取一切措施消除贫困、稳定人口，并且恢复希望，以吸引发展中国家的参加；三...详情

经典好书《深度探索C++对象模型》读书内容简介:型”下的程序行为。对于“对象导向性质之基础实现技术”以及“各种性质背后的隐含利益交换”提供一个清楚的认识。检验由程序变形所带来的效率冲击。提供丰富的程序范例、图片，以及对象导向观念和底层对象模型之间的效率测量。作者简介St...详情

经典好书《Akka应用模式：分布式应用程序设计实践指南》读书内容简介:a 开发者们，有很多技术资源可供参考，但是如要想知道如何去应用这些技术就需要不同的思维方式了。为了帮助你正确地使用Akka，《Akka应用模式：分布式应用程序设计实践指南》这本实用的实践指南提供了若干高级的设计模式，还包括了如何以及何时应用那些模式去...详情

经典好书《基元设计模式（英文版）》读书内容简介:业于北卡罗莱纳州立大学教堂山分校，获博士学位。该校也是基元设计模式的诞生地，当时是作为模式查询和识别系统（System for Pattern Query and Recognition，SPQR）项目的组成部分。Smith博士因其在校的研究项目而荣...详情

经典好书《面向模式的软件架构. 第2卷》读书内容简介:国际公认的软件开发专家，尤其在设计模式、面向对象框架、实时中间件、建模工具和开源软件开发等方面享有盛誉，美国范德比尔特大学（Vanderbilt University）计算机科学教授。他的研究领域包括模式和模式语言、优化原理，对于支持服务质量的组件中...详情