程序设计语言的形式语义 书籍
经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典...详情
猴王变形 书籍
经典好书《猴王变形》读书内容简介:生肖的作品的集合,以十二生肖中的十二个动物为主线,串联起郑渊洁童话中倍受欢迎的精彩故事,区别于传统的十二生肖的是,郑渊洁的十二生肖故事更有意义和哲理。本书是《猴王变形》,以十二生肖中的猴子为主要人物,收录了《猴王变形》《机器猴传奇》两篇文章。...详情
象牙塔的变迁 书籍
经典好书《象牙塔的变迁》读书内容简介:术的神秘魅力或巫术性质。这种魅力存在于尚未被规范的前现代学术形态,也存在于现代研究型大学所确立的各种规范中。本书讨论学术卡里斯玛与现代秩序下的研究性大学,,从中世纪的学术形态直到现代学术形态的形成,以及在此过程中研究性大学的兴起和学术卡...详情
吴三桂与甲申之变 书籍
经典好书《吴三桂与甲申之变》读书内容简介:祯帝, 时年34 岁; 李自成为大顺朝的永昌帝, 时年38 岁; 多尔衮为大清朝的摄政王, 时年32岁。论长幼齿序, 三人大致同龄, 而以李自成居长。用现代人的眼光来看, 30 龄代的人属于“中青年冶。然而就是这三个中青年, “虎掷龙拏不两存, 当年...详情
经典好书《历史时期金沙江流域的经济开发与环境变迁》读书内容简介:》是以"经济开发与环境变迁研究"为基本思路和研究考虑,主要从土地垦殖、矿业开发、各原住民族的适应性开发与生态安全诸方面出发,分八章论证了金沙江流域的经济开发与自然环境变迁这一题域。作者简介马国君,男,苗族,湖南麻阳人,历史...详情
百变小红帽 书籍
经典好书《百变小红帽》读书内容简介:森林里遇见一只狼之后,就在各个时代幻化出不同的角色:她是被保护、被训诫的纯洁女孩儿;却又曾经勾搭大野狼;或摇身一变在好莱坞夜总会大跳艳舞;搽密丝佛陀口红,喷上香奈儿五号香水,开红色敞篷车,到处卖弄风情;甚至掏出武器将危害她的家伙干掉……她的演技毫不含...详情
经典好书《变色龙:契诃夫中短篇小说集》读书内容简介:是小说,还是剧本,他都独辟蹊径,其艺术成就是高超的,举世公认的。关于契诃夫的小说,列夫·托尔斯泰说过:他“创造了新的形式,因此我丝毫不假作谦逊地肯定说,在技术方面契诃夫远比我为高明!……这是一个无与伦比的艺术家。”《变色龙:契诃夫中短篇...详情
经典好书《意识形态的崇高客体(修订版)》读书内容简介:的歌剧到海因莱因的科幻,从拉康到福科,从黑格尔到马克思,从重大政治事件到犹太人的笑谈,从狗智主义到排犹主义,从排泄问题到神学思辨……齐泽克娓娓道来,令人尽享阅读的快感。在这部极具原创性和挑衅性的著作中,齐泽克概括了欲望的原理,把握了无意识的特质,解剖...详情
可变目标C编译器 书籍
经典好书《可变目标C编译器》读书内容简介:cc的设计方法和实现技术。lcc是一个实用的编译器,能够为不同的目标机器(如MIPS R3000、SPARC、Intel 386及其后续产品)生成代码。本书结合lcc的具体实现,详细讲述了存储管理、符号表、词法分析、语法分析、中间代码生成、优化、目标...详情
实时计算机图形学 书籍
经典好书《实时计算机图形学》读书内容简介:s a professor of computer science, specializing in computer graphics and image processing, at the Department of Computer Scie...详情