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

经典好书《亲爱的，见字如面》读书内容简介:地爱你。你如照镜子，你不会看得见你特别好的所在，但你如走进我的心里来时，你一定能知道自己是怎样好法。 —— 朱生豪跟你在一起，是我一生最美好的时光。 ——伍尔夫吻我亲爱的露水涟涟的西部花朵百万遍，吻我亲爱的诺拉的卷发百...详情

经典好书《平面排版基本的基本》读书内容简介:★★、值得购买度：★★★★★POINT1：学会“有意识地去看”做不出好的排版，一个很重要的原因是没有“有意识地去看”。本书将教会你如何有意识地去观察事物并学习排版的具体操作方法，进而帮助你从版面设计师的角度去看待问题。</...详情

经典好书《流浪的面包树》读书内容简介:，男女间轨迹的重叠，远远超越个人的感情纠葛，透视了众生共同面对的惆怅与茫茫。她擅写爱情与男女关系，笔法独到，洋溢大都会流动的气息之余同时笼罩强烈的感性氛围。一针见血的文学、令人拍案叫绝的爱情观，犀利明快不失温柔…本集里，作者主要续写了林...详情

经典好书《流浪的面包树》读书内容简介:孤独地开着她的“面包树”书店，同时因为和小学同学杜卫平重逢，接受开“渡渡餐厅”的杜卫平收留，而成为室友；而歌手葛米儿的脑部发觉长了肿瘤，就在程韵陪她回家乡斐济时，见到了一个酷似林方文的男子，究竟林方文是否还在人间？而程韵又会情归何处？是杜卫平温暖的怀...详情

经典好书《面向模式的软件架构，卷3》读书内容简介:德国慕尼黑西门子研究院高级软件工程师，Michael Kircher Software UG (haftungsbeschränkt)公司总经理。关注的领域包括分布式对象计算、软件架构、模式、极限编程及创新环境中脑力劳动者的管理。与人合著有*Remo...详情

经典好书《民主的阴暗面》读书内容简介:之后最伟大的社会学家迈克尔·曼重塑对历史的理解◎充满挑衅的现代民主新理论◎凶残的种族清洗为何是现代民主的丑恶面？当同一片领土上，两个对立的种族民族主义组织都声称自己拥有国家主权时，危险产生了；当弱势的一方由于...详情

经典好书《面包匠的狂欢节》读书内容简介:知地过着荒唐而滑稽的生活：要为上帝照相的卢伊吉，用独腿跳舞的苉雅，色情暴虐的牧师，肥胖纵欲的面包匠……在伦理和堕落的对峙中日夜挣扎的人们终于在复活节与愚人节相遇的那一天借助面包匠吉安尼神奇的复活节面包彻底释放了内心的恶魔，在狂欢式的肆意交媾中放空了自...详情

经典好书《逝者的面具》读书内容简介:仪式和书写，更直接呈现于墓葬之中。墓葬既是安置死者肉身的处所，又是建筑、绘画、雕塑和工艺品的集合体，还可以被理解为人们在生死这个最大的、最具有普遍意义的哲学命题下，以物质的材料、造型的手法、视觉的语言，所营造的具有终极价值的艺术作品。本书综合采用考古...详情

电视剧【面向阳光的地方～初恋～】剧情介绍:自在的人，他和他的同伴们组成了名为“Ⅲ组”的组织，以活动房为家。青山凛（莲佛美沙子 饰）是一个生活的如同行尸走肉一般的女孩，某一天，在命运的牵线搭桥之下，她和英志相遇了。英志让凛知道，原来这个枯燥无味的世界里，竟然还有生活的如此生龙活虎的一群人。 ...详情