Computer Aided Verification

Bill Gates

The Path to the Future

Stop Whining--and Start Winning

Recharging People, Re-Igniting Passion, and PUMPING UP Profits

How to Buy, Sell, and Profit onay

Kick-Start Your Home-Based Business in Just Thirty Days

The End of Leadership

The Hard Thing About Hard Things

Building a Business When There Are No Easy Answers

20 Strategies for Creative Problem Solving

Incl. Bonus - Visualize & Realize Ideas, Smart Creativity Techniques, Create Concepts, Be a Change Maker, Shape Innovation in Upheaval successfully

Agile Project Management

Incl. Bonus - Leadership for Professionals, Funding for Agile Companies & Methods, Developing Strategies, Making the right Decisions, Creating Concepts, Solving Problems

Plan & Implement Projects with Success

Incl. Bonus - Project Management & Process Development, Lead Creative Projects to Success, Develop Strategies, Create Concepts & Learn to Solve Problems

Complete Playbook to Build a Multi-Vendor Marketplace Platform - Frontend with React & Next.js (Book 1)

Building a Multi-Vendor Marketplace similar to Amazon, eBay, Walmart, Flipkart, Noon, etc - Comprehensive Implementation Guide

MASTERING INTELLIGENT AI SYSTEMS

A Complete Guide to RAG, Agents, and Production AI Engineering

I Don't Remember Building It

The Intelligence Shift, #7

Coding Guarantees In C

The Coder Cafe

66 timeless concepts for software engineers

Develop!

How curiosity, grit, and joy are foundational to building great products and great leaders

Clean Code in Rust

Write idiomatic, maintainable, and scalable Rust code with practical clean code principles

The Missing Cipher

The Field Guide for Senior Software Engineers

The Book of Debugging

A Systematic Workflow for Finding and Fixing Bugs

Generative AI Architecture with LLMs, RAG, and Vector DB

Build GenAI apps with prompt engineering, RAG, Vector DBs, Azure OpenAI, and semantic search

Claude Code Beyond the Prompt

Build Reusable Claude Skills, Agentic Workflows, and AI Agents

Run Toward the Fire

How a Code Warrior Builds Teams, Trust, and Courage When Everything Is Burning

The 5-Week Machine Learning Engineering Challenge

A hands-on 5-week path to building and deploying ML Models with AWS and Python

OpenAI Codex for Software Engineering

Build production software with agentic workflows, tests, guardrails, and human review

Modern Safety-Critical Software Engineering

A Practical Guide to Designing, Verifying, and Assuring Safety-Critical Software Systems

Build Intelligent Apps with RAG and AI Agents

Turn a real problem into a validated, deployed product that improves through real-world use