Результаты поиска по запросу: [ДМК] Методы верификации программ (Алексей Миронов)

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

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

Установщик программ Установщик программ. Схема Гипермозг. База Формат: презентация ppt (732,5 МБ), видео mp4 для компьютеров (3,7 ГБ), видео для мобильных (606 МБ).

Глубокое изучение и понимание комплексного взаимодействия света, поверхностей, атмосферы и оптических эффектов, а также методы достижения этого в цифровой сфере, охватывающие как 3D, так и 2D-методы. Исследуя цвет, поведение света и поверхности, атмосферу, шейдинг, текстурирование, физически...

Описание книги: Приложения ASP.NET Core подвержены риску атак. Существуют конкретные меры, которые помогут избежать взлома. В книге показаны такие методы защиты веб-приложений ASP.NET Core, как безопасное взаимодействие с браузером, распознавание и предотвращение распространенных угроз...

Elastic Security – открытое решение, которое предоставляет профессионалам инструменты для предотвращения, обнаружения и отражения кибератак. Эта книга покажет вам, как наилучшим образом использовать Elastic Security для обеспечения оптимальной защиты от угроз. С помощью этой книги специалисты по...

Содержание Глаза, уши, нос в контексте Биологических Законов Природы Вступление Новая Медицина Симптомы и диагнозы Биологические Законы Природы 5 Биологических Законов Природы Первый Биологический Закон («Железное правило рака») Краткое объяснение того, что такое «Очаг Хамера» (ОХ) Биологическая...

Математика для DS – программа из 3 курсов, которая поможет: 1. Разобраться в теории Вы любите доходить до самой сути всего, что делаете. Вам интересно, что стоит за теми алгоритмами, которые вы применяете. 2. Подготовиться к собеседованию Вы хотите работать в сфере Data Science и боитесь...

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

В этой книге собраны самые разные опыты и эксперименты, которые ребята смогут провести как вместе с родителями, так и самостоятельно. Юных читателей ждут опыты с водой, воздухом, льдом, магнитами, а также множество других. Благодаря проведённым экспериментам ребята смогут постичь природу вещей и...

Китайские школьники регулярно занимают призовые места на международных математических олимпиадах. Среди основных тем книги: оригинальные способы работы с числами; способы решения уравнений, неравенств и их систем; упрощение и вычисление алгебраических выражений; логический вывод; занимательные...

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

Книга рассказывает о приемах эффективной работы со столбцово-ориентированной системой управления базами данных DuckDB, которая легко встраивается в аналитические приложения, работает на ноутбуке и оперирует данными практически из любого источника, включая JSON, CSV, Parquet, SQLite и Postgres...

Идеи и передовые практики 36 ведущих мировых профессионалов и исследователей ИИ в компьютерных играх Игровой искусственный интеллект – самая интересная часть разработки игр. Это не умаляет той великолепной работы, которая проделана в области графики, физики, инструментария разработки, звука и...

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

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

Перед вами книга для самостоятельного знакомства с основами языка Ruby для начинающих разработчиков любого возраста. Последовательное изложение материала позволит не только освоить тонкости языка в удобной игровой форме, но и заложить твердый фундамент для дальнейшего обучения. Многочисленные...

Описание книги: В этой книге подробно рассказывается о новом стандарте С++20. Для тех, кто незнаком с С++20, приводится краткий обзор, далее рассматриваются ключевые возможности языка. Вы получите представление о ключевых изменениях в ядре языка (концепты и модули), новой библиотеке диапазонов...