- 热门电子书排行
- 标签列表
-
-
-
-
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 ]
-
Smashing WordPress Themes - Thord Daniel Hedengren 电子书下载
Smashing WordPress Themes - Thord Daniel HedengrenThord Daniel Hedengren ...
02-05 [ computer ]
-
-
-
100 Thematic Word Search Puzzles Junior 电子书下载
100 Thematic Word Search Puzzles Junior is a reproducible book of, as the title suggests, 100 word search puzzles. Word search p ...
06-10 [ None ]
-
-
-
Verilog and SystemVerilog Gotchas: 101 Common Coding Errors and How to Avoid Them 电子书下载
Verilog may appear to be "simple" for beginner because it is a loosely-typed language and its syntax is somewhat to that of C. I ...
05-18 [ None ]
-
Mathletics : how gamblers, managers, and sports enthusiasts use mathematics in baseball, basketball, and football 电子书下载
Mathletics is a remarkably entertaining book that shows readers how to use simple mathematics to analyze a range of statistical a ...
08-29 [ None ]
-
The Latex companion, chapter 8 only (Higher mathematics) 电子书下载
This is an updated version of chapter 8 of the LaTeXCompanion reflecting changes in the AmS-LaTeXdistribution that made parts of ...
05-24 [ None ]
-
《365天英语口语大全（全套6册）》Max / （美）Ariel / Themar / （美）Christina / 等编录 / Sommer 电子书下载
内容简介：《365天英语口语大全》是昂秀英语编辑部耗时3年零7个月，诚邀19位中外籍资深英语教师参与撰写、编辑、审校等工作才制作而成的，其目的就是为了给广大英语学习者打造一套“真正实用的口语大全”：全套共86大类生活学习工作场景，涵盖365个口语话题。 ...
10-14 [ education ]
-
Pro WordPress Theme Development - Adam Onishi 电子书下载
Pro WordPress Theme Development - Adam OnishiAdam Onishi ...
02-05 [ computer ]
-
Mathematical Optimization in Computer Graphics and Vision - Paulo Cezar Pinto Carvalho, Luiz Henrique De Figueiredo, Jonas Gomes and Luiz Velho 电子书下载
Mathematical Optimization in Computer Graphics and Vision - Paulo Cezar Pinto Carvalho, Luiz Henrique De Figueiredo, Jonas Gomes and Luiz VelhoPaulo C ...
02-05 [ computer ]
-
Learning SciPy for Numerical and Scientific Computing, 2nd Edition: Quick solutions to complex numerical problems in physics, applied mathematics, and science with SciPy 电子书下载
SciPy is an open source Python library used to perform scientific computing. The SciPy (Scientific Python) package extends the fu ...
06-15 [ None ]
-
Mathletics: How Gamblers, Managers, and Sports Enthusiasts Use Mathematics in Baseball, Basketball, and Football 电子书下载
Mathletics is a remarkably entertaining book that shows readers how to use simple mathematics to analyze a range of statistical a ...
08-29 [ None ]
-