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

Quarkus in Action

In Action

Vibe Coding

Building Production-Grade Software With GenAI, Chat, Agents, and Beyond

Microservices Design Patterns in .NET

Making sense of microservices design and architecture using .NET 10 and C# 14

The Complete Guide to Commercial Account Analysis AND Billing

Subtle Engineering

How Modern SaaS Teams Ship Fast, Stay Sane, and Skip the Process Theatre

Learn Docker in a Month of Lunches, Second Edition

Go by Example

Programmer's guide to idiomatic and testable code

Picks and Shovels

Marketing to Developers During the AI Gold Rush

The Debugging Handbook

Building Programming Language Interpreters

A practical journey from idea to implementation in C++

WPF /WCF Development

Software Development

Agile Quick-N Dirty

Writing Complex Software with AI

AI Engineering Series, #1

The Clean Architecture Handbook

Building Scalable and Maintainable Software

The Next-Gen Innovation Framework

A Leader's Guide to Empowering Grassroots Innovation with Generative AI

Alice and Bob Learn Secure Coding

The Seymour Cray Era of Supercomputers

From Fast Machines to Fast Codes

Apache Kafka Certification Exam Prep Kit

CodeCraft

A Beginner's Guide to Flutter