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

经典好书《一个解构主义的文本》读书内容简介:试了一种高度神经质的“发散性”行文，糅思辨与直接演示为一体。这是一种“散点透视”的“零度写作”。恍如一万花筒：作者撷取出恋爱体验的五彩碎片，在他哲人思辨的反光镜折射下结构出扑朔迷离的排列组合。作者以对应的文体形式揭示了恋人絮语只不过是诸般感受，几段思...详情

经典好书《暗算》读书内容简介:电侦听与密码破译的作品，本书纵横三十年代，五十年代和六十年代，将间谍战，密码战，无线电战听熔为一炉，穿插亲情，爱情，革命事业情，超能力者，数学天才，革命志士轮番登场，绝地厮杀。 本书叙述了钱之江、安在天父子可歌可泣的一生。父亲钱之...详情

经典好书《暗算》读书内容简介:自己的二十五万元稿费捐献给中国作家协会，作为基金，设立一个长篇小说奖，奖励每年最优秀的长篇小说。是为茅盾文学奖的缘起。其后二十多年中，这一中国当代文学的最高奖项一直备受关注，影响甚巨。我社自一九九八年春出版“茅盾文学奖获奖书系”，先后收入在我社出版并...详情

经典好书《這樣算是討厭嗎？ (全)》读书内容简介:系列」不良少年×副會長篇終於登場囉！高潔的學生會副會長‧幸村之前那段荒唐、不為人知的過去，只有被學生會視為眼中釘、從小和他一起長大的東雲知道。怕過往曝光的幸村是否會接受東雲那令人丟人現眼的約定呢……！？這集主要是東雲×幸村，不過，當然還...详情

经典好书《這樣算是戀愛嗎？》读书内容简介:係後，高潔的學生會副會長‧幸村每天都被東雲耍著玩。夜深人靜時東雲會鑽進他的床、在圖書室被索吻…… 因為厭惡無法冷靜的自己，而想採用冷處理的方式遠離東雲，怎知…… 這招反而出現了反效果……!!副會長終於被攻陷了……!? 超人...详情

经典好书《分布式计算》读书内容简介:方向。《分布式计算》以分布式计算范型的发展演变为线索，由简入繁、由浅入深地介绍Socket通信程序、分布式对象技术、组件开发技术、面向服务体系结构等内容；以Socket应用层程序、Sun公司的RMI（Remote Method Invocation）...详情

经典好书《计算机科学概论》读书内容简介:家编写，全面而细致地介绍了计算机科学的各个方面。书中，计算系统的每个分层都以剖析，从住处层开始，历经硬件层、程序设计层、操作系统层、应用程序层的通信层，最后讨论了计算的限制。此外，正文中穿插了大量的人物传记、历史注释、道德问题和最新的技术发展信息，有...详情

经典好书《像计算机科学家一样思考Python (第2版)》读书内容简介:理解Python语言编程。贯穿全书的主体是如何思考、设计、开发的方法，而具体的编程语言，只是提供了一个具体场景方便介绍的媒介。全书共21章，详细介绍Python语言编程的方方面面。本书从基本的编程概念开始讲起，包括语言的语法和语义，而且...详情

经典好书《计算机网络（原书第7版）》读书内容简介:顶向下方法来讲授计算机网络的原理及其协议，自第1版出版以来已经被数百所大学和学院选作教材，被译为14种语言。第7版保持了以前版本的特色，继续关注因特网和计算机网络的现代处理方式，注重原理和实践，为计算机网络教学提供一种新颖和与时俱进的方...详情