Pages : | 36 |
Size : | 2.6 MB |
File type : | |
Downloads: | 61 |
Created: | 2022-02-02 |
License: | CC BY |
Author(s): | J. Paul Reed |
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 ....
Embedded Firmware SolutionsDownload free course Embedded Firmware Solutions, pdf file on 215 pages by Jiming Sun, Marc Jones, Stefan Reinauer, Vincent Zimmer....
Elixir SuccinctlyDownload free course Elixir Succinctly, pdf file on 84 pages by Emanuele DelBono....
GNU SEDThe book heavily leans on examples to present features of sed as well as regular expressio..., download free GNU SED tutorial in PDF (100 pages) created by ....
Learning SASDownload free course Learning SAS, pdf file on 33 pages by Stack Overflow Community....
Essential Coding TheoryError-correcting codes (henceforth, just codes) are clever ways of representing data so that one can recover the original information even if parts of it are corrupted. The basic idea is to judiciously introduce redundancy so that the original information can be recovered even when parts of the (r...
A Friendly Introduction to Mathematical LogicAt the intersection of mathematics, computer science, and philosophy, mathematical logic examines the power and limitations of formal mathematical thinking. In this expansion of Leary's user-friendly 1st edition, readers with no previous study in the field are introduced to the basics of model theor...
A Problem Course in Mathematical LogicA Problem Course in Mathematical Logic is intended to serve as the text for an introduction to mathematical logic for undergraduates with some mathematical sophistication. It supplies definitions, statements of results, and problems, along with some explanations, examples, and hints. The idea is for...
Electron SuccinctlyDownload free course Electron Succinctly, pdf file on 131 pages by Ed Freitas....
Building Cloud Apps with Microsoft AzureDownload free course Building Cloud Apps with Microsoft Azure, pdf file on 201 pages by by Scott Guthrie, Mark Simms, Tom Dykstra, Rick Anderson, Mike Wasson....