1984 (Nineteen Eighty-Four)
1984 (Nineteen Eighty-Four) is a novel written by the English author George Orwell. The book falls into the dystopian social science fiction genre. Dystopian means relating to an imagined world that is undesirable or frightening. And social science fiction explores human society and behavior. The novel was published in 1949. It popularized [...]
Ada for the C++ or Java Developer
This guide introduces the Ada programming language for experienced C++ or Java developers. It covers all core Ada concepts through numerous side-by-side code examples that map constructs between the languages. The document helps readers rapidly develop a working knowledge of Ada by leveraging their existing skills in C++ or Java. It covers [...]
Ada for the Embedded C Developer
This book introduces Ada for embedded C developers, comparing it to C syntax while providing guidance on real-time, multithreading features and verifying concurrent programs with SPARK and static analysis tools for safety-critical systems programming.
Around the World in Eighty Days
The French author Jules Verne wrote the novel Around the World in 80 Days. First, it was published in parts by Le Temps newspaper from November 7 to December 22, 1872. Then, on January 30, 1873, it was released as a complete adventure novel. It is considered one of Verne’s most acclaimed [...]
Best Short Stories
Edgar Allan Poe is one of the most celebrated and influential writers of the 19th century. His short stories are famous for their dark and macabre themes and suspenseful plots. Also, countless films and television shows used Poe’s stories as inspiration. Many people around the world continue to read and enjoy the [...]
Database Design
This open textbook presents a complete guide to database design principles and practice. It aims to equip students and professionals with skills to develop robust, maintainable database systems using the relational model. The textbook covers fundamental concepts and advances to modeling, normalization, transactions and administration. Practical exercises reinforce learning. Recommended for: Beginner [...]
Introduction to Ada
This comprehensive beginner’s guide introduces the Ada programming language. It provides an overview of Ada’s history and design philosophy emphasizing safety, reliability and maintainability. The tutorial explains core syntax and programming constructs through numerous code examples. It also covers advanced features like packages, generics, exceptions and concurrency. Later sections address technically demanding [...]
Introduction to Ada: Laboratories
This workbook complements the Introduction to Ada online textbook by providing over 150 hands-on exercises. Spanning 18 chapters, it offers a learn-by-doing approach to help readers develop practical skills in Ada programming. The exercises directly apply concepts from the Introduction to Ada tutorial, reinforcing learned topics through realistic problems. Early labs focus [...]
Introduction to the GNAT Toolchain
“Introduction to the GNAT Toolchain” is a comprehensive tutorial aimed at beginners who want to set up an Ada development environment using the GNU Ada (GNAT) toolchain. The book provides step-by-step guidance on installing and configuring the necessary build tools for compiling and managing Ada projects from the command line. It focuses [...]
Open Softwear
Fashionable prototyping and wearable computing using the Arduino
This free, open-source book teaches the fundamentals of integrating microcontrollers, electronics and coding into fashion and textile designs using the popular Arduino platform. It covers all aspects of getting started with wearable technology projects, from choosing hardware components to uploading finished programs. Examples explore utilizing digital and analog pins, programming inputs and [...]
Spark Ada for the MISRA C Developer
This technical resource compares the SPARK subset of the Ada programming language and its verification tools to the MISRA C coding standard. It outlines issues in C like weak typing and undefined behaviors that make analysis difficult. The document shows how SPARK/Ada addresses these through language features and principles, enforcing properties like [...]
The Man Who Knew Too Much
"The Man Who Knew Too Much: And Other Stories (1922) is a book of detective stories by English writer G. K. Chesterton, featuring the protagonist Horne Fisher, "The Man Who Knew Too Much".