1. Hi-hi

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

    Данная книга учит формально рассуждать о компьютерных программах, используя последовательный подход и язык программирования Dafny, поддерживающий верификацию. Показано, как писать спецификации для программ, как удовлетворить требования этих спецификаций и как писать доказательства корректности...
  2. ПРИВЕТИК

    Скачать [ДМК] Реверс-инжиниринг встраиваемых систем (Алексей Усанов)

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

    Скачать Python. Погружение в математику с Minecraft (Андрей Корягин, Алиса Корягина)

    Аннотация Дорогой читатель, перед тобой продолжение книги "Python. Великое программирование в Minecraft". Оно посвящено одной из важных тем в программировании - математике. Читая и выполняя задания, ты научишься понимать, что такое функции и как построить их графики, но главное - как с помощью...
  4. Hi-hi

    Скачать [ДМК] Машинное обучение и безопасность (Кларенс Чио, Дэвид Фримэн)

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

    Скачать [BigData Team] Промышленная разработка на Python с BigData Team. Часть 1 (Алексей Драль)

    Промышленная разработка на Python с BigData Team. Часть 1. Лучшие практики написания и тестирования консольных приложений Вы познакомитесь с типами тестирования, научитесь пользоваться библиотекой pytest, создавать консольные приложения с argparse, отличать юникод от кодировки и правильно с...
  6. Валерка

    Скачать [ДМК] Жизнь и проживание горя (Бернардин Ву, Джеральдин Вонг)

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

    Скачать [ДМК] Запускаем Prometheus (Жульен Пивотто, Брайан Бразил)

    Возьмите на вооружение Prometheus – систему мониторинга на основе метрик, используемую тысячами организаций. Это обновленное издание расскажет, что такое Prometheus, и познакомит с наиболее важными аспектами этой системы. Вы узнаете, как настроить Prometheus, Node Exporter и Alertmanager...
  8. Кофка

    Скачать [ДМК] Глубокое обучение для поисковых систем (Томмазо Теофили)

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

    Скачать Квантовая химия и квантовые вычисления с примерами на Python (Кипер Шарки, Ален Чанс)

    Эта книга с помощью постулатов квантовой механики объясняет сложные связи квантовой химии и квантовых вычислений. Для этого используются код на языке Python и программные пакеты по химии с открытым исходным кодом, такие как Qiskit. На примерах расчетов реальных атомов и молекул показано, как...
  10. Джери без Тома

    Скачать Задачи по дискретной математике с алгоритмами на Python. 2-е издание (Сергей Борзунов)

    Краткое описание: В учебное пособие включены задачи и упражнения вузовского курса дискретной математики, включая разделы, связанные со спецификой информационно-коммуникационных технологий. В каждой главе приводятся теоретические сведения, необходимые для решения задач разного уровня сложности...
  11. Аноним

    Скачать [BigData Team] Промышленная разработка на Python с BigData Team. Часть 3 (Алексей Драль)

    Промышленная разработка на Python с BigData Team. Часть 3. Лучшие практики написания и поддержки Web-приложений Вы познакомитесь с самыми используемыми паттернами проектирования, напишете собственный Web-сервис и научитесь его деплоить и тестировать. 3.1 Паттерны проектирования 3.2...
  12. Настёнка

    Скачать [Udemy] Научитесь создавать ИИ - помощника - jarvis с помощью Python (Arbaz Khan, Арбаз Хан)

    Learn To Create AI Assistant (JARVIS) With Python Как создать ИИ-помощника (JARVIS) на Python, как в фильме Marvel "Железный человек" Вы научитесь: как создать персонализированного помощника по искусственному интеллекту как создать JARVIS AI как создать ИИ-помощника В этом курсе вы изучите...
  13. Свинтанцы

    Скачать [Pastry is magic] Книга рецептов Печенье (Нина Тарасова)

    Книга рецептов в формате PDF О книге рецептов: Дорогие друзья! Эта книга содержит сборник рецептов по приготовлению печенья с моего вебинара по печенью Печенье на раз-два-три Печенье с чаем матча, цукатами и марципаном Овсяное печенье с сушеной вишней Шоколадное печенье с пеканом Пряник с...
  14. Берсик

    Скачать Сборники рецептов по Гарвардской тарелке (Юлия Сидорова)

    Все говорят что такое гарвардская система питания, но никто не даёт рецепты таких блюд! Мы исправили эту ситуацию ДЛЯ КОГО? Для тех, кто хочет начать питаться сбалансированно, но не знает, с чего начать Для тех, кто все знает о питании, но не может придумать рецепты Для тех, кто хочет...
  15. Кукурузкин

    Скачать Good evening: time to pohavot’ (Алекса Магомедова)

    Книга авторских рецептов десертов и выпечки
  16. Тони Карк

    Скачать [anastasiya_bakery] Видеоурок «Книга с волшебными часами» (Анастасия Политыкина)

    Как же Новый год без боя курантов? В уроке мы с вами облачим часы в новый волшебный вид, часы будут идти прямо внутри новогодней книги А начинка точно сразит вас наповал, я назвала её «штрудельторт» не просто так, внутри самые настоящие рулетики штруделя, щедро начинённые яблоком с корицей...
  17. Пёсика

    Скачать [Udemy] Python 3: Deep Dive (Part 1 - Functional). Fred Baptiste

    Чему вы научитесь Углубленные знания о переменных, памяти, пространстве имен и областях видимости Глубокое погружение в управление памятью и оптимизации в Python Глубокое понимание и продвинутое использование числовых типов данных в Python (Booleans, Integers, Floats, Decimals, Fractions...
  18. Karnaval

    Скачать [Udemy] С нуля до героя с GPT-3 и Python: Создание передового ИИ (Arbaz Khan, Арбаз Хан)

    Zero to Hero with GPT-3 & Python : Building Cutting-Edge AI Раскройте возможности GPT-3 с помощью Python: создание продвинутых приложений искусственного интеллекта Вы изучите: Основы GPT-3 и его архитектуру Лучшие практики создания надежных и масштабируемых систем искусственного интеллекта с...
  19. Цап Царап

    Скачать Предвкушение. Книга праздничных рецептов. В электронном виде (Вера Дудченко)

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

    Скачать [Нетология] Python для работы с данными. 2020 (Олег Булыгин - Константин Башевой)

    Задачи по работе с данными востребованы во всех областях:от банковской сферы и ИТ до тяжелой промышленности и сельского хозяйства. Python — простой и универсальный инструмент для решения любых аналитических задач. 1. Автоматизируйте свою рутинную работу с помощью Python 2. Обрабатывайте большие...
Сверху