-
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 ]
-
-
ArcGIS By Example: Develop three engaging ArcGIS applications to address your real-world mapping scenarios 电子书下载
ArcGIS is a geographic information system (GIS) for working with maps and geographic information. It is considered the turnkey so ...
03-30 [ None ]
-
-
-
-
-
Flora of Great Britain and Ireland: Volume 4, Campanulaceae - Asteraceae (Flora of Great Britain and Ireland) 电子书下载
Planned in five volumes, this critical Flora provides a definitive account of the native species, naturalised species, frequent g ...
09-22 [ None ]
-
-
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 ]
-
Programming Hive - Edward Capriolo, Dean Wampler, and Jason Rutherglen 电子书下载
Programming Hive - Edward Capriolo, Dean Wampler, and Jason RutherglenEdward Capriolo, Dean Wampler, and Jason Rutherglen ...
02-05 [ computer ]
-
Zend Framework 2.0 by Example Beginner`s Guide - Krishna Shasankar V 电子书下载
Zend Framework 2.0 by Example Beginner`s Guide - Krishna Shasankar VKrishna Shasankar V ...
02-05 [ computer ]
-
Structured Electronic Design Negative-Feedback Amplifiers 电子书下载
Analog design is one of the more difficult aspects of electrical engineering. The main reason is the apparently vague decisions a ...
08-29 [ None ]
-
Learn NodeJS in 1 Day: Complete Node JS Guide with Examples 电子书下载
Node.js supports both client and server side applications. It is based on JavaScript and is very fast in operation. These distinc ...
08-16 [ None ]
-
HTML5 Web Application Development By Example Beginner`s guide - J.M. Gustafson 电子书下载
HTML5 Web Application Development By Example Beginner`s guide - J.M. GustafsonJ.M. Gustafson ...
02-05 [ computer ]
-
-
Building a Data Warehouse: With Examples in SQL Server - Vincent Rainardi 电子书下载
Building a Data Warehouse: With Examples in SQL Server - Vincent RainardiVincent Rainardi ...
02-05 [ computer ]
-