-
-
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 ]
-
-
Swift Apprentice 6th Edition - Ehab Amer, Alexis Gallagher, Matt Galloway, Eli Ganim, Ben Morrow & Cosmin Pupăză 电子书下载
Swift Apprentice 6th Edition - Ehab Amer, Alexis Gallagher, Matt Galloway, Eli Ganim, Ben Morrow & Cosmin PupăzăEhab Amer, Alexis Gallagher, Matt Gal ...
02-05 [ computer ]
-
-
The Pragmatic Programmer - Andrew Hunt and David Thomas 电子书下载
The Pragmatic Programmer - Andrew Hunt and David ThomasAndrew Hunt and David Thomas ...
02-05 [ computer ]
-
-
Adaptive Filtering Primer with MATLAB 电子书下载
Adaptive Filtering Primer with MATLABR clearly explains the fundamentals of adaptive filtering supported by practical examples an ...
09-13 [ None ]
-
-
-
Microsoft ACCESS 2021 PROGRAMMING Pocket Primer 电子书下载
As part of the successful Pocket Primer series, this book was designed for someone like you who needs to master Access programmin ...
09-01 [ None ]
-
High-Energy, Nutrient-Dense Emergency Relief Food Product 电子书下载
Report from the Subcommittee on Technical Specifications for a High-Energy Emergency Relief Ration, and Committee on Military Nut ...
08-02 [ None ]
-
Cultures of Violence : Racial Violence and the Origins of Segregation in South Africa and the American South 电子书下载
This book deals with the inherent violence of race relations in two important countries that remain iconic expressions of white s ...
08-12 [ None ]
-
TCP-IP primer plus 电子书下载
TCP/IP Primer Plus offers its readers an in-depth examination of one of the core networking technologies in a widely accepted for ...
05-25 [ None ]
-
Cardiology Procedures-A Clinical Primer (May 12, 2022)(3030952584)(Springer).pdf 电子书下载
This extensively revised edition is a single compact reference that describes a wide variety of diagnostic and therapeutic proced ...
06-16 [ None ]
-
Mi primer amor 电子书下载
Haré cualquier cosa por una segunda oportunidad con mi primer amor. Cuando Melissa entra a mi consulta, el pasado regresa a mí. E ...
10-20 [ None ]
-
-
C++ Primer Plus 第5版 中文版 电子书下载
《C++Primer Plus 第5版 中文版》分17章和10个附录,分别介绍了C++程序的运行方式、基本数据类型、复合数据类型、循环和关系表达式、分支语 句和逻辑操作符、函数重载和函数模板、内存模型和名称空间、类的设计和使用、多态、虚函数、动态内存分配、继 ...
02-22 [ None ]