-
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 ]
-
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 ]
-
FPGA Prototyping By Verilog Examples: Xilinx Spartan-3 Version 电子书下载
FPGA Prototyping Using Verilog Examples will provide you with a hands-on introduction to Verilog synthesis and FPGA programming t ...
05-18 [ None ]
-
C Programming for Arduino: Learn how to program and use Arduino boards with a series of engaging examples, illustrating each core concept 电子书下载
Physical computing allows us to build interactive physical systems by using software & hardware in order to sense and respond to ...
07-05 [ None ]
-
Deep Learning Examples with PyTorch and fastai: A Developers Cookbook 电子书下载
This book will guide you through a journey on Deep Learning using the most recent version of the library fast.ai (Version 2). If ...
07-17 [ None ]
-
The Art of Writing Efficient Programs: An advanced programmers guide to efficient hardware utilization and compiler optimizations using C++ examples 电子书下载
The great free lunch of "performance taking care of itself" is over. Until recently, programs got faster by themselves as CPUs we ...
07-03 [ None ]
-
Systems Approaches and Their Application: Examples from Sweden 电子书下载
The book is intended for a broad readership and can be appreciated by experts on systems thinking and analysis as well as by stud ...
05-25 [ None ]