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

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

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

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

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

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

Социалистическая идея: от утопии к практике В цикле лекций известного историка А.В. Шубина «Социалистическая идея: от утопии к практике» пойдет речь о развитии взглядов на оптимальное человеческое общество, превосходящее по своим качествам капитализм, об утопии, то есть «месте, которого нет»...

Об аудиокниге Автор бестселлера «Вскрытие покажет» Алексей Решетун на этот раз рассказывает о малоизвестной стороне профессии судмедэксперта – о работе с живыми. Ведь судмедэксперт имеет дело не только с мертвыми, но и с пострадавшими и потерпевшими после бытовых конфликтов, пьяных ссор, ДТП и...

Описание книги "Книга "Python и нейросети: Революционный подход к изучению программирования" предлагает комплексный взгляд на программирование и искусственный интеллект. От основ Python до продвинутых нейросетей, читатели научатся манипулировать данными с помощью TensorFlow и PyTorch, исследуют...

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

Программируйте весело и эффективно – изучайте Kotlin с удовольствием! Эта книга проведет вас по основам языка шаг за шагом – с забавными иллюстрациями, понятными примерами и четкими объяснениями. Вы усвоите основные понятия по порядку и без лишней сложности, построив прочную базу знаний. Автор...

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

Эта книга продолжает учебник «PostgreSQL. Основы языка SQL», вышедший несколько лет назад. Пришла пора подняться на следующую ступень - освоить язык SQL на профессиональном уровне. Вы научитесь: понимать план выполнения и писать эффективные запросы; применять встроенные оконные и...

Онлайн курс «ЭФФЕКТ БАБОЧКИ. Щитовидная железа. Перезагрузка» Для кого этот курс? ➤ Если вы испытываете постоянную необъяснимую усталость с самого утра, дискомфорт со стороны ЖКТ, перепады настроения в течение дня ➤ Если у вас выпадают волосы, слоятся ногти, имеются высыпания на лице и теле...

Данное пособие предназначено для отработки практических умений и навыков учащихся при подготовке к экзамену по математике в 11 классе в формате ЕГЭ на базовом уровне. Оно содержит варианты тренировочных работ по математике, опубликованных в системе СтатГрад в 2022/23 учебном году. Варианты...

М.: АСТ, 2015. — 84 с. — (Нектар для души). — ISBN 978-5-17-092234-5. Книга-бестселлер, занимающая первые строчки в рейтингах уже более 25 лет! Психотерапевтический детектив, основанный на реальной истории болезни, записанной уважаемым психиатром! Практикующий врач, глава отделения психиатрии...

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

АННОТАЦИЯ Фреймворк Blazor от компании Microsoft позволяет создавать интерактивные веб-компоненты, которые изначально запускаются в браузере без подключаемых модулей или транспайлеров. А поскольку весь код написан на языке C#, его можно с легкостью использовать для разработки серверной и...

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

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

Сборник упражнений ориентирован на тех, кто уже усвоил начальный курс румынского языка, имеет базовые знания в области грамматики и владеет основным лексическим запасом. В пособии представлены упражнения по грамматическим темам уровня В1-В2. Упражнения основаны на примерах из современного...