经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。 　　本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的，是一本难得的形式语义学方面的经典...详情

经典好书《反应式Web应用开发》读书内容简介:以及在实际的编码中实践这些理念的方法，以实现更加灵活和高性能的Web应用程序。本书共11章，分成三大部分。第一部分（第1章到第4章）主要介绍了反应式编程的基础理念，并讲解了函数式编程和Play框架的基础知识。第二部分（第5章到第8章）介...详情

经典好书《猴王变形》读书内容简介:生肖的作品的集合，以十二生肖中的十二个动物为主线，串联起郑渊洁童话中倍受欢迎的精彩故事，区别于传统的十二生肖的是，郑渊洁的十二生肖故事更有意义和哲理。本书是《猴王变形》，以十二生肖中的猴子为主要人物，收录了《猴王变形》《机器猴传奇》两篇文章。...详情

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

经典好书《意识形态的崇高客体（修订版）》读书内容简介:的歌剧到海因莱因的科幻，从拉康到福科，从黑格尔到马克思，从重大政治事件到犹太人的笑谈，从狗智主义到排犹主义，从排泄问题到神学思辨……齐泽克娓娓道来，令人尽享阅读的快感。在这部极具原创性和挑衅性的著作中，齐泽克概括了欲望的原理，把握了无意识的特质，解剖...详情

经典好书《实时计算机图形学》读书内容简介:s a professor of computer science, specializing in computer graphics and image processing, at the Department of Computer Scie...详情

经典好书《原形/活路》读书内容简介:港純以寫稿致富的傳奇人物。他自稱是世上寫漢字最多的人，因為他自一九五七年由內地來到香港之後，已經寫了三十年，而且一星期寫足七天，每天一寫就是數萬字……各位不妨算算他到目前為止一共寫了多少字？然而，字數寫多寫少並不稀奇，最令人讚佩的是，倪匡可以寫了三十...详情

经典好书《道德形而上学原理》读书内容简介:一本经典。虽然它的篇幅不长，但集中论述了德性是人的意志的道德力量而具有自主性的思想，是康德德性论的代表作，对西方的伦理思想产生过极其深刻的影响。此书由苗力田教授从德文原本译出，现被选为《袖珍经典》的一种。全书包括译者的一篇长序，可作为康德原著的导读，...详情

经典好书《Windows图形编程》读书内容简介:n32 GDI和 DirectDraw API的技术细节：设备环境、坐标空间和变换、像素、填充区域、位图、图像处理、文字处理、元文件、打印处理等。本书内容翔实、例子丰富、分析透彻，是Windows编程人员的实用参考书。附带光盘包含书中实例、实用程序、...详情

经典好书《嵌入式Linux基础教程(第2版•英文版)》读书内容简介:)》是嵌入式Linux的经典教程，介绍了引导装入程序、系统初始化、文件系统、闪存和内核、应用程序调试技巧等，还讲述了构建Linux系统的工作原理，用于驱动不同体系结构的配置，Linux内核源码树的特性，如何根据需求配制内核运行时的行为，如何扩展系统功...详情