дмк

Перед вами руководство по LLVM 17 – системе разработки компиляторов и сопутствующих библиотек на C++. Вы узнаете, как написать и использовать реальные компиляторы, включая фронтальную часть, конвейер оптимизации и кодогенератор. Краткое содержание: конфигурирование, компиляция и установка LLVM...

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

Создание своего первого игрушечного приложения для iOS или Mac на языке Swift – это весело. Написание безопасного, надежного программного обеспечения профессионального уровня – совсем другое дело. Язык Swift включает в себя удивительный набор очень мощных функций и поддерживает широкий диапазон...

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

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

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

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

Цель данной книги – укрепить навыки логического рассуждения и развить творческое мышление, представив и решив 90 не самых простых задач на Python. Задачи изложены доходчиво и сжато, снабжены с алгоритмами и комментариями, что помогает читателям следить за процессом их решения и понимать его...

Книга посвящена основам администрирования операционной системы Raspberry Pi OS с особым акцентом на Python. Главной идеей является применение подсистемы systemd для гарантирования действенной и эффективной работы ядра Linux при обеспечении всех трех краеугольных камней работы современного...

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

Второе издание книги посвящено свободно распространяемому математическому пакету Scilab. Описан язык программирования Scilab. Особое внимание уделено визуальным средствам программирования. Описаны графические возможности пакета. Подробно рассмотрено решение математических задач (нелинейные...

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

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

В книге на наглядных примерах показано, как использовать встроенные графические примитивы Python – точки, линии и стрелки — для создания сложной графики, визуализации двух- и трехмерных объектов, диаграмм с данными и технических иллюстраций. Изучив книгу, вы сможете: • cоздавать 2D- и...

Раскройте возможности PyCharm для создания деловых, научных и веб-приложений на Python! PyCharm – лучшая профессиональная среда разработки для программистов Python среди множества доступных интегрированных сред. Независимо от того, в каких целях используется Python – для общих задач...

PDF издателя Издание: Черно-белое Автор: Такаяма Яма, Фудзитаки Кадзухиро Объем, стр.: 210 Эта манга о системах автоматического управления, которые окружают нас везде - в лифтах, светофорах, стиральных машинах и другой технике. Они делают нашу жизнь легче и удобнее, позволяют экономить...

«Захватывающий рассказ о том, чем занимаются археологи». Common Sense Media Эта книга отправляет читателей в путешествие по увлекательному миру археологии. Мы выясним, как жили представители древних цивилизаций и как учёные об этом узнали. Наш маршрут включает важные археологические шаги: поиск...

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

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

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