Programming Books

This text is used in a mathematical software course at VMI that provides an introduction to Matlab and Mathcad. However, Troy Siemers also intends it to be a course book instead of an all inclusive resource. He encourages his students to take full advantage of the built-in help capabilities of these software packages, additional texts (he keeps a f

This textbook provides a comprehensive introduction to computer graphics for a one-semester undergraduate course. It is designed for computer science students with substantial programming experience in languages like Java, C, or JavaScript, which are used in the examples. The book's approach uses a simplified subset of OpenGL to introduce fundament

This book is an introduction to the use of Python Jupyter Notebooks (JNBs) for college math teachers and their students. Each chapter contains a JNB lab with solutions. Experienced teachers can modify these labs and create new labs tailored to their courses. The chapters were written by different authors/authorship teams, and as such, vary in style

What do Docker, Kubernetes, and Prometheus have in common? All of these cloud native technologies are written in the Go programming language. This practical book shows you how to use Go's strengths to develop cloud native services that are scalable and resilient, even in an unpredictable environment. You'll explore the composition and construction

This is a book on the functional paradigm in general. Brian Lonsdorf will use the world's most popular functional programming language: JavaScript. He acknowledges that some may feel this is a poor choice as it's against the grain of the current culture which, at the moment, feels predominately imperative. However, Lonsdorf believes it is the best

The Kotlin Notes for Professionals book is compiled from Stack Overflow Documentation, the content is written by the beautiful people at Stack Overflow.

The TypeScript Notes for Professionals book is compiled from Stack Overflow Documentation, the content is written by the beautiful people at Stack Overflow.

A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineerin

Scripting and automation tasks often need to extract particular portions of text from input data or modify them from one format to another. This book will help you learn Regular Expressions as implemented in JavaScript. Regular expressions can be considered as a mini-programming language in itself and is well suited for a variety of text processing

The primary intended audience of this open book is professional C++ developers who want to understand bare metal development a little bit better, get to know how to use their favourite programming language in an embedded environment, and probably bring their C++ skills to an "expert" level. The author asks "Why professional?" and explains that it i