讲述了在海岸沙滩上的一块大石头和一只小鸟的故事。这块大石头生活了很长的岁月，它立在沙滩上孤独的经受着海浪日夜的侵蚀，直到一只小鸟停在了石头上…… 关于时间、生命意义、友谊、陪伴和死亡……

《电力工程技术/全国电力职业教育规划教材》主要介绍电力系统基础知识、输电线路、变电站基础知识、供配电系统、无功补偿技术、继电保护、防雷接地技术、光伏电站系统解析、风力发电系统、新能源电动汽车及充电桩技术解析、电力触电及救护、微电网等，全方位对电力方面技术进行解析。

《为聪慧与高尚的人生奠基：清华大学附属小学办学行动纲领》是清华大学附属小学重要规章制度集萃。作为学校的“宪法”，《清华大学附属小学办学行动纲领》确立学校共同的价值观；《清华大学附属小学章程》《清华大学附属小学课程与教学研究工作制度》《清华大学附属小学学生素养发展研究工作制度》《清华大学附属小学安全工作系列制度》等则为学校提供改革策略、流程与方法。 这些价值观、策略、流程与方法，值得有志于变革的学校和教师借鉴。

《钱氏家训》是第1个被评为非遗项目的家训，由上海市人民政府办发过铜牌。钱氏家训起源于五代十国武肃王钱镠，代代相传，影响很大，也造就了一大批很有影响力的钱姓科学家、学者。本书内容为钱氏家训书法作品，分别收钱氏家族书法家钱令希、钱维生、钱汉东书写钱氏家训作品三幅，前后有序跋。本书既可欣赏书法艺术，也是弘扬中华传统文化的善举。

本书是日本著名保健学家、日本疗法之一“SAT疗法”创始人宗像恒次教授系列中文译著。本书试图阐述一个核心观念那就是我们人类的生活方式，是受与生俱来的DNA预先决定的方向指引前行的。如果每个人都能按照自己所拥有的DNA气质类型前行，且充分发挥气质优点，会过上幸福的生活。反之，一个人如果与与生俱来的气质背道而驰，持续那种不合适自己的生活方式，那么无论其如何努力，这个人的人生迟早会失败、甚至罹患各种疾病。DNA气质的理解也能对我们的人际关系产生重大影响。无论是你的邻居或者学校同学、单位同事、或者是朋友、家庭亲人间矛盾纷争，只要通过正确理解自己和他人的气质，就能使棘手的人际关系向着和谐的方向逆转！本书系统地介绍了DNA气质的分类、特征、与之相符的生活方式、应对法则及自我护理法则，并结合夫妻关系实例分析，

本套教材选收了传统和新近创作的比较的扬琴作品，每级均包含七首作品和与之相应技术难度的三首练习曲。由于近年来在社会考级中存在较多急功近利、拔苗助长的现象，许多考生的基本功明显达不到该级别的应试要求，却仍要弹奏自己力所不能及的乐曲，从而事倍功半，欲速不达。为尽可能避免和解决这一不良现象，我们增加了练习曲的内容，以期能收到纠误校偏、拨航人轨的功效。在乐曲选择上，则增加了近年来较为的一些新作品，例如《舞风》、《梦》、《巫峡船歌》、《瑶山夜话》、《落花·夜》等。随着时代的不断发展，扬琴的演奏技巧和音乐表现方式也在传承创新，与时俱进。在增加的这些新作品中，包含了大量新的演奏技巧、新的创作手法，这自然对于考生的技术标准与音乐理解也提出相应的更高要求。扬琴社会考级的大力推广与不断完善，在一

安娜·维尔纳夫著的《罗拉的妹妹配方》介绍：“爸爸、妈妈，你们能给我做个妹妹吗？”罗拉“糟糕”的三胞胎哥哥们又像往常一样在胡闹，而罗拉则渴望有一个人能陪她玩儿，很好是一个像她一样的妹妹。于是，罗拉找到爸爸、妈妈，请他们给自己做一个妹妹。可是爸爸解释说，这可不是件简单的事儿，做妹妹就好像做蛋糕一样——需要正确的配方。所以罗拉叫上了妈司机吉尔伯特，一起去采购……安娜·维尔纳夫的插画为她赢得了许多荣誉，包括加拿大很有声望的文学奖项——“总督奖”。安娜就像罗拉一样，喜欢烹饪，而且总是渴望尝试新的配方——甚至是很不寻常的。

本书讨论大规模连续空间的强化学习理论及方法，重点介绍使用函数逼近的强化学习和动态规划方法。该研究已成为近年来计算机科学与技术领域中活跃的研究分支之一。 全书共分6章。章为概述；第2章为动态规划与强化学习介绍；第3章为大规模连续空间中的动态规划与强化学习；第4章为基于模糊表示的近似值迭代；第5章为用于在线学习和连续动作控制的近似策略迭代；第6章为基于交叉熵基函数优化的近似策略搜索。 本书可以作为理工科高等院校计算机专业和自动控制专业研究生的教材，也可以作为相关领域科技工作者和工程技术人员的参考书。

高速发展的时代，敦促着每一个人在信息洪流中找准自己的位置，抓住时代机遇，创造出独特的人生价值。想要突破重围、快人一步地成为复杂时代的佼佼者，认知优势将是在大浪淘沙式竞争中取胜的关键。认知是人与人之间根本的差别，想要率先取得优势，重构思维模型，实现飞跃式自我成长，首先要做的就是认知升级。《认知升级》是认知研究者、认知学习法创始人刘传的图书作品，全书通过对数十例作者切身实践的认知升级经验进行阐述和分析，全面直击7大思维领域，集结32篇颠覆认知的进阶技巧文章，带领我们重新认识自我、财富、知识、学习、职场和未来趋势，希望能够帮助读者以简单易行的方法实现超乎想象的认知升级。

类型理论在程序设计语言的发展中起着举足轻重的作用，成熟的类型系统可以帮助完善程序设计本身，帮助运行系统检查程序中的语义错误。 要理解类型系统在程序设计语言中发挥的作用，本书将是首选读物。本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化、囿界量词、递归类型、类型算子等内容。本书既注重内容的广度，也注重内容的深度，实用性强。在引入语言的语法对象时先举例，然后给出形式定义及基本证明，在对理论的进一步研究后给出了类型检查算法，并对每种算法都给出了OCaml程序的具体实现。本书对类型理论中的概念都有详细的阐述，为读者提供了一个进一步理论学习的基础。本书内容广泛，读者可以根据自己的需要有选择地深入阅读。 本书适合从事程序设计的研究