- 热门电子书排行
- 标签列表
-
-
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 ]
-
Does God Believe in Human Rights? 电子书下载
Where can religions find sources of legitimacy for human rights? How do, and how should, religious leaders and communities respon ...
10-09 [ None ]
-
The History of al-Ṭabarī, Vol. 24: The Empire in Transition: The Caliphates of Sulayman, ‘Umar, and Yazid A.D. 715-724-A.H. 97-105 电子书下载
In this volume, which covers the caliphates of Sulayman, `Umar II, and Yazid II, al-Tabari provides vivid and detailed accounts o ...
09-26 [ None ]
-
Sencha Touch Cookbook 2nd Edition - Ajit Kumar 电子书下载
Sencha Touch Cookbook 2nd Edition - Ajit KumarAjit Kumar ...
02-05 [ computer ]
-
-
-
Shining the Light IV: Humanitys Greatest Challenge 电子书下载
The fourth installment of the series tells of the incredible vehicle traveling with the Hale-Bopp Comet—four times the size of Ea ...
10-08 [ None ]
-
-
-
ActionScript 3.0 Design Patterns - William B. Sanders and Chandima Cumaranatunge 电子书下载
ActionScript 3.0 Design Patterns - William B. Sanders and Chandima CumaranatungeWilliam B. Sanders and Chandima Cumaranatunge ...
02-05 [ computer ]
-
-
iOS 7 Programming - Rob Napier and Mugunth Kumar 电子书下载
iOS 7 Programming - Rob Napier and Mugunth KumarRob Napier and Mugunth Kumar ...
02-05 [ computer ]
-
Fundamentals of Deep Learning 2nd Edition - Nithin Buduma, Nikhil Buduma, and Joe Papa with contributions by Nicholas Locascio 电子书下载
Fundamentals of Deep Learning 2nd Edition - Nithin Buduma, Nikhil Buduma, and Joe Papa with contributions by Nicholas LocascioNithin Buduma, Nikhil Bu ...
02-05 [ computer ]
-
Object-Oriented JavaScript 2nd Edition - Stoyan Stefanov and Kumar Chetan Sharma 电子书下载
Object-Oriented JavaScript 2nd Edition - Stoyan Stefanov and Kumar Chetan SharmaStoyan Stefanov and Kumar Chetan Sharma ...
02-05 [ computer ]
-
Mastering Kali Linux for Advanced Penetration Testing 2nd Edition - Vijay Kumar Velu 电子书下载
Mastering Kali Linux for Advanced Penetration Testing 2nd Edition - Vijay Kumar VeluVijay Kumar Velu ...
02-05 [ computer ]
-
Secure Java: For Web Application Development - Abhay Bhargav and B.V. Kumar 电子书下载
Secure Java: For Web Application Development - Abhay Bhargav and B.V. KumarAbhay Bhargav and B.V. Kumar ...
02-05 [ computer ]
-
-