程序设计语言的形式语义 书籍
经典好书《程序设计语言的形式语义》读书内容简介:作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典...详情
松本行弘的程式世界 书籍
经典好书《松本行弘的程式世界》读书内容简介:>本書以松本行弘先生對程式本質的深層認知、各種技術之優缺點的掌握,闡述Ruby這套程式語言的設計理念,並由此延伸讓您一窺程式設計的奧妙之處。本書內含許多以Ruby、Lisp、Smalltalk、Erlang、JavaScript等動態語言所寫成...详情
無瑕的程式碼 书籍
经典好书《無瑕的程式碼》读书内容简介: Handbook of Agile Software Craftsmanship》,根據作者的說法,《無瑕的程式碼》為Jolt得獎著作《敏捷軟體開發:原則、樣式及實務》的前傳。在台灣另一本銷售極佳的書籍《重構─改善既有程式的設計》,根...详情
面向模式的软件架构,卷3 书籍
经典好书《面向模式的软件架构,卷3》读书内容简介:德国慕尼黑西门子研究院高级软件工程师,Michael Kircher Software UG (haftungsbeschränkt)公司总经理。关注的领域包括分布式对象计算、软件架构、模式、极限编程及创新环境中脑力劳动者的管理。与人合著有*Remo...详情
经典好书《中国的宗教系统及其古代形式、变迁、历史及现状》读书内容简介:古代典籍为主)相结合,运用人类学、社会学和中国学结合的观念和方法展开叙述,从西方角度对中国本土宗教进行了相当全面的介绍,包括丧葬礼仪、古代死亡与灵魂的观念、坟墓制度(帝王陵寝、义冢及各地民间坟茔)、丧葬方式、居丧习俗、风水、灵魂与祖先崇拜、投胎转世观...详情
经典好书《哲学家广松涉的自白式回忆录》读书内容简介:涉是战后日本有代表性的思想家之一。他在任东京大学教授期间,曾因发表的诸多论著而引起社会关注。在二十世纪六十至七十年代初席卷日本全国的学生运动中,广松涉带着他独自的理论、独自的马克思主义解释观点,英姿飒爽地登上了文化和理论舞台,活跃在那个火热的年代。虽...详情
中国小说叙事模式的转变 书籍
经典好书《中国小说叙事模式的转变》读书内容简介:北京大学获文学博士学位,1992年起为北京大学中文系教授。曾先后在日本东京大学和京都大学(1993-1994)、美国哥伦比亚大学(1997)、德国海德堡大学(2000)、英国伦敦大学(2001)讲学和研究。主要研究领域是:1980年代着重“二十世纪中...详情
巴式青铜器的发现与研究 书籍
经典好书《巴式青铜器的发现与研究》读书内容简介:调查和研究成果,是对战国到两汉时期巴族青铜文明的阶段性总结,将巴族地区建国以来出土的巴式青铜器大体分成乐器、兵器、容器、杂器等类别,其中巴式剑、戈、矛、钺等青铜兵器和虎钮錞于、编钟、铜钲等青铜乐器是晚期巴族青铜文化的代表。并对巴族青铜文化研究中存在的...详情
民主的模式 书籍
经典好书《民主的模式》读书内容简介:主国家,将它们置于一幅二维的民主“概念图”之中。凭借有力的证据和深层次的比较分析,作者得出了一个重要结论:共识民主的效果比多数民主更好。作者认为,这一发现奖为正处在民主化进程中的国家以及新兴民主国家提供参考。本书是美国著名学者阿伦·利普...详情