1. Скачать [ДМК] Методы верификации программ (Алексей Миронов)

    В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге...
  2. Скачать [ДМК] Сверхбыстрый Python (Тиаго Антао)

    Сверхбыстрый Python Быстрый код на чистом Python, оптимизированные библиотеки и аппаратное обеспечение, позволяющее использовать все преимущества параллельной обработки данных, – это цена входа в мир машинного обучения и анализа больших данных. Книга, которую вы держите в руках, предлагает...
  3. Скачать [ДМК] PostgreSQL. Профессиональный SQL (Евгений Моргунов)

    Эта книга продолжает учебник «PostgreSQL. Основы языка SQL», вышедший несколько лет назад. Пришла пора подняться на следующую ступень - освоить язык SQL на профессиональном уровне. Вы научитесь: понимать план выполнения и писать эффективные запросы; применять встроенные оконные и...
  4. Скачать [ДМК] PostgreSQL 17 изнутри (Егор Рогов)

    Перед вами обновленное издание бестселлера "PostgreSQL изнутри". Рассматривается внутреннее устройство СУБД PostgreSQL: детали реализации многоверсионности и изоляции на основе снимков данных, включая процедуру очистки неактуальных версий строк; буферный кеш и журнал предзаписи; использование...
  5. Робот

    Скачать [ДМК] Проектирование гибких программ (Крис Хансон, Джеральд Джей Сассман)

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

    Скачать [Pi-Bo] Как отучить собаку лаять (Надя Пигарева, Оксана Тюльпинова)

    Наказания не помогут Если бы наказания работали, проблемы бы не было. В ответ на наказания собаки начинают проявлять агрессию или бояться хозяина. Потому что лай — видотипичная, то есть нормальная для собаки реакция на раздражители. Серьезная проблема Собака, которая постоянно лает, все время...
  7. Скачать [ДМК] Радио. Эксперименты с невидимыми волнами (Фредрик Янссон)

    Радиоволны окружают нас повсюду: их излучают и принимают мобильные телефоны, Wi-Fi-роутеры, телевизионные антенны и спутниковые сети для передачи данных на тысячах различных частот. Когда мы открываем дверь автомобиля нажатием кнопки или транслируем музыку на беспроводные наушники, это тоже...
  8. Робот

    Скачать [ДМК] Вероятностное машинное обучение (Кевин П. Мэрфи)

    Описание книги: Данный классический труд содержит обстоятельное современное введение в машинное обучение (включая глубокое обучение), рассматриваемое сквозь объединяющую призму вероятностного моделирования и байесовской теории принятия решений. Включен базовый математический аппарат (в т. ч...
  9. Робот

    Скачать [ДМК] Замечательные математические кривые (Джулиан Хэйвилл)

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

    Скачать [ДМК] Изучаем Ray. Гибкие распределенные вычисления на Python в машинном обучении (Макс Пумперла, Эдвард Оукс)

    Данная книга поможет программистам на Python, инженерам и исследователям данных научиться применять фреймворк распределенных вычислений с открытым исходным кодом Ray и разворачивать вычислительные кластеры Ray. Ray может использоваться для структурирования и выполнения крупномасштабных программ...
  11. Робот

    Скачать [ДМК] Приручи данные с помощью Power Query в Excel и Power BI (Мигель Эскобар, Кен Пульс)

    Уму непостижимо, как легко и просто можно очистить данные с помощью Power Query в Excel или Power BI! Наши данные редко появляются на свет в готовом к работе виде, и у нас могут уходить долгие часы на их очистку, фильтрацию и преобразование. Power Query помогает сократить этот процесс при...
  12. Робот

    Скачать [ДМК] Приручи данные с помощью Power Query в Excel и Power BI (Мигель Эскобар, Кен Пульс)

    Уму непостижимо, как легко и просто можно очистить данные с помощью Power Query в Excel или Power BI! Наши данные редко появляются на свет в готовом к работе виде, и у нас могут уходить долгие часы на их очистку, фильтрацию и преобразование. Power Query помогает сократить этот процесс при...
  13. Робот

    Скачать [ДМК] Приручи данные с помощью Power Query в Excel и Power BI (Мигель Эскобар, Кен Пульс)

    Уму непостижимо, как легко и просто можно очистить данные с помощью Power Query в Excel или Power BI! Наши данные редко появляются на свет в готовом к работе виде, и у нас могут уходить долгие часы на их очистку, фильтрацию и преобразование. Power Query помогает сократить этот процесс при...
  14. Робот

    Скачать [ДМК] Приручи данные с помощью Power Query в Excel и Power BI (Мигель Эскобар, Кен Пульс)

    Уму непостижимо, как легко и просто можно очистить данные с помощью Power Query в Excel или Power BI! Наши данные редко появляются на свет в готовом к работе виде, и у нас могут уходить долгие часы на их очистку, фильтрацию и преобразование. Power Query помогает сократить этот процесс при...
  15. Робот

    Скачать [ДМК] Приручи данные с помощью Power Query в Excel и Power BI (Мигель Эскобар, Кен Пульс)

    Уму непостижимо, как легко и просто можно очистить данные с помощью Power Query в Excel или Power BI! Наши данные редко появляются на свет в готовом к работе виде, и у нас могут уходить долгие часы на их очистку, фильтрацию и преобразование. Power Query помогает сократить этот процесс при...
  16. Робот

    Скачать [ДМК] Приручи данные с помощью Power Query в Excel и Power BI (Мигель Эскобар, Кен Пульс)

    Уму непостижимо, как легко и просто можно очистить данные с помощью Power Query в Excel или Power BI! Наши данные редко появляются на свет в готовом к работе виде, и у нас могут уходить долгие часы на их очистку, фильтрацию и преобразование. Power Query помогает сократить этот процесс при...
  17. Робот

    Скачать [Pi-Bo] Как приучить собаку к наморднику (Надя Пигарева, Оксана Тюльпинова)

    Все, что нужно знать о намордниках: зачем они нужны и какими бывают, гуманно ли гулять с собакой в наморднике, как выбрать правильный и самое главное — как приучить к наморднику. Гуманно ли использовать намордник Стоит ли жалеть собак, которые носят намордник? Не причиняет ли намордник...
  18. Робот

    Скачать [Pi-Bo] Как отучить собаку тянуть поводок (Надя Пигарева, Оксана Тюльпинова)

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

    Скачать [Pi-Bo] Как отучить собаку гадить дома (Надя Пигарева, Оксана Тюльпинова)

    Гуманные методы коррекции Ни одна из причин нечистоплотности не является поводом для наказания. Негативная реакция хозяина и игнорирование могут не только усугубить проблему, но стать причиной деструктивного поведения, агрессии, страхов и апатии. Серьезная проблема Собаки по своей природе...
  20. Робот

    Скачать [Pi-Bo] Как научить собаку оставаться одной дома (Надя Пигарева, Оксана Тюльпинова)

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