-
-
-
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 ]
-
Literature and Favoritism in Early Modern England 电子书下载
For writers in the early modern period, thinking about royal favorites inevitably meant thinking about the uneasy intersection of ...
09-26 [ None ]
-
Fighting Churn with Data - Carl Gold 电子书下载
Fighting Churn with Data - Carl GoldCarl Gold ...
02-05 [ computer ]
-
Mastering AutoCAD 2008 and AutoCAD LT 2008 电子书下载
The World`s Bestselling AutoCAD Resource Fully Updated for 2008There`s a reason why Mastering AutoCAD is so popular year after ye ...
06-22 [ None ]
-
-
《斜杠青年:如何开启你的多重身份》Susan Kuang 电子书下载
内容简介:如果你:不喜欢朝九晚五,不满意现在的专业,不想要一眼望尽的人生,不满足但一职业和身份的束缚,共享经济时代,越来越多的年轻人不再满足于单一职业和身份的束缚,开始选择一种能够拥有多重职业、身份的多元生活。自由职业者、兼职者,或是利用业余才艺优势做喜欢的事情的人,他们都拥有一个共同的名字——Sl ...
10-14 [ life ]
-
-
Mastering the Game of Thrones: Essays on George R.R. Martins A Song of Ice and Fire 电子书下载
George R.R. Martin`s A Song of Ice and Fire series is a worldwide phenomenon, and the world of Westeros has seen multiple adaptat ...
11-01 [ None ]
-
-
-
Functional Programming in C++ - Ivanc Ukic´ 电子书下载
Functional Programming in C++ - Ivanc Ukic´Ivanc Ukic´ ...
02-05 [ computer ]
-
软件测试经验与教训 (Lessons Learned in Software Testing) 电子书下载
Decades of software testing experience condensed into the most important lessons learned.The world`s leading software testing exp ...
06-02 [ None ]
-
Writing and Publishing Scientific Papers: A Primer for the Non-English Speaker 电子书下载
Gábor Lövei`s scientific communication course for students and scientists explores the intricacies involved in publishing primary ...
10-08 [ None ]
-
-
-
Wish You Were Here: An Essential Guide to Your Favorite Music Scenes-from Punk to Indie and Everything in Between 电子书下载
A snarky, fact-filled look at the people and places that made the indie/punk scene what it is today The American underground musi ...
09-26 [ None ]