经典好书《过去的痛》读书内容简介: 作者简介“我独身自处，大概不为什么，为的是我是一个不可救药的人。”详情

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

经典好书《独自迈向生命的尽头》读书内容简介:亚文化中的圣人”让·埃默里 自杀前的最后一部著作◆出版30年内再版逾13次，被译为英、法、意、西等多种语言◆“有把叫作死亡的刃。每个人都可以拿起死神的巨镰挥向自己。”···【内容简介】<...详情

经典好书《向日葵不開的夏天》读书内容简介:讀驚豔！寧靜的小鎮發生了一連串虐殺貓狗事件，要帶作業給請假同學的主角，將會行經有貓狗屍體的地點，而盡頭等著他的又是什麼？那年夏天，我同學Ｓ君上吊，死了，我明明看到他的屍體，大家卻說我騙人……喂，...详情

经典好书《中国文化传统的六个面向》读书内容简介:的六个面向——英雄本色、政教道统、江河岁月、饮食男女、魑魅魍魉、魂兮归来，结合经典文本进行个体剖析，从中外比较、古今汇通的角度阐释中国文化传统是什么。同时，作者所提出的这六个面向又构成一个完整而多元的文化光谱，它们相互映照，富有乐感，读来甚有趣味。<...详情

经典好书《迎向晨曦的每一天》读书内容简介:>『葦絮』：和果子屋的鈴喜歡上在車站前的機車店工作的孝，然而，儘管鈴表達了真摯的愛意，孝卻只是一味拒絕，說出「我不會成家的」這樣彷彿已經放棄未來幸福的話語──心繫背負著沉重枷鎖的他，有如祈禱般的戀愛。『半夏生』：女性攝影師里緒總是...详情

经典好书《失去的建筑》读书内容简介: 作者简介详情

经典好书《面向模式的软件架构. 第2卷》读书内容简介:国际公认的软件开发专家，尤其在设计模式、面向对象框架、实时中间件、建模工具和开源软件开发等方面享有盛誉，美国范德比尔特大学（Vanderbilt University）计算机科学教授。他的研究领域包括模式和模式语言、优化原理，对于支持服务质量的组件中...详情

经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情

经典好书《走向近代化的北京城》读书内容简介:史年代北京市市政管理机构的演化、北京市的道路铺设与城市规化、北京市排放污水系统、北京市城市公共空间——公园建设、北京市供水系统、北京市电灯照明系统、北京市的交通等城市建设基本工程系统。研究了这些机构、系统兴起发展的内在因素、外部条件以及这些工程对北京...详情