Books

Imagine writing production-grade code with fewer errors, sprint reviews that highlight real insights instead of guesses, and teams that spend less time debugging and more time innovating. This isn’t science fiction, it’s the future of software engineering. AI-Augmented Software Engineering unlocks the practical power of AI tools while grounding you in ethical best practices. Discover how to automate the mundane, amplify your creativity, and shape intelligent systems that serve users all without sacrificing trust, quality, or integrity.Welcome to the next wave of engineering designed with intelligence, driven by values.

AI coding gets interesting when you stop asking for snippets and start building systems that compound. This book teaches you how to use Claude Code to design prompts, verification layers, context pipelines, and autonomous loops that pick up tasks, write code, run tests, and keep shipping, with runnable TypeScript examples throughout.

"Exploitology: Web Apps Exploits" explores web app security, focusing on vulnerabilities, exploitation techniques, and defense strategies. With practical examples and real-world scenarios, this book helps readers sharpen their penetration testing skills and stay ahead in cybersecurity.

An open, technical and introductory book for the Zig programming language, which is a new general-purpose and low-level programming language.

✔ Market Structure Basics ✔ Liquidity explained in detail ✔ Order Blocks (OB) ✔ Fair Value Gaps (FVG) & Imbalances ✔ Smart Money Entry Techniques ✔ Time & Trading Sessions ✔ Risk Management & Trading Psychology ✔ SMC Backtesting & Journaling ✔ Forex, Crypto & Stocks ✔ Suitable for beginners and intermediate tradersAnd Much More!

This book supplements the DM for CS Specialization at Coursera and contains many interactive puzzles, autograded quizzes, and code snippets. They are intended to help you to discover important ideas in discrete mathematics on your own. By purchasing the book, you will get all updates of the book free of charge when they are released.

This book explains various VXLAN Fabric models such as Single-ASN, Multi-ASN, Dual-ASN, and Hybrid-ASN. It also introduces L3-Only DCI with MPLS.

This book is all about VXLAN Fabric. It explains the Control Plane (BGP L2VPN EVPN and IPv4 MVPN) and VXLAN Data Plane operation in detail. It also explains how to implement multihoming (vPC, ESI), Firewall services, external connections (IPv4, MPLS), DCI Multi-Site among the other important things.

Have you ever wondered how certain pieces of C++ code work and how you can apply the technique to your code? What can you do with decltype beyond the usual type deduction? Then, have a look into Tips and Tricks with templates, which is part of the brand new Notebook C++ series. The paperback version is available in color @Amazon.

You have built an AI agent that works beautifully in a demo, then falls apart the moment real users arrive: it invents answers, burns through tokens, and freezes on slow tools. The problem was never your prompt. This book shows you the real fix, layer by layer, and turns "I hope my agent works" into "I can prove it does."

Trunk-based development and branch by abstraction super reference. All the aspects of this industry leading branching model covered.

Go beyond the basics of Lean 4. This practical deep dive explores functional programming, dependent types, theorem proving and formal verification. Learn how Lean works under the hood, build reliable proofs and automation, and tackle larger formal projects with confidence.

What really happens inside a database file? Learn to read binary data like a map, uncover hidden structures and turn raw bytes into a working understanding of how storage engines work. With hands-on examples from SQLite, PostgreSQL, InnoDB and more, this book shows you how to reverse engineer unfamiliar formats from the ground up.

Build GPT-2, Llama 3, and DeepSeek from scratch in PyTorch. Every chapter has runnable end-to-end code and loads real pretrained weights. Goes well past where most LLM tutorials stop.