中国式相亲 电视剧
电视剧【中国式相亲】剧情介绍:芝想让苏格早日成家,便开始了对苏格的一系列相亲安排。方华出生草根,事业不顺曾让他一度低沉,直到做了潜水教练才找到了自己人生的方向。父母一直想抱孙子,终日逼着方华相亲。林若雄是知识分子家庭出身,当一名演员是他一生的追求。林老爹想给自己找个帮手,于是整天...详情
规范与形式 书籍
经典好书《规范与形式》读书内容简介:,高级英帝国爵士(C.B.E)。1909年生于维也纳,1936年进入伦敦的瓦尔堡研究院任教职,从1959年起,担任伦敦大学古典传统史教授及院长,直至1976年退休。主要著作有《艺术的故事》(第16版,1995年),《艺术与错觉—图画再现...详情
中国式关系 电视剧
电视剧【中国式关系】剧情介绍: 饰)是国家单位副主任,工作严谨,平时里严肃、不苟言笑,在官场沉浮多年,精于人情世故,骨子里有点古板、传统;妻子刘俐俐(胡可 饰)在医院工作,典型的浪漫主义者,两人结婚多年过着不咸不淡的生活,也正是这种截然不同的性子导致他们的婚姻走到了尽头,刘俐俐为...详情
交互式定理证明与程序开发 书籍
经典好书《交互式定理证明与程序开发》读书内容简介:算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论,即归纳构造演算。这《交互式定理证明与程序开发:Coq归纳构造演算的艺术》给出了大量的例子,所有例子都町以在计算机上执行。从《交互式定理证明与程序开发:Coq归纳构造演算的艺术》配套网站可...详情
第四范式 书籍
经典好书《第四范式》读书内容简介:球与环境科学、生命与健康科学、数字信息基础设施和数字化学术信息交流等方面基于海量数据的科研活动、过程、方法和基础设施,生动揭示了在海量数据和无处不在网络上发展起来的与实验科学、理论推演、计算机仿真这三种科研范式相辅相成的科学研究第四范式——数据密集型...详情
经典好书《先秦诸子散文文体及其文化渊源》读书内容简介:金重大项目“中国上古知识、观念与文献体系的生成与发展研究”(批准号11&ZD103)阶段性成果。共分八章,分别论述《论语》与春秋君子文化,《老子》与箴诫传统,问对体与咨议制度,经释体与说书传统,先秦寓言、小说与俳谐风尚,说唱与先秦诸子文献,先秦“论”...详情
建筑形式的逻辑概念 书籍
经典好书《建筑形式的逻辑概念》读书内容简介:主义影响下成长起来的建筑师,早年有自己的事务所,1969年著有《系统建造》(Bauenmit Systemen)一书。他在慕尼黑工业技术大学曾主持的建筑建构与设计教研组(Lehrstuhl Fuer Entwerfen und Baukonstruk...详情
经典好书《园林景观设计:从概念到形式》读书内容简介:细的图片展示各种生动的设计技巧;简洁的实例展示一系列设计形式的形成过程;自然界中的典型形状以展示自然图形设计形式的来源;超常规的实例以激发设计师创新的灵感。对于设计师来说,一个很令人头痛的事就是把概念转化为特定的、详细的空间组织形式。《...详情
经典好书《分布式系统常用技术及案例分析》读书内容简介:计分布式系统时所要考虑的技术方案,内容丰富、案例新颖,相关理论与技术实践较为前瞻。《分布式系统常用技术及案例分析》不仅仅介绍了分布式系统的原理、基础理论,同时还引入了大量市面上常用的最新分布式系统技术,不仅告诉读者怎么用,同时也分析了为什么这么用,并...详情