-
-
-
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 ]
-
Struts 2 in Action - Donald Brown, Chad Michael Davis and Scott Stanlick 电子书下载
Struts 2 in Action - Donald Brown, Chad Michael Davis and Scott StanlickDonald Brown, Chad Michael Davis and Scott Stanlick ...
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 ]
-
Selectors, Specificity, and the Cascade - Eric A. Meyer 电子书下载
Selectors, Specificity, and the Cascade - Eric A. MeyerEric A. Meyer ...
02-05 [ computer ]
-
-
-
Real World OCaml - Yaron Minsky, Anil Madhavapeddy and Jason Hickey 电子书下载
Real World OCaml - Yaron Minsky, Anil Madhavapeddy and Jason HickeyYaron Minsky, Anil Madhavapeddy and Jason Hickey ...
02-05 [ computer ]
-
-
The Crusades (Pocket Essential series) 电子书下载
Pocket Essentials is a dynamic series of books that are concise, lively, and easy to read. Packed with facts as well as expert op ...
07-01 [ None ]
-
-
-
-
-
Computer Networks. Subject Expert, SIES Graduate School of Technology 电子书下载
Introduction to computer network, network application, network software and hardware components (Interconnection networking devic ...
09-06 [ None ]
-
The Encyclopaedic Cross-Reference Dictionary of the Quran: Arabic-Arabic-English المقدمة فقط: A First Quranic Dictionary Mixing the Traditional Arabic ... and the Non-Arabic Alphabetical Order 电子书下载
This Arabic - Arabic - English Dictionary of the Quran is the first of its kind ever, since no dictionary on Earth has adopted mi ...
06-11 [ None ]
-
Advanced Pulverized Coal Injection Technology and Blast Furnace Operation 电子书下载
In order to reduce the cost of running blast furnaces (BFs), injected pulverized coal is used rather than coke to fire BFs. As a ...
06-10 [ None ]