Технологии разработки программного обеспечения

Рассматриваются вопросы выполнения выпускной квалификационной работы бакалавра (ВКРБ), подготовки ее пояснительной записки и оформления. Показаны основные этапы выполнения ВКРБ в области разработ…

«Оптимизирующие компиляторы» – настольная книга специалиста, который решил не просто укрепить свои знания, но и вывести навыки на новый уровень. Вместе с Константином Владимировым вы разберете те…

В учебно-методическом пособии раскрывается тема основ проектирования интернет-приложения. В первой части пособия содержатся теоретические положения: вводная информация об интернете и способах вза…

Дмитрий Фокеев – эксперт в веб-дизайне и front-end разработке, автор бестселлеров в сфере онлайн-образования. Ведущий преподаватель Stepik и топ-преподаватель Udemy по направлениям «Front-end» и …

В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы п…

Изложены теоретические основы автоматизации оптимизирующих преобразований алгоритмов на графах. Основная цель монографии – показать возможность формализованного выполнения оптимизирующих преобраз…

Книга Создание ИИ агента – это подробное руководство по созданию автономных ИИ-агентов с использованием больших языковых моделей и генеративного ИИ. Авторы раскрывают архитектуру агентных систем,…

Книга основана на курсах лекций по формальным методам верификации программ, читаемых автором на кафедрах системного программирования МГУ, МФТИ и ВШЭ. Список тем включает: методы формализации сема…

Данная книга учит формально рассуждать о компьютерных программах, используя последовательный подход и язык программирования Dafny, поддерживающий верификацию. Показано, как писать спецификации дл…

PyCharm – лучшая профессиональная среда разработки для программистов Python среди множества доступных интегрированных сред. Независимо от того, в каких целях используется Python – для общих задач…

Книга адресована начинающим разработчикам прикладных решений в системе «1С:Предприятие 8». Она поможет овладеть наиболее эффективными приемами разработки приложений. Средства разработки «1С:Пред…

Создание игр – увлекательное дело, а Unity делает его простым и доступным! Unity возьмет на себя всю тяжелую работу, и вы сможете сосредоточиться на игре, графике и взаимодействии с пользователем…

Одного знания языка программирования недостаточно для профессиональной разработки программного обеспечения. Нужны ряд компетенций - знаний, методик, навыков владения инструментами. Ключевая инфор…

В этой книге, выхода которой с нетерпением ожидало сообщество сторонников гибких методологий разработки программного обеспечения, описывается процесс подготовки требований к разрабатываемой систе…

В сборнике представлены труды пленарных и секционных докладов участников I Международной научной конференции «Теория и реализация информационных систем». Материалы сборника отражают актуальные пр…

Эта книга поможет Вам создать уютный оазис определенности в жестокой пустыне проектной деятельности. Палящие лучи неопределенности, выжигающие все живое вокруг, остановятся, когда на их пути возн…

Книга посвящена созданию с нуля пользовательских интерфейсов и фронтенд-приложений с помощью Vue.js – современной платформы JavaScript. На практических примерах разработчики поэтапно познакомятся…

Книга представляет собой комплексное руководство по применению искусственного интеллекта и машинного обучения (ИИ/ML) с целью снижения рисков для современного бизнеса, связанного с использованием…

Книга представляет собой пошаговое руководство по созданию успешной программы обеспечения безопасности приложений. Предлагается доступное объяснение основ безопасности, способов поиска и устранен…

В книге рассмотрено актуальное состояние технологий Spring и Spring Boot, помогающих шире раскрыть возможности языка Java и аспектно-ориентированного программирования. Пошагово объяснено, как сам…