变形的陶醉 书籍
经典好书《变形的陶醉》读书内容简介:身上层社会,让众多纨绔子弟为之倾倒,她本人也沉醉于这飘忽的美梦之中,但好景不长,仅仅过了十天她的富贵梦便破灭了。在苦闷彷徨中她结识了穷困潦倒的退伍兵费迪南。同是天涯沦落人,两人一见钟情。然而这个世界对他们是无情的,爱情和幸福不属于他们。他们绝望了,决...详情
自然科学的形而上学初步 书籍
经典好书《自然科学的形而上学初步》读书内容简介: 作者简介详情
交互式定理证明与程序开发 书籍
经典好书《交互式定理证明与程序开发》读书内容简介:算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论,即归纳构造演算。这《交互式定理证明与程序开发:Coq归纳构造演算的艺术》给出了大量的例子,所有例子都町以在计算机上执行。从《交互式定理证明与程序开发:Coq归纳构造演算的艺术》配套网站可...详情
第四范式 书籍
经典好书《第四范式》读书内容简介:球与环境科学、生命与健康科学、数字信息基础设施和数字化学术信息交流等方面基于海量数据的科研活动、过程、方法和基础设施,生动揭示了在海量数据和无处不在网络上发展起来的与实验科学、理论推演、计算机仿真这三种科研范式相辅相成的科学研究第四范式——数据密集型...详情
建筑形式的逻辑概念 书籍
经典好书《建筑形式的逻辑概念》读书内容简介:主义影响下成长起来的建筑师,早年有自己的事务所,1969年著有《系统建造》(Bauenmit Systemen)一书。他在慕尼黑工业技术大学曾主持的建筑建构与设计教研组(Lehrstuhl Fuer Entwerfen und Baukonstruk...详情
经典好书《园林景观设计:从概念到形式》读书内容简介:细的图片展示各种生动的设计技巧;简洁的实例展示一系列设计形式的形成过程;自然界中的典型形状以展示自然图形设计形式的来源;超常规的实例以激发设计师创新的灵感。对于设计师来说,一个很令人头痛的事就是把概念转化为特定的、详细的空间组织形式。《...详情
经典好书《分布式系统常用技术及案例分析》读书内容简介:计分布式系统时所要考虑的技术方案,内容丰富、案例新颖,相关理论与技术实践较为前瞻。《分布式系统常用技术及案例分析》不仅仅介绍了分布式系统的原理、基础理论,同时还引入了大量市面上常用的最新分布式系统技术,不仅告诉读者怎么用,同时也分析了为什么这么用,并...详情
实现模式 书籍
经典好书《实现模式》读书内容简介:eck将自己多年形成的编程习惯以及阅读既有代码的体验凝练成了编程中的价值观、原则和77种实现模式。在77种实现模式中,每一种模式都覆盖了编写简洁、清晰、易扩展、易维护的代码这一原则的某个方面。它们为日常的编程提供了丰富翔实的参考依据,并告诉大家这些代...详情