Books

Ким би ви не були — бекендером, фронтендером, мобільником чи геймдевелопером, — ви будуєте застосунки й хочете робити це надійно, а не ліпити лайно. В індустрії досі не було жодної сучасної книги, яка б просто й системно пояснювала, як програми влаштовані зсередини: на які поверхи вони діляться, як ці шари взаємодіють і де межа між чистою архітектурою та безглуздим оверхедом. Ця книга закриває цю прогалину.

Not just for mathematicians and detectives! Learn the basics of logic and its many applications, including advanced testing, constraint solving, function composition, and code proofs. Over 50 exercises and 20 sample programs are included. No prior math background required!

A clear, illustrated guide to large language models, covering key concepts and practical applications. Ideal for projects, interviews, or personal learning.

A complete foundation for Statistics, also serving as a foundation for Data Science. Leanpub revenue supports OpenIntro (US-based nonprofit) so we can provide free desk copies to teachers interested in using OpenIntro Statistics in the classroom and expand the project to support free textbooks in other subjects. More resources: openintro.org.

The book covers every topic in the latest CISSP exam syllabus, organized in a format that makes it easy to drill down on specific exam domains and concepts at-a-glance, making it an essential exam resource for anyone who aims to prepare for the exam without wasting time or money.

All new language and library features of C++23 (for those who know C++20) The book presents all new language and library features of C++23. Learn how this impacts day-to-day programming, to benefit in practice, to combine new features, and to avoid all new traps. Buy early, pay less, free updates Current Content: www.cppstd23.com Other leanpub books by this author:C++20C++17C++ Move Semantics

Architektur-Reviews ermöglichen Dir Schwächen und Potenziale von Softwarelösungen herauszuarbeiten, Entscheidungen abzusichern und Verbesserungsmaßnahmen zu bewerten. Dieses Buch bringt Dir leichtgewichtige Reviews näher, die Du nach der Lektüre alleine oder in einem kleinen Team direkt durchführen kannst!

Six years after the first edition, the official guide to DelphiMVCFramework is back, rewritten for 3.5.0-silicon. Thirty chapters, more than 550 pages, and 46 Delphi projects that compile and run. You build one real API, the Municipal Library, and grow it from a wizard-generated project into a deployed server with authentication, OpenID Connect, WebSockets and HTTPS.

Build an Obsidian second brain your AI can actually use, without making it read everything you have ever written.

Learn SysML v2 with the ultimate guide for all skill levels in MBSE. Authored by insiders, it's your key to unlocking the full potential of system modeling and a passport to mastering your MBSE.

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.

Haskell for FPGA Hardware Design: Use abstractions like monads and lenses to implement 1970's retro-computing devices like arcade machines and home computers.

The book is also available in paperback for $25. Paperback royalties go to OpenIntro (US-based nonprofit), and the optional Leanpub PDF contributions go to authors to fund their time on this book.

The book highlights the significance of software in systems engineering and uses AI as a subject matter expert. It presents a comprehensive example that covers SysML modeling, including requirements, use cases, logical/ physical architecture, and parametric simulation. It then continues into software, leveraging AI's code generation capabilities to produce software including microcontroller, UI, and DMBS code. It introduces a variety of personas and agents that can help engineers communicate with AI about systems and software engineering. The book also introduces SysML v2, focusing on the new language model and exploring AI's ability to generate models via code generation. Perhaps most importantly, it provides a straightforward roadmap for hardware/software co-design, accelerated at every step by AI. Whether you're a systems or software engineer, or just interested in how to use AI for engineering, AI Assisted MBSE with SysML will prove to be a valuable guide.

This 2026 edition of the best-selling Kubernetes book is fully updated for the latest versions of Kubernetes and the latest industry trends. You won't find a better and more up-to-date book on Kubernetes. Hand-crafted over the past 8 years by best-selling author Nigel Poulton. This book is a masterpiece.