A Living Remedy

1 BriefAnswerstotheBigQuestions

BriefAnswerstotheBigQuestions

RenownedcosmologistandbestsellingauthorofABriefHistoryofTime,StephenHawking,shareshisfinalthoughtsonthepressingquestions StephenHawking 2023-04-13 19:00:34
1 STEM-神奇的家庭科学实验室

STEM-神奇的家庭科学实验室

【编辑推荐】★通过科学实验的形式教会孩子一种学习方法,将科学、技术、工程和数学四大知识点融为一体!打通各学科之间的联系,帮助孩子形成较强的思辨能力。★每一个章节会有主题介绍和实验活动,聚焦一个特定的主题,可以让孩子通过主题讨论、操作实验、总 (美)本·R.戴维斯 2023-04-13 18:55:17
1 天文学与生活(原书第7版)

天文学与生活(原书第7版)

天文学是研究宇宙空间天体、宇宙结构和发展的学科。本书介绍了天文学的基本知识,包括:科学过程、宇宙大小和年龄、星系的演化、天体和天球及其坐标、时间与历法、星空区划和四季星空、天文观测工具和手段、天体物理性质及其测定、太阳系、地月系、地球及其运 EricChaisson/SteveMcMillan 2023-04-13 18:53:00
1 谁捉住了上帝粒子?

谁捉住了上帝粒子?

★★★科学图书奖获奖作品从宇宙学到地球科学,从神经科学到行为经济学20个你想问却从来不敢大声提出来的问题……………………◎编辑推荐★精选20个科学问题,涵盖物理学、生物学、数学,甚至博弈论和行为经济学等众多学科,文字风趣,老少咸宜。★由“量 [法]大卫•卢阿普尔(DavidLouapre)/著/[法]利松•贝尔内(LisonBernet)/ 2023-04-13 18:29:47
1 自然的音符:118种化学元素的故事

自然的音符:118种化学元素的故事

《自然的音符:118种化学元素的故事》是一本由Nature自然科研译自《自然-化学》(NatureChemistry)InYourElement专栏的科普图书。它是所有图书中为数不多的覆盖当前全部已发现的118种化学元素的作品。每一种元素都 [英]施普林格·自然旗下的自然科研(NatureResearch/partofSpringerNat 2023-04-13 18:23:19
1 人类未来

人类未来

本书是一本立足科学思考人类现状与未来的科普读物。它包括五个章节:第一章分析了当下地球的一些潜在危机,包括能源、核威胁、气候变化等;第二章以当下科技发展为根据,预言生物技术、网络技术、人工智能等将对人类未来产生的改变及风险;第三章从地球和人类 [英]马丁·里斯(MartinRees) 2023-04-13 18:16:55
1 新星世

新星世

《新星世:即将到来的超智能时代》是一本由英国企鹅兰登书屋和美国麻省理工学院出版社于2019年7月推出的前沿科普科幻新书。该书由“盖娅理论之父”JamesLovelock创作,是他一生中最令人着迷的一部作品。地球形成于45亿年前,经过10亿年 JamesLovelock 2023-04-13 17:58:45
1 Vim实用技巧(第2版)

Vim实用技巧(第2版)

Vim是一款功能丰富而强大的文本编辑器,被程序员广泛使用。它的代码补全、编译及错误跳转等方便编程的功能特别丰富,可以大大提高程序员的工作效率。对于Vim高手来说,编辑文本的速度与思考同步。然而,学习和熟练使用Vim又有一定的难度。本书旨在提 [英]DrewNeil 2023-04-13 17:34:54
1 从Python开始学编程

从Python开始学编程

《Python快速教程》改编自Vamei博客。本书以Python为样本,不仅介绍了编程的基本概念,还着重讲解编程语言的主流范式,包括面向过程、面向对象、面向函数。通过本书,读者不仅可以轻松学会Python,而且将更容易地学习其他编程语言。 Vamei 2023-04-13 17:32:39
1 精通Spring4.x

精通Spring4.x

Spring4.0是经过4年的积蓄后,Spring隆重推出的重大升级版本。这次升级进一步加强了Spring例如基于GroovyBean的配置、HTML5/WebSocket支持,全面支持Java8.0,最低要求为Java6.0。这些新功能实 陈雄华/林开雄/文建国 2023-04-13 17:28:53
1 Go语言实战

Go语言实战

本书介绍了Go语言的特性,包括底层系统语言的能力和现代语言的高级特性,旨在降低构建简单、可靠、高效软件的门槛。我们专注于提供全面的内容,符合语言习惯,同时关注语言的规范和实现。本书涵盖了语法、类型系统、并发、管道、测试等主题,并不断深入探讨 威廉·肯尼迪(WilliamKennedy)/布赖恩·克特森(BrianKetelsen)/埃里克· 2023-04-13 17:27:36
1 ANTLR4权威指南

ANTLR4权威指南

ANTLR是一款强大的语法分析器生成工具。它可用于读取、处理、执行和翻译结构化的文本或二进制文件。该工具被广泛应用于学术领域和工业生产实践,成为众多语言、工具和框架的基石。Twitter搜索每天使用ANTLR处理超过20亿次查询。而Hado TerenceParr 2023-04-13 17:25:52