Error-Correction Coding and Decoding: Bounds, Codes, Decoders, Analysis and Applications
This book discusses both the theory and practical applications of self-correcting data, commonly known as error-correcting codes. The applications included demonstrate the importance of these codes in a wide range of everyday technologies, from smartphones to secure communications and transactions.
Calculus I/II With WXMAXIMA
‘wxMaxima for Calculus I’ and ‘wxMaxima for Calculus II’ introduce the free open-source computer algebra system wxMaxima in the context of single variable calculus. Each book can serve as a lab manual for a one-unit semester calculus lab, a source of supplemental CAS exercises or a tutorial reference for students and instructors who prefer learn computer algebra by example.
xv6: A Simple, Unix-like Teaching Operating System
It explains the main concepts of operating systems by studying an example kernel, named xv6. xv6 is a re-implementation of Dennis Ritchie’s and Ken Thompson’s Unix Version 6 (v6).
Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp
This book is concerned with three related topics: the field of artificial intelligence, or AI; the skill of computer programming; and the programming language Common Lisp.
Convex Optimization
This book is about convex optimization, a special class of mathematical optimization problems, which includes least-squares and linear programming problems.
Introduction to Proofs, an Inquiry-Based Approach: A Free text for a course on proofs
Introduction to Proofs is an undergraduate text. It is Inquiry-Based, sometimes called the Discovery Method or the Moore Method.