-
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 ]
-
-
Migrating to Android for iOS Developers - Sean Liao 电子书下载
Migrating to Android for iOS Developers - Sean LiaoSean Liao ...
02-05 [ computer ]
-
-
OpenGL Programming Guide: The Official Guide to Learning OpenGL, Versions 3.0 and 3.1 (R) 电子书下载
This seventh edition of the bestselling "red book" describes the latest features of OpenGL Versions 3.0 and 3.1. Users will find ...
06-04 [ None ]
-
SciPy and NumPy: An Overview for Developers 电子书下载
Want to learn SciPy and NymPy quickly? Cut through the complexity of online documentation with this concise and illustrated book, ...
06-15 [ 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 ]
-
Oracle and Java Development - Bulusu Lakshman 电子书下载
Oracle and Java Development - Bulusu LakshmanBulusu Lakshman ...
02-05 [ computer ]
-
《VMware网络技术:原理与实践》[美]Christopher Wahl / [美]Steven Pantol 云计算与虚拟化技术丛书文字版 电子书下载
Chris Wahl 芝加哥Ahead咨询公司高级技术架构师,在企业基础架构设计、实施和管理方面有10余年经验。他曾在层次化数据中心环境与高效技术团队合作,在各种虚拟化、数据中心和私有云项目中给予架构和工程方面的专业指导。他拥有30多个行业认证,包括稀有的VMware认证设计专家(VCDX#$104 ...
09-16 [ computer ]
-
-
-
Cocos2d for iPhone 1 Game Development Cookbook - Nathan Burba 电子书下载
Cocos2d for iPhone 1 Game Development Cookbook - Nathan BurbaNathan Burba ...
02-05 [ computer ]
-
-
-
Modern Front-End Development for Rails - Noel Rappin 电子书下载
Modern Front-End Development for Rails - Noel RappinNoel Rappin ...
02-05 [ computer ]
-
Creating the Successful European Retail Bank (Financial Times Executive Briefings) 电子书下载
Today, retail financial service providers have far more than their traditional competitors to worry about. Competition for the co ...
07-25 [ None ]