-
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 ]
-
-
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 ]
-
Head First HTML with CSS and XHTML - Elisabeth Freeman and Eric Freeman 电子书下载
Head First HTML with CSS and XHTML - Elisabeth Freeman and Eric FreemanElisabeth Freeman and Eric Freeman ...
02-05 [ computer ]
-
Always Be Testing - Bryan Eisenberg, John Quarto-vonTivadar And Lisa T. Davis 电子书下载
Always Be Testing - Bryan Eisenberg, John Quarto-vonTivadar And Lisa T. DavisBryan Eisenberg, John Quarto-vonTivadar And Lisa T. Davis ...
02-05 [ computer ]
-
Head First Design Patterns 2nd Edition - Eric Freeman and Elisabeth Robson 电子书下载
Head First Design Patterns 2nd Edition - Eric Freeman and Elisabeth RobsonEric Freeman and Elisabeth Robson ...
02-05 [ computer ]
-
Head First HTML5 Programming - Eric Freeman and Elisabeth Robson 电子书下载
Head First HTML5 Programming - Eric Freeman and Elisabeth RobsonEric Freeman and Elisabeth Robson ...
02-05 [ computer ]
-
Concepts of Database Management 10th Edition - Lisa Friedrichsen, Lisa Ruffolo, Ellen F. Monk Joy, L. Starks, Philip J. Pratt, Mary Z. Last 电子书下载
Concepts of Database Management 10th Edition - Lisa Friedrichsen, Lisa Ruffolo, Ellen F. Monk Joy, L. Starks, Philip J. Pratt, Mary Z. LastLisa Friedr ...
02-05 [ computer ]
-
-
-
WordPress For Dummies, 6th Edition - Lisa Sabin-Wilson 电子书下载
WordPress For Dummies, 6th Edition - Lisa Sabin-WilsonLisa Sabin-Wilson ...
02-05 [ computer ]
-
Head First Design Patterns - Eric Freeman, Elisabeth Freeman, Kathy Sierra and Bert Bates 电子书下载
Head First Design Patterns - Eric Freeman, Elisabeth Freeman, Kathy Sierra and Bert BatesEric Freeman, Elisabeth Freeman, Kathy Sierra and Bert Bates ...
02-05 [ computer ]
-
-
-
Head First HTML and CSS 2nd Edition - Elisabeth Robson and Eric Freeman 电子书下载
Head First HTML and CSS 2nd Edition - Elisabeth Robson and Eric FreemanElisabeth Robson and Eric Freeman ...
02-05 [ computer ]
-
《生命之轮 : 生与死的回忆录》伊丽莎白·库伯勒-罗斯 / Elisabeth Kubler-Ross 电子书下载
内容简介:伊丽莎白‧库伯勒‧罗斯(Elisabeth Kubler-Ross, M.D.) 是一名精神科医生,也是国际知名的生死学大师。她多年从事临终关怀工作的经验,以及《论生死与临终》(On death and Dying)等相继推出的著作,协助许多濒死病患安详的面对死亡,更抚 慰无数临终病患亲属 ...
10-22 [ life ]
-