大多数软件开发人员在复杂的代码上浪费了大量的时间。《整洁代码的艺术》提出的九大原则将教会您如何编写清晰、可维护且功能完备的代码。本书的指导原则很简单：缩减和简化，将精力投入到重要的工作上，省下大量的时间，卸下代码维护的重担。热销书作者克里斯蒂安.迈尔在本书中利用他的经验帮助许多程序员完善他们的编码技能。他给出专业建议和真实例子，展示如何：利用80/20原则，专注于重要任务——最要紧的那20%代码；避免孤立编码，创建最小可行产品，获得早期反馈；编写整洁、简单的代码，排除混乱；避免导致代码过度复杂的

在教育信息化2.0时代的背景下，智慧教学为提升教育教学质量打开了一扇门，但如何通过信息技术与教育教学的深度融合发展实现对以学生为中心的智慧教学路径的构建这条门外的路亟待铺设，只有扫平智慧教学路径构建的现实问题，才有可能打造出教育新时代下的教育新生态。本书原创的3P交互啮合式智慧教学改革模型可以为智慧教学改革提供框架性的理论指导与参照性的路径与关键点把控；以根据3P模型建设的课程以及该课程线上资源暨省级精品课《解密市场营销（双语）》为基础的智慧教学改革实践示例还可为欲进行智慧教学改革的高校提供直观

立足于在真理的彼岸世界（宗教）消逝之后为此岸世界确立真理的出发点，马克思和恩格斯为人类社会喻示的道德，在必然王国之从属于劳动的交往中，是没有剥削、没有压迫、没有强制而真正基于自愿的公平合作；在自由王国之超越于劳动的交往中，是彼此作为主体间关系而相互给对方的自由实践、自由个性以充分的支持、承认和尊重，以促成和确证彼此的自我实现。我们所需要的道德还在襁褓之中，但已无可回避、无可逆转地置身于现代社会，即使对于那已经逝去的、人类曾经似乎拥有过的共同体以及相应的道德伦理生活有那么一丝缅怀，更为务实、更为重

本书是对耶鲁学派的思想史研究。其目的不是对耶鲁学派作对象化的梳理和引介，而是将耶鲁学派文论的范式特征、语言论直观和时间诗学洞见放到整个西方思想史的背景中，去考察其形而上学的价值。耶鲁学派所发现的书写的双重性、语言三维与时间三矢的错综复杂的交互发生机制，不仅为化解各种形而上学的疑难提供了新的思想资源，而且初步地开创出了一种发生哲学和生成诗学。在修辞性表达、语言论直观、时间哲学直观等层面，耶鲁学派文论与中国思想、中国文论形成了一种奇特的互文性。把握住这一互文性，将为汉语形态的发生哲学和生成诗学建构打

本书汇聚全球十多个国家九十多名**专家、百余位研究人员的智慧，将“生命”本身作为系统工程，进行拆解、研究、再组装，是仿生和人机协同领域的一本工具书。生命机器属于生物技术前沿领域，又涉及计算机、电子工程、机器人、能源、系统工程、脑科学、心理学、伦理学等多种学科，本书属于典型的生物交叉类学术成果。全书共7篇65章，从路线图、生命、构建基块、能力、仿生系统、生物混合系统和展望等介绍了生命机器的研究现状和进展。

本书共19章。详细介绍了以下内容：不同类型环境，包括海水环境、低温及碱性极端环境、植物内生环境等样本的DNA/RNA提取及宏基因组文库构建技术；从核酸、脱氧核酸、蛋白质三个角度分析环境微生物代谢活性；通过宏基因组测序获得功能基因分类及多样性的方法；从基因组学技术层面介绍复杂微生物群落的研究方法，以及挖掘活性基因（如有机物降解基因）及其表达的技术与工具；高通量地筛选活性酶基因如水解酶、纤维素酶、新型PHA代谢酶、磷酸酶、氢化酶、N-AHSL干扰酶等的方法；如何挖掘增加微生物次级代谢的信号。

师生关系一直是影响教育活动的重要因素之一。随着人工智能的勃兴，基于物联网、云计算、大数据、泛在网络等新一代信息技术在教育领域的推广应用，不仅使教育步入新的发展阶段，而且给师生关系及其建设带来新的机遇与挑战。本书发现，师生关系从原来仅限于人类教师与学生之间的双主体关系走向人类教师、机器人教师和学生三者间的三主体关系。本书探讨对三主体师生关系及其类型的认识，以期为三主体师生关系建设，特别是相关主体的智慧教育素养提供借鉴和参考。

逻辑定理的机器证明是人工智能领域人们最早从事研究的课题。本书从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术，而机器证明又从定理的自动证明和计算机辅助证明两个方面来展现。本书首先用作者构造的命题演算系统FPC和狭谓词演算系统FQC完成常用逻辑定理的人工证明(一种自然推理证明)。其次，用逻辑定理的机器证明工具TPG(TreeProofGenerator)实现逻辑定理的自动证明(一种树证明)。最后，用交互式定理机器证明工具Fitch实现了逻辑定理的计算机证明(一种自然推理证明)。

本书是在大数据框架下，全面介绍金融科技在处理真实场景金融问题时需要掌握的最重要的几类机器学习方法，并将重点放在实施过程中需要用到的特征提取、可解释性、隐私保护与数据安全共享等相关内容的讨论上。 本书内容分三部分:第一部分由1～6章组成，主要讲常规情况下，机器学习在金融场景特别是大数据风控中的建模应用；第二部分由第7章和第8章组成，主要讲在数据隐私保护和安全要求下，机器学习如何进行大数据风控建模；第三部分由9～16章组成，主要讲如何基于吉布斯抽样算法建立特征提取的理论 和标准框架及其在包含投资和融

本书提出微波光子多学科协同设计思想与方法，首先从微波光子的跨域交叉融合出发，分析了其多学科特点，探讨了微波光子多学科协同设计的技术挑战；接着，基于微波光子多学科设计的内涵，将需求-功能-逻辑-物理（RFLP）系统工程论方法引入微波光子系统的设计中，形成了基于RFLP的微波光子系统仿真设计的一般方法。同时，深入研究了微波光子器件、处理单元和系统的建模方法，阐明了微波光子跨域特点和时空频多维映射原理，并以微波光子干涉仪系统模型为例，详细阐述了多学科协同设计和建模仿真的思路及方法；最后，本书探讨了不同