Программирование | книги

#ФункВерификация 2025 Введение в формальные методы верификации программ Автор: Камкин А. С.

Верификацией называется процесс проверки соответствия программы требованиям (выяснения, является программа правильной или ошибочной). Данная книга посвящена важнейшему классу методов верификации — формальным методам и включает 16 лекций, сопровождаемых вопросами для самопроверки и упражнениями. В числе рассматриваемых тем: обзор базовых методов верификации; дедуктивный анализ программ; проверка моделей; использование формальных методов в тестировании. Издание будет полезно программистам, студентам и аспирантам, а также преподавателям и исследователям в области информатики и вычислительной техники. Ожидается, что читатель знает основы дискретной математики и математической логики.

#PostGIS 2023 PostGIS в действии Авторы: Регина Обе, Лео Хсу

PostGIS – расширение PostgreSQL с открытым исходным кодом для работы с пространственными базами данных. Оно предоставляет мощные механизмы для решения практически любых задач, связанных с геоданными. Эта книга призвана послужить путеводителем по сотням функций, предлагаемых PostGIS. Начав с изучения геоинформационных систем, основанных на векторных, растровых и топологических объектах, вы перейдете к анализу, визуализации и отображению данных на карте, а также научитесь создавать пользовательские функции для приложений, на конкретных примерах освоите навыки решения распространенных проблем.

#РаспределённыеСистемы 2025 Распределенные данные. Алгоритмы работы современных систем хранения информации Автор: Петров Алекс

Когда дело доходит до выбора, использования и обслуживания базы данных, важно понимать ее внутреннее устройство. Как разобраться в огромном море доступных сегодня распределенных баз данных и инструментов? На что они способны? Чем различаются? Алекс Петров знакомит нас с концепциями, лежащими в основе внутренних механизмов современных баз данных и хранилищ. Для этого ему пришлось обобщить и систематизировать разрозненную информацию из многочисленных книг, статей, постов и даже из нескольких баз данных с открытым исходным кодом. Вы узнаете о принципах и концепциях, используемых во всех типах СУБД, с акцентом на подсистеме хранения данных и компонентах, отвечающих за распределение. Эти алгоритмы используются в базах данных, очередях сообщений, планировщиках и в другом важном инфраструктурном программном обеспечении. Вы разберетесь, как работают современные системы хранения информации, и это поможет взвешенно выбирать необходимое программное обеспечение и выявлять потенциальные проблемы.

#DeepLearning #TensorFlow #Keras #PyTorch 2026 Глубокое обучение с TensorFlow, Keras и PyTorch Автор: пер. с англ. И. Л. Люско

Эта книга научит вас создавать современные модели глубокого обучения с помощью самых мощных и популярных фреймворков TensorFlow, Keras и PyTorch. Независимо от того, являетесь ли вы опытным специалистом в области машинного обучения или только начинаете свою карьеру, она снабдит вас инструментами и знаниями для решения сложных задач в области искусственного интеллекта. Издание адресовано специалистам по обработке данных, разработчикам, инженерам и энтузиастам ИИ, стремящимся развивать свои навыки и работать с самыми передовыми инструментами.

#ИИ #RAG 2026 Построение LLM-агентов с помощью RAG, графов знаний и осмысления Автор: Девлин М. С.

В книге детально рассматривается принципиально новая архитектура искусственного интеллекта, когда сети специализированных LLM-агентов координируют действия, рассуждают, осмысляют и оптимизируют себя, достигая результата, недоступного одиночной модели. Вы научитесь создавать кластеры агентов, системы с общей памятью, уровни маршрутизации, средства оценки и инструментальные центры, которые динамически адаптируются и постоянно совершенствуются.

#Unity 2025 Создание собственной метавселенной в Unity Автор: Надалес Д.

Цель этой книги – провести читателя по захватывающему пути создания метавселенных и виртуальных миров, снабдив его навыками и знаниями, необходимыми для формирования собственных цифровых реальностей. В основе этой технологической одиссеи лежит платформа Unity, которая произвела революцию в реализации интерактивных взаимодействий человека и машины. Читатели пройдут весь путь от изучения основ до создания продвинутых мультивселенных, научатся интегрировать в свое творчество сервисы Firebase и создавать многопользовательские миры с помощью сетевого SDK Proton. Книга адресована программистам и гейм-дизайнерам, желающим приступить к разработке метавселенных и виртуальных миров, но будет интересна также энтузиастам передовых технологий и любителям видеоигр.

#LLM 2026 LLM на практике. Большие языковые модели от идеи до внедрения Авторы: Юстин П., Лабонн М.

Искусственный интеллект стремительно развивается, и именно большие языковые модели (LLM) задают направление всей индустрии. Погрузитесь в процесс проектирования, обучения и развертывания LLM в реальных бизнес-задачах, опираясь на лучшие практики MLOps. Авторы шаг за шагом показывают, как создать экономичную, масштабируемую и модульную систему на основе LLM. Вместо простых экспериментов в изолированных блокнотах Jupyter научитесь строить комплексные системы, готовые к полноценной эксплуатации.

#ФункциональноеПрогр 2025 Проектирование на уровне типов: Системный взгляд на дизайн и архитектуру Автор: Гранин А.

Эта книга научит вас проектировать системы на уровне типов, когда они служат главным инструментом моделирования, расширяемости и обеспечения корректности. Никакого академизма и бессмысленных абстракций! Только практичность, системность, универсальность и быстрая отдача. Книга предоставляет единую методологию проектирования на типах для трех языков: Haskell, Rust, и Scala 3. Издание адресовано всем, кто интересуется программированием на типах и хочет извлечь из них максимум пользы. Книга предлагает подходы и паттерны для нетривиального кода, где все выражено через типы: бизнес-логика, предметно-ориентированные языки, механизмы корректности и расширяемости. Инженерию от простого программирования отличает целостный взгляд на систему, и вниманию читателей предлагается прагматичная методология создания приложений – от сбора требований до архитектуры и проектирования компонентов. Универсальность изложенных идей показана на примерах для трех языков: Haskell, Scala и Rust. Основные темы, рассматриваемые в книге: шаблоны проектирования уровня типов; расширяемость и адаптивные архитектуры приложений; интерфейсы на уровне типов; предметно-ориентированные языки на уровне типов; типобезопасность и статическая целостность; корректность и верификация на уровне типов; типизированные формы – визуальный язык для проектирования; методология Pragmatic Type-Level Design (PTLD). Александр Гранин – разработчик и архитектор программного обеспечения с более чем 15-летним стажем. Международный спикер, исследователь и автор книг по функциональному программированию, включая “Functional Design and Architecture”. Его миссия – вооружить разработчиков практическими знаниями и построить целостную инженерную дисциплину создания приложений на статически типизированных функциональных языках.

#Криптография 2025 Криптография на эллиптических кривых для разработчиков Автор: Розинг М.

Книга рассказывает о криптографии на эллиптических кривых (ЕСС), которая применяется в таких разных областях, как операции по кредитным картам и блокчейн. С помощью описанных в книге методов и примеров кода на C вы реализуете криптографические протоколы, которые более безопасны, чем распространенные в настоящее время системы на базе RSA, но при этом менее требовательны к памяти.

Гринатом — ИТ-интегратор Росатома — в поиске ведущего специалиста ВИП-поддержки в Москве!🚀 Ждём специалистов с опытом ВИП-поддержки, проведения ВКС и работы с мультимедийным оборудованием, средствами криптографической защиты информации и микшерным пультом. Также для нас важно знание Astra Linux и умение читать техническую документацию на английском языке. 🤝От нас — официальное трудоустройство, конкурентная заработная плата с прозрачными премиями, график 5/2 с сокращённой пятницей, ДМС со стоматологией и офис в центре Москвы на Большой Ордынке.

#ИБ #Облака 2025 Защита данных в облаке с OAuth: Масштабируемая архитектура с нулевым доверием Авторы: Арчер Г., Карер Дж., Трояновски М.

OAuth – мощный фреймворк для обеспечения безопасности API – предлагает инструменты, помогающие защитить конфиденциальность бизнес данных и реализовать динамический контроль доступа. Он позволяет выйти за рамки простых запретов и определить политики безопасности, соответствующие потребностям бизнеса, но для полного раскрытия его потенциала необходимо овладеть стратегиями адаптации к меняющимся требованиям безопасности. Данное руководство адресовано разработчикам, архитекторам и специалистам по безопасности, желающим освоить передовые методы защиты API в эпоху облачных технологий.

#ИИ 2026 Протокол MCP для систем искусственного интеллекта Автор: Айдоуби

Протокол контекста модели (Model Context Protocol, MCP) служит связующим звеном между ИИ-приложениями и внешними расширениями. MCP стремительно меняет экосистему ИИ и стал общепринятым отраслевым стандартом. Основная цель этой книги – помочь читателю получить всестороннее и системное представление о MCP, включая историю его появления, принципы работы, архитектуру протокола, сценарии применения и экосистему. На примере реальных кейсов в книге рассказывается об использовании и разработке MCP-серверов и клиентов, а также о том, как создавать на основе MCP востребованные ИИ-приложения - диалоговых помощников и интеллектуальных агентов. Издание адресовано всем, кто хочет детально изучить MCP и применять его в работе.

#D3JS 2025 D3.js в действии Авторы: Микс Э., Дюфур Э.-М.

Книга рассказывает о библиотеке D3.js, которая позволяет создавать сложную инфографику, диаграммы и визуализации данных с применением стандартных инструментов разработки веб интерфейсов, включая JavaScript, HTML и CSS. Вы научитесь воспроизводить анимационные эффекты и настраивать адаптивные отображения на мобильных устройствах. Каждая глава содержит законченный проект визуализации, иллюстрирующий применение новых навыков на практике. Издание адресовано веб-разработчикам, владеющим навыками использования HTML, CSS и JavaScript.

Первый шаг к работе в Росатоме можно сделать прямо из своего города. 🚀Кейслаб по веб-разработке — это бесплатное обучение, реальные отраслевые задачи и наставники, которые помогут пройти программу и разобраться с рабочим форматом. По итогам лучшие участники смогут попасть на очный финал молодежного фестиваля «ИТ КоР 5.0. Новый код атомной отрасли». На финале в Нижнем Новгороде участники защитят свои решения, познакомятся с представителями ИТ-команд, а победители получат возможность пройти стажировку или начать работу в Росатоме. Регистрация: https://itcore.depreg.ru/ Старт обучения — 7 сентября. Подробнее о фестивале: https://it-core2026.ru 👉Не обязательно ждать выпуска, чтобы попробовать попасть в большую ИТ-команду. Начать можно уже сейчас — с одного кейслаба.

#OpenClaw #ИИ 2026 OpenClaw. Как разработать собственного ИИ-агента за час Автор: Лю Цзян

В отличие от традиционных ИИ-систем, агенты не просто отвечают на ваши вопросы, а по-настоящему выполняют за вас работу. В книге подробно описана экосистема OpenClaw – популярного ИИ-агента с открытым исходным кодом, предназначенного для широкого использования людьми, не имеющими специальной подготовки. Понятные пояснения и примеры помогут вам без промедления создать и настроить персонального ассистента, способного взять на себя всю рутинную работу.

7,2 млн рублей призового фонда и реальные задачи космической отрасли 🚀 В сентябре пройдет серия КосмоХакатонов для студентов, молодых ученых и специалистов. Участникам предстоит за два дня разработать собственное решение, поработать с экспертами и представить проект жюри. Участников ждут: 🛰 реальные задачи космической отрасли 👥 команды от 3 до 5 человек 💻 очный и онлайн-форматы 🧑‍💻 работа с экспертами и трекерами 🏆 финал в Москве Первый КосмоХакатон стартует уже 4 сентября в Ростове-на-Дону. Дальше серия продолжится в Красноярске, Нижнем Новгороде, Благовещенске и Санкт-Петербурге, а завершится финалом в Москве. Участие бесплатное. Присоединиться могут студенты, аспиранты, молодые ученые и специалисты от 18 лет. 🔗 Зарегистрироваться: https://космохакатон.рф

#Haskell 2025 Изучаем Haskell на примерах Автор: Хагенлохер Ф.

Haskell – это мощный и красивый, но непростой функциональный язык программирования. Вы научитесь создавать Haskell-приложения на примерах разработки полезных и увлекательных проектов. Вас ждут язык для сочинения музыки, библиотека обработки изображений и многое другое! Особое внимание уделено таким вопросам, как проектирование функций, композиция и неизменяемость данных. Книга предназначена начинающим и опытным программистам, желающим освоить функциональное программирование. Ожидается, что читатель знает какой-либо объектно ориентированный язык.

#ИИ 2026 Создание приложений с ИИ-агентами. Проектирование и внедрение мультиагентных систем Автор: Майкл Альбада

Генеративный ИИ произвел революцию в том, как организации решают проблемы, ускорив переход от концепции к прототипу и готовому решению. По мере роста возможностей моделей наблюдается появление нового паттерна проектирования — ИИ-агентов. Сочетание инструментов, знаний, памяти и механизмов обучения с продвинутыми фундаментальными моделями позволяет выстраивать последовательности из нескольких инференсов моделей для решения неоднозначных и сложных задач. Агенты — от помощников разработчика до исследовательских и аналитических агентов — уже ускоряют работу команд и целых организаций. Хотя эти агенты повышают эффективность, они часто требуют тщательного планирования и многочисленных правок, а их развертывание остается проблемой во многих организациях, особенно при стремительном развитии технологий и исследований. Автор Майкл Альбада предлагает практический и основанный на исследованиях подход к проектированию и внедрению одно- и мультиагентных систем. Он упрощает сложности и вооружает инструментами для эффективного перехода от концепций к решению.

#СистемнаяИнженерия #Trinity 2026 Системная инженерия: современные методы проектирования для создания сложных информационных систем. 2-е изд Автор: Холт Д.

Системная инженерия — ключевой инструмент для разработки сложных систем на всех этапах их жизненного цикла. В обновленном издании эксперт в области системной инженерии подробно рассказывает, что следует учитывать при проектировании надежных и эффективных систем. В книге рассматриваются современные подходы Model-Based Systems Engineering (MBSE) и методы их развертывания с использованием Trinity. Вы подробно изучите жизненный цикл систем, инженерные процессы и методы внедрения системной инженерии и ее управления в организации.

#DevOps 2026 Метрики программной архитектуры. Кейсы, повышающие качество ПО Автор: Форд Н.

В современном мире разработки ПО архитектура приложения играет ключевую роль. Но как убедиться, что выбранная архитектура действительно отвечает всем требованиям проекта? Именно здесь на сцену выходят метрики — комплексный процесс проверки соответствия архитектурных решений заданным требованиям и критериям качества. Чем позже обнаружена проблема, тем дороже обходится её исправление. А когда речь идет об архитектурных решениях, цена ошибки возрастает в геометрической прогрессии.