Computers and Programming

Formal verification does not have to live in research papers. This practical guide shows working software engineers how to turn real requirements into precise, machine-checkable guarantees, find bugs before they reach production and bring formal methods into everyday development, from application code to distributed and security-critical systems.

Advanced Rust Programming goes beneath Rust’s safe surface to reveal the machinery that makes high-performance systems possible. Explore unsafe contracts, atomics, async internals, FFI, allocators and more through practical examples that sharpen your instincts and help you build faster, safer production-grade software.

AI can write code in seconds, but can you trust what it creates? Securing AI-Generated Code shows you how to uncover hidden vulnerabilities, stop risky dependencies, secure AI coding agents and build safer development pipelines. A practical guide for teams that want the speed of AI without putting security on the line.

SIMD can make software dramatically faster, but getting it right takes more than knowing a few intrinsics. This book shows you how vectorization really works, how to avoid costly mistakes and how to turn ordinary code into fast, production-ready software with techniques you can use again and again.

Descubre cómo crear, diseñar e integrar música, efectos, ambientes y diálogos en videojuegos con Unity y FMOD, y ponlo en práctica con un videojuego real completo.

متى كانت آخر مرة لعب فيها طفلك بالخارج دون أن يطلب هاتفك؟ يُبحر بك هذا الكتاب في عمق التحدي الرقمي المعاصر، ويوفر لك خطة عمل ملهمة وبسيطة لإعادة التوازن لحياة طفلك النفسية والبدنية، ومنحه الفرصة ليعيش طفولة حقيقية وصحية.

Start with your first line of code and grow into a confident VB.NET developer. Through clear explanations, practical examples and real-world projects, you’ll master modern .NET, object-oriented design, LINQ, async programming, databases, Windows apps, web APIs, testing and deployment, with a focus on writing software built for the real world.

What if your software could compute on sensitive data without ever seeing it? Private Computing with Homomorphic Encryption takes you from the core ideas to working, production-minded systems. Learn the math, schemes, libraries and design patterns you need to build with HE, judge its tradeoffs and know when it is the right tool for the job.

This playbook was prepared by SkelerSecurity to equip founders, executives and developers of earlystage healthcare, financial technology and adjacent high-trust ventures with the security mindset, the controls, and the business case they need to operate safely in a threat environment that has industrialized.

> Step into a world where repetitive tasks vanish and your potential becomes limitless. Hello Automation is not just a guide; it is a masterclass in reclaiming your most precious asset: time. Within these pages, you will unlock the hidden mechanisms that turn overwhelming workloads into seamless digital symphonies, leaving manual friction behind. Whether you are scaling an empire, streamlining your daily workflow, or simply craving a smarter way to live and work, this book bridges the gap between visionary ideas and effortless execution. Dare to cross the threshold into a reality where technology works for you—open Hello Automation and discover what happens when imagination meets unstoppable momentum. >

Get inside running software and see what it’s really doing. Mastering Frida takes you from your first hook to building serious instrumentation tools for Windows, Linux, macOS, Android and iOS. Learn how Frida works under the hood, where platforms differ and how to use its power without getting burned.

AI has entered the programming picture, let's learn how to be humans working with AI to build better software, together.

Bring real Python to the browser. This practical guide takes you from Pyodide fundamentals to production-ready applications, with hands-on examples, proven patterns and clear-eyed trade-offs. Learn how Python and WebAssembly fit together, what works in the real world and how to build confidently for the web.

Build fast, secure and portable applications with WASI. Start with the fundamentals, then move into components, WIT, Wasmtime and real production patterns using Rust, C, Go and JavaScript. From sandboxed plugins to serverless and edge workloads, this practical guide gives you the skills to take WebAssembly from your first experiment to production.

They say AI is coming for junior developers first. This is a junior's honest case for the opposite: how driving agents well, on real legacy code, makes you level up faster instead of getting left behind. The failures are left in.