В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач. Книга предназначена для студентов высших учебных заведений,...
ISBN: 978-5-93700-278-5
Издательство:
ДМК
Дата выхода: декабрь 2023
Учебник содержит систематическое изложение теоретических сведений, необходимых для освоения дисциплины «Многомерный анализ данных», а также подробную реализацию многомерных статистических методов на практике с использованием языка программирования Python. Соответствует ФГОС ВО последнего поколения. Для студентов бакалавриата, обучающихся по направлениям подготовки38.03.01 «Экономика», 38.03.02...
ISBN: 978-5-406-12606-6
Издательство:
КноРус
Дата выхода: октябрь 2023
В разговорах о технологиях постоянно упоминаются контейнеры, микросервисы и распределенные системы, однако большинство приложений по-прежнему работают на базе монолитных архитектур, основанных на традиционных процессах разработки. Давайте поближе познакомимся с хорошо зарекомендовавшими себя моделями на основе Java и разберемся, как перенести эти монолитные приложения в будущее. Опираясь на...
ISBN: 978-5-4461-2002-4
Издательство:
Питер
Дата выхода: июнь 2023
Создать успешную видеоигру — настоящее искусство! Знакомство с игрой, ее освоение и получение удовольствия от игрового процесса — все это происходит в мозге. Разработчику проще реализовать свои дизайнерские задумки и добиться коммерческой успешности, если он понимает, как работает человеческий мозг: именно на этом строится пользовательский опыт (UX). Очень важно предугадать, как игрок...
ISBN: 9785041106737
Издательство:
Эксмо
Дата выхода: октябрь 2023
Книга посвящена практическим аспектам работы с MySQL. Рассмотрены приёмы сегментирования баз данных, репликации, шардирования. Уделено внимание упорядочиванию транзакций, резервному копированию и бесшовному взаимодействию между предприятием и облаком, что способствует сохранению данных и их эксплуатационной надёжности. Также исследованы разнообразные аналитические и мониторинговые инструменты и...
ISBN: 978-5-9775-1809-3
Издательство:
BHV-СПб
Дата выхода: май 2023
Перед вами сборник правил написания кода на современном языке JavaScript. На наглядных примерах автор объясняет, как работают последние версии JS, какие приемы в нем можно использовать, чтобы сделать код коротким и чистым, а каких ошибок лучше избегать, чтобы не было багов. Руководство по JavaScript для тех, кто хочет кодить быстро и эффективно. «Новые возможности JavaScript» — это сборник правил написания кода на...
ISBN: 9785041595159
Издательство:
Эксмо
Дата выхода: март 2023
Хороший объектно-ориентированный код удобно читать, изменять и исправлять. Универсальные практики проектирования объектов, собранные в этой книге, позволят улучшить ваш стиль кодирования. Эти правила подойдут к любому объектно-ориентированному языку, они делают код максимально понятным и надежным, а также повышают производительность как индивидуальных разработчиков, так и команд. Книга...
ISBN: 978-5-4461-1841-0
Издательство:
Питер
Дата выхода: январь 2023
Курс посвящен основам объектно-ориентированного подхода на примере языка С#. Основной задачей данного курса является формирование точки зрения на современную теорию и практику программирования. Курс базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET. В курсе предлагается не...
ISBN: 9785534169416
Издательство:
Юрайт
Дата выхода: июль 2023
Базовая книга по приёмам объектно-ориентированного программирования (ООП) с примерами на языке C++. Разобраны основные принципы и техники разработки объектно-ориентированных программ, объяснены шаблоны проектирования (паттерны), особое внимание уделено принципам SOLID, архитектуре MVC (модель-представление-контроллер) и особенностям работы с ООП в С++. Вот уже более 30 лет объектно-ориентированное...
ISBN: 9785977519137
Издательство:
BHV-СПб
Дата выхода: ноябрь 2023
Spine 2D — это программа для создания анимации персонажей в 2D. Она используется в игровой индустрии, а также в различных проектах для мобильных приложений, веб-сайтов и рекламных материалов, где требуется создание анимации. Хотите своими руками создавать крутую анимацию в играх? Тогда эта книга — именно то, что вам нужно! С помощью нее вы научитесь: • Работать с программой Spine 2D. •...
ISBN: 978-5-04-190811-9
Издательство:
Эксмо
Дата выхода: ноябрь 2023
Книга посвящена методологии Lean UX, позволяющей проектировать на высоком уровне первоклассные программные продукты в составе Agile-команд. Главный упор сделан на понятии «пользовательского восприятия» (user experience). Даны основы методологии Lean UX и принципы ее успешного внедрения в рабочую Agile-среду. Раскрыт процесс применения Lean UX с использованием Lean UX Canvas и на наглядных примерах из практики дано описание...
ISBN: 978-5-9775-1756-0
Издательство:
BHV-СПб
Дата выхода: август 2023
Описаны инструментальные средства для разработки приложений искусственного интеллекта. Даны основы языка программирования Python. Раскрыты основные понятия и определения искусственного интеллекта. Рассмотрены вопросы программной реализации элементов нейронной сети и построения многослойных нейронных сетей. Большое внимание уделено применению специализированных библиотек PyBrain, Scikit-learn, Keras, TensorFlow для...
ISBN: 978-5-9775-1818-5
Издательство:
BHV-СПб
Дата выхода: август 2023
Книга описывает практические приемы рефакторинга и переноса кода написанных на Java мобильных приложений для Android на язык Kotlin с сохранением совместимости. Приведено подробное сравнение этих двух языков, даны примеры перевода проектов с Java на Kotlin, добавления поддержки Kotlin в сборку Java. Показан переход от классов Java к классам Kotlin, от коллекций Java к коллекциям Kotlin, от объектов JavaBeans к значениям, от статических...
ISBN: 978-5-9775-6841-8
Издательство:
BHV
Дата выхода: февраль 2023
Книга исследует различные низкоуровневые механизмы и алгоритмы, лежащие в основе современных параллельных и конкурентных вычислений, в частности реализованные в ядре Linux. Рассмотрены примитивы синхронизации (мьютексы и блокировки), владение данными, валидация, копирование и запись, эвристические методы разработки параллельных и конкурентных алгоритмов, подбор аппаратного обеспечения и другие...
ISBN: 9785977519274
Издательство:
BHV-СПб
Дата выхода: декабрь 2023
API представляют собой контракты, которые определяют принципы взаимодействия приложений, сервисов и компонентов. Паттерны проектирования API — это набор лучших практик, спецификаций и стандартов, обеспечивающих простоту и надежность их использования для разработчиков. Книга объединяет и объясняет наиболее важные паттерны, используемые сообществом разработчиков API и экспертами Google. Паттерны...
ISBN: 978-5-4461-1984-4
Издательство:
Питер
Дата выхода: февраль 2023