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

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

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

В книге представлены содержание и последовательность выполнения контрольно-графических заданий кафедры инженерной и компьютерной графики Южно-Уральского государственного университета (ЮУрГУ) по курсу «Компьютерная графика». Задания ориентированы на современные 3D-методы проектирования и...

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

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

Эта книга посвящена микроконтроллерам и концепции Arduino. В 2005 году группа Arduino представила инновацию в области микроконтроллерного оборудования — концепцию аппаратного обеспечения с открытым исходным кодом, делающую широкий спектр вычислительных устройств доступным для каждого. Книга...

Внутренний Сервис – Установка Программ. Магический Университет. Факультет Общей Магии Содержание: Описание системы Классификация программ Установка Системного Гида Настройка на Базу Воды Получение списка программ Установка программ Другие базы воды Получение...

Формат: PDF (изначально электронная - издательская редактура) Издание: Черно-белое Оригинальное название: "Machine Learning and Security" Оригинальный правообладатель: "O'Reilly" Автор: Чио К., Фримэн Д. Дата выхода: июль 2019 года Формат: 165 * 235 мм Бумага: офсетная Обложка: Мягкая обложка...

Книга содержит описание языка Lua в объеме, достаточном для разработки модуля надстройки, а также описание объектной модели МойОфис. В нескольких главах рассматривается работа с абзацами, списками, табличными листами и диапазонами, инструментами для рецензирования документов и пр. В конце каждой...

Обновлена сессия «Нейтрализация деструктивных программ». Она предназначена для защиты на уровне подсознания и устранения вредных последствий таких явлений как порча, сглаз, проклятие, приворот, «венец безбрачия» и других негативных энерго-информационных воздействий. Список изменений новой...

Тяжелое наследие, трудная судьба. Повторение родительского сценария несчастливой жизни. Люди с проявленными экстрасенсорными способностями как правило имеют тяжёлый родовой негатив, разрушенные детско-родительские отношения. Убирать родовой негатив нужно обязательно, так как он оказывает на нас...

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

Книга, которую вы держите в руках, адресована родителям подростков и освещает важные для них вопросы. Что такое здоровое сексуальное развитие? Через какие этапы проходит подросток в период полового созревания? Как помочь детям справляться с потоком сексуальных образов, которые ежедневно...

Фреймворк ASP.NET Core предоставляет все необходимое для создания веб-приложений профессионального качества. Благодаря повышающим производительность библиотекам для отрисовки на стороне сервера, безопасным API, простому доступу к данным и многому другому вы потратите свое время на реализацию...

Год выпуска: 2015 — 2017 Страна: Россия Разработчик: SUNBRILLIANT Начинка Аудио: Суггестивные формулы Начинка Видео: Суггестивные формулы, Изображения Фон Hypnosis-25: Hypnosis-25.Без фона Hypnosis-25.Фон-Море Hypnosis-25-Классика Hypnosis-25.Фон-1 Hypnosis-25.Фон-2 Hypnosis-25.Фон-3...

C++ – язык программирования с долгой историей и на первый взгляд непредсказуемым поведением. 25 задач помогут вам исследовать наиболее интересные его «причуды». В процессе решения за кажущейся сложностью языка вы разглядите и сможете понять фундаментальные основы его работы. Как на самом деле...

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

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

Книга поможет найти ответы на вопросы: Как проводить исследование встраиваемых систем? Из каких компонентов они состоят? Как получить прошивку устройства и какие уязвимости могут в этом помочь? Чем отличается реверс-инжиниринг прошивок и ПО? Что нужно для динамического анализа устройства? Как...

Запуск групповой программы (для коучей, психологов, консультантов) Кто не видит что внутри - проходите мимо! Скрытое содержимое. Для просмотра необходимо: 10 оплаченных складчин. Запуск групповой программы (для коучей, психологов, консультантов) Автор Сергей Загородников Вы коуч, психолог или...