- 热门电子书排行
- 标签列表
-
-
-
-
-
-
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology 电子书下载
This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean.After a quick intr ...
09-29 [ None ]
-
-
《生命之轮 : 生与死的回忆录》伊丽莎白·库伯勒-罗斯 / Elisabeth Kubler-Ross 电子书下载
内容简介：伊丽莎白‧库伯勒‧罗斯(Elisabeth Kubler-Ross, M.D.) 是一名精神科医生，也是国际知名的生死学大师。她多年从事临终关怀工作的经验，以及《论生死与临终》（On death and Dying）等相继推出的著作，协助许多濒死病患安详的面对死亡，更抚 慰无数临终病患亲属 ...
10-22 [ life ]
-
COMPORTEMENT DIFFERE DU BETON DANS LES ENCEINTES DE CENTRALES NUCLEAIRES : ANALYSE ET MODELISATION 电子书下载
The containment of French nuclear power plant of the 1300 and 1400 MWe PWR type aremade of prestressed concrete and their delayed ...
09-27 [ None ]
-