-
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 ]
-
Smith VHDL & Verilog Compared & Contrasted - Plus Modeled Example Written in VHDL, Verilog and C 电子书下载
Статья, 6 страниц, 1996 год, США, на английском, сравнение VHDL и Verilog с примерами.Introduction.Background.VHDL/Verilog compar ...
05-18 [ None ]
-
CCNA ICND Exam Certification Guide (CCNA Self-Study) 电子书下载
CCNA ICND Exam Certification Guide is a best-of-breed Cisco(r) exam study guide that has been completely updated to focus specifi ...
08-26 [ None ]
-
Smart Students Guide to Ideas for IELTS Writing Task 2: Learn to think from the perspective of the IELTS Examiner and gain a higher band score 电子书下载
There is a common misconception among candidates that the examiner is looking for the finest possible ideas in order to solve the ...
06-27 [ None ]
-
OpenCV with Python By Example: Build real-world computer vision applications and develop cool demos using OpenCV for Python 电子书下载
Computer vision is found everywhere in modern technology. OpenCV for Python enables us to run computer vision algorithms in real ...
07-05 [ None ]
-
Wiley Cpaexcel Exam Review 2018 Study Guide: Financial Accounting And Reporting (wiley Cpa Exam Review Financial Accounting And Reporting) 电子书下载
The Wiley CPAexcel Study Guide: Financial Accounting and Reporting provides detailed study text to help you identify, focus on, a ...
05-21 [ None ]
-
-
-
-
CISCO Official Exam Certification Guide CCNA Voice - Jeremy Cioara, Michael J. Cavanaugh and Kris A. Krake 电子书下载
CISCO Official Exam Certification Guide CCNA Voice - Jeremy Cioara, Michael J. Cavanaugh and Kris A. KrakeJeremy Cioara, Michael J. Cavanaugh and Kris ...
02-05 [ computer ]
-
FRM Part II Schweser practice exams 2013 电子书下载
Kaplan Inc2013 yearISBN: 978-1-4277-4495-180 pagesThe book contains two practice exams designed for preparation for the 2013 GARP ...
09-28 [ None ]
-
OpenCV By Example: Enhance Your Understanding of Computer Vision and Image Processing by Developing Real-World Projects in OpenCV 3 电子书下载
Open CV is a cross-platform, free-for-use library that is primarily used for real-time Computer Vision and image processing. It i ...
07-05 [ None ]
-
AS and A Level OCR Computer Science H446 H046 A-Level Course textbook by PG Online KS5 Computing Exam Pass Complete Officially Endorsed Guide OCR Oxford and Cambridge Examination Board A Level 电子书下载
Subject level: AS and A Level Computer Science Exam board: OCR Concise, clear layout for every part of the OCR Computer Science H ...
05-24 [ None ]
-
-
Exam 70-461: Querying Microsoft SQL Server 2012 Training Kit - Itzik Ben-Gan, Dejan Sarka and Ron Talmage 电子书下载
Exam 70-461: Querying Microsoft SQL Server 2012 Training Kit - Itzik Ben-Gan, Dejan Sarka and Ron TalmageItzik Ben-Gan, Dejan Sarka and Ron Talmage ...
02-05 [ computer ]
-
Graph Algorithms: Practical Examples in Apache Spark and Neo4j - Mark Needham and Amy E. Hodler 电子书下载
Graph Algorithms: Practical Examples in Apache Spark and Neo4j - Mark Needham and Amy E. HodlerMark Needham and Amy E. Hodler ...
02-05 [ computer ]
-
-
CCNA Cisco Certified Network Associate Study Guide (Exam 640-802) 电子书下载
Amazon.comSome child psychologists will tell you that you should never talk down to your children. Rather than spoonfeeding `em b ...
08-26 [ None ]