-
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 ]
-
-
Membrane Engineering for the Treatment of Gases, Volume 2 - Gas-separation Issues Combined with Membrane Reactors - Edition 2 电子书下载
Elaborating on recent and future developments in the field of membrane engineering, Volume 2 is devoted to the main advances in g ...
03-26 [ None ]
-
In Silico: 3D Animation and Simulation of Cell Biology with Maya and MEL - Jason Sharpe, Charles John Lumsden and Nicholas Woolridge 电子书下载
In Silico: 3D Animation and Simulation of Cell Biology with Maya and MEL - Jason Sharpe, Charles John Lumsden and Nicholas WoolridgeJason Sharpe, Char ...
02-05 [ computer ]
-
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 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 ]
-
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 ]
-
-
TCP-IP Illustrated Volume 3 – TCP for Transactions, HTTP, NNTP, and the Unix Domain Protocols 电子书下载
TCP/IP Illustrated, an ongoing series covering the many facets of TCP/IP, brings a highly-effective visual approach to learning ...
09-16 [ None ]
-
Byzantium Viewed by the Arabs 电子书下载
This book studies the Arabic-Islamic view of Byzantium, tracing the Byzantine image as it evolved through centuries of warfare, c ...
09-19 [ None ]
-
-
-
Kebelet Kaya (Kumpulan Jurus Inspiratif dari Pengusaha Kelas Kecil Hingga Kelas Dunia) 电子书下载
Buku menguraikan secara menyeluruh dengan bahasa serius, tapi santai beragam pola atau cara untuk membidik sebuah peluang, selanj ...
05-31 [ None ]
-
-
The Handbook of Computer Networks, Key Concepts, Data Transmission, and Digital and Optical Networks (Volume 1) 电子书下载
A complete and in-depth introduction to computer networks and networking In this first volume of The Handbook of Computer Network ...
09-06 [ None ]
-