程序设计语言的形式语义 书籍
经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典...详情
猴王变形 书籍
经典好书《猴王变形》读书内容简介:生肖的作品的集合,以十二生肖中的十二个动物为主线,串联起郑渊洁童话中倍受欢迎的精彩故事,区别于传统的十二生肖的是,郑渊洁的十二生肖故事更有意义和哲理。本书是《猴王变形》,以十二生肖中的猴子为主要人物,收录了《猴王变形》《机器猴传奇》两篇文章。...详情
经典好书《意识形态的崇高客体(修订版)》读书内容简介:的歌剧到海因莱因的科幻,从拉康到福科,从黑格尔到马克思,从重大政治事件到犹太人的笑谈,从狗智主义到排犹主义,从排泄问题到神学思辨……齐泽克娓娓道来,令人尽享阅读的快感。在这部极具原创性和挑衅性的著作中,齐泽克概括了欲望的原理,把握了无意识的特质,解剖...详情
实时计算机图形学 书籍
经典好书《实时计算机图形学》读书内容简介:s a professor of computer science, specializing in computer graphics and image processing, at the Department of Computer Scie...详情
原形/活路 书籍
经典好书《原形/活路》读书内容简介:港純以寫稿致富的傳奇人物。他自稱是世上寫漢字最多的人,因為他自一九五七年由內地來到香港之後,已經寫了三十年,而且一星期寫足七天,每天一寫就是數萬字……各位不妨算算他到目前為止一共寫了多少字?然而,字數寫多寫少並不稀奇,最令人讚佩的是,倪匡可以寫了三十...详情
道德形而上学原理 书籍
经典好书《道德形而上学原理》读书内容简介:一本经典。虽然它的篇幅不长,但集中论述了德性是人的意志的道德力量而具有自主性的思想,是康德德性论的代表作,对西方的伦理思想产生过极其深刻的影响。此书由苗力田教授从德文原本译出,现被选为《袖珍经典》的一种。全书包括译者的一篇长序,可作为康德原著的导读,...详情
Windows图形编程 书籍
经典好书《Windows图形编程》读书内容简介:n32 GDI和 DirectDraw API的技术细节:设备环境、坐标空间和变换、像素、填充区域、位图、图像处理、文字处理、元文件、打印处理等。本书内容翔实、例子丰富、分析透彻,是Windows编程人员的实用参考书。附带光盘包含书中实例、实用程序、...详情
计算机图形学导论 书籍
经典好书《计算机图形学导论》读书内容简介:——C语言描述》是经典的计算机图形学教材,本书是《计算机图形学原理及实践——C语言描述》一书的简写版。本书主要面向计算机图形学的初学者和没有相关技术背景的读者,主题包括基本图形学编程,硬件及应用,二维和三维图形学的重要算法,同时还包括大量的习题、示例...详情
意识形态与乌托邦 书籍
经典好书《意识形态与乌托邦》读书内容简介:作。原书最初发表于1929年,1936年在美国出版了英译本。全书论述了知识社会学的几个中心问题,并用实例说明了把这一科学的如何进行实际运用。全书共分五个部分:第一部分是作者为英国读者撰写的介绍本书的文章;第二至第四部分论述知识社会学的主要问题,如思想...详情
经典好书《康德《道德形而上学奠基》句读》读书内容简介:武大哲学系硕士研究生毕业,获硕士学位,毕业后长期在武汉大学任教,2009年12月起,因家庭原因离开武汉大学,担任华中科技大学哲学系教授,德国哲学研究中心主任,中华外国哲学史学会常务理事,湖北省哲学史学会副会长,《德国哲学》主编。专攻德国哲学,亦研究美...详情