Pages : | 94 |
Size : | 2.5 MB |
File type : | |
Downloads: | 54 |
Created: | 2022-02-03 |
License: | For personal or educational use |
Author(s): | Ed Freitas |
The technology of mechanized program verification can play a supporting role in many kinds..., download free Certified Programming tutorial in PDF (368 pages) created by Adam Chlipala ....
Mathematics for Computer ScienceThis book covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as applicable methods. It explores the topics of basic combinatorics, number and graph theory, logic and proof techniques, and many more....
Computational Thinking EducationDownload free course Computational Thinking Education, pdf file on 377 pages by Siu-Cheung Kong, Harold Abelson....
Digital DilemmasDownload free course Digital Dilemmas, pdf file on 93 pages by Øyvind Kvalnes....
The Deno HandbookDeno is a runtime for JavaScript and TypeScript that is based on the V8 JavaScript engine ..., download free Deno tutorial in PDF (46 pages) created by ....
Bayesian Methods for Hackers: Probabilistic Programming and Bayesian Inference Using Python and PyMCMaster Bayesian Inference through Practical Examples and Computation - Without Advanced Mathematical Analysis....
Xamarin.Forms for macOS SuccinctlyDownload free course Xamarin.Forms for macOS Succinctly, pdf file on 122 pages by Alessandro Del Sole....
Code: The Hidden Language of Computer Hardware and SoftwareWhat do flashlights, the British invasion, black cats, and seesaws have to do with computers? In CODE, they show us the ingenious ways we manipulate language and invent new means of communicating with each other. And through CODE, we see how this ingenuity and our very human compulsion to communic...
AutoCAD 3DDownload a complete pdf tutorial about AutoCD 3D ,a free training document under 264 pages By Kristen S. Kurland...
Learning GoDownload free course Learning Go, pdf file on 109 pages by Miek Gieben....