Pages : | 558 |
Size : | |
File type : | HTML |
Downloads: | 238 |
Created: | 2021-05-15 |
License: | Free |
Author(s): | Piotr Lewandowski |
In this book, the author illustrates all major concepts of Category Theory using computer code. You are probably aware that functional languages are closer to math than the more popular imperative languages. They also offer more abstracting power. So a natural temptation would be to say: You must le...
Certified Programming with Dependent TypesThe 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 ....
Discovering the STM32 MicrocontrollerThis book is intended as a hands-on manual for learning how to design systems using the STM32 F1 family of micro-controllers. It was written to support a junior-level computer science course at Indiana University. ...
AutoCAD 3DDownload a complete pdf tutorial about AutoCD 3D ,a free training document under 264 pages By Kristen S. Kurland...
How To Think Like A Computer Scientist: C VersionThe book is intended as a very first introduction into computer science and programming. As such, its content is well-balanced in comprehensiveness and conciseness. A programming book should not distract with verbose text and this book strikes a good middle ground between the mutually contradicting ...
A Programmer's Guide to Data Mining: The Ancient Art of the NumeratiBefore you is a tool for learning basic data mining techniques. If you are a programmer interested in learning a bit about data mining you might be interested in a beginner's hands-on guide as a first step. That's what this book provides. ...
802.11ac: A Survival GuideDownload free course 802.11ac: A Survival Guide, pdf file on 154 pages by O'Reilly Media....
Algorithms Notes for ProfessionalsDownload free course Algorithms Notes for Professionals, pdf file on 257 pages by by Stack Overflow Community....
Thinking Forth: A Language and Philosophy for Solving ProblemsThinking Forth is a book about the philosophy of problem solving and programming style, applied to the unique programming language Forth. Published first in 1984, it could be among the timeless classics of computer books, such as Fred Brooks' The Mythical Man-Month and Donald Knuth's The Art of Comp...
Software for Exascale Computing - SPPEXA 2016-2019Download free course Software for Exascale Computing - SPPEXA 2016-2019, pdf file on 624 pages by Hans-Joachim Bungartz, Severin Reiz, Benjamin Uekermann, Philipp Neumann, Wolfgang E. Nagel....