-
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 ]
-
-
Data Management at Scale - Piethein Strengholt 电子书下载
Data Management at Scale - Piethein StrengholtPiethein Strengholt ...
02-05 [ computer ]
-
Dependency Injection Principles, Practices, and Patterns - Steven Van Deursen and Mark Seemann 电子书下载
Dependency Injection Principles, Practices, and Patterns - Steven Van Deursen and Mark SeemannSteven Van Deursen and Mark Seemann ...
02-05 [ computer ]
-
The Google Resume - Gayle Laakmann McDowell 电子书下载
The Google Resume - Gayle Laakmann McDowellGayle Laakmann McDowell ...
02-05 [ computer ]
-
Deep Belief Nets in C++ and CUDA C: Volume 1 Restricted Boltzmann Machines and Supervised Feedforward Networks 电子书下载
Discover the essential building blocks of the most common forms of deep belief networks. At each step this book provides intuitiv ...
10-26 [ None ]
-
Past, Present, Future: A Georgian Historical Romance Holiday Novella (The Daring Dersinghams) 电子书下载
Past, Present, Future (The Daring Dersinghams, Novella) ...
09-01 [ None ]
-
A Manual of English Phonetics and Phonology: Twelve Lessons with an Integrated Course in Phonetic Transcription 电子书下载
This is a fully integrated course book aimed at university students of English in the German-speaking region. It presents a stage ...
08-22 [ 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 ]
-
Oracle and Java Development - Bulusu Lakshman 电子书下载
Oracle and Java Development - Bulusu LakshmanBulusu Lakshman ...
02-05 [ computer ]
-
High Performance JavaScript - Nicholas C. Zakas 电子书下载
High Performance JavaScript - Nicholas C. ZakasNicholas C. Zakas ...
02-05 [ computer ]
-
-
M4 Sherman 电子书下载
M4 Sherman КНИГИ ;ВОЕННАЯ ИСТОРИЯ Издательство: Squadron/Signal publicationsСерия: Armor Walk Around 5701Автор(ы): Jim MeskoЯзы ...
08-22 [ None ]
-
Cloud native programming with Golang develop microservice-based high performance web apps for the cloud with Go 电子书下载
Discover practical techniques to build cloud-native apps that are scalable, reliable, and always available. About This Book Build ...
06-30 [ None ]
-
x64 Assembly Language Step- by- Step 4th Edition - Jeff Duntemann 电子书下载
x64 Assembly Language Step- by- Step 4th Edition - Jeff DuntemannJeff Duntemann ...
02-05 [ computer ]
-
Black Hat Go - Tom Steele, Chris Patten and Dan Kottmann 电子书下载
Black Hat Go - Tom Steele, Chris Patten and Dan KottmannTom Steele, Chris Patten and Dan Kottmann ...
02-05 [ computer ]
-
MATLAB 编程 (第二版) - Stephen J. Chapman 著 邢树军 郑碧波 译 电子书下载
MATLAB 编程 (第二版) - Stephen J. Chapman 著 邢树军 郑碧波 译Stephen J. Chapman 著 邢树军 郑碧波 译 ...
02-05 [ computer ]
-
El romanticismo 电子书下载
El romanticismo nace en Alemania e Inglaterra y se extiende por toda Europa a principios del siglo XIX. En Francia, el movimiento ...
05-20 [ None ]