Programming Books

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

Many organizations today have begun to modernize their Windows workloads to take full advantage of cloud economics. If you're a C# developer at one of these companies, you need options for rehosting, replatforming, and refactoring your existing .NET Framework applications. This practical book guides you through the process of converting your monoli

Blueprints is a concise yet comprehensive coverage of Object-Oriented Analysis and Design concepts, suitable for a second programming course in Computer Science. It introduces and teaches application development in a command-line environment, and assumes basic expertise with the Java programming language.

The C programming language was invented in the early 1970s, and since then has become one of the most popular and widely used general-purpose languages. It's used by a wide range of programmers, from amateurs working on simple projects at home, to industry professionals who write in C for a living. It's been used to program everything from the tiny

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, a mini-programming language for all sorts of text processing needs. The book heavily leans on examples to present features of regular expressions one by one. I