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

Полное удаление всего вечного (или нет) и глубоко запрограммированного в вас, чтобы причинить вред, и вызывающего неудовлетворенность - все тела, все временные линии измерений, завершают перезагрузку всех тел, личности, ума, духа души, глаз, голоса, внешнего вида, интеллекта, энергии, структуры...

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

Видеозаписи Суперлекции 23.06.19. Технологии Лордов Магии и Метео Магия

Издание: Черно-белое Оригинальное название: "The Python Workbook" Оригинальный правообладатель: Springer Автор: Стивенсон Б. Дата выхода: январь 2021 года Формат: 165 * 235 мм Бумага: офсетная Обложка: Мягкая обложка ISBN: 978-5-97060-916-9 Вес: 500 pdf от издателя Данный сборник...

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

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

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

Перед вами 5-е издание бестселлера, в котором показана пошаговая разработка полнофункциональных веб-приложений с аутентификацией, системами управления контентом, обработки платежей, RESTful API и прочими функциональными возможностями. Излагаются основные принципы Django, включая модели...

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

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

В этой книге представлены концепции, лежащие в основе современных коммуникационных сетей. Приводится обзор интернет- технологий, рассматривается работа Ethernet, сетей Wi- Fi, транспортных протоколов. Кратко обсуждаются технологии физического уровня, лежащие в основе различных сетей. Наконец...

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

Книга содержит полное руководство по Pyomo (Python Optimization Modeling Objects) — пакету с открытым исходным кодом, предназначенному для формулирования и решения крупномасштабных задач оптимизации. Pyomo включает классы Python для определения разреженных множеств, параметров и переменных, с...

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

Юлия Снеговая Система Классификации Программ Новый системный подход, разработанный Юлией Снеговой: 9 ключей-категорий, которые помогут увидеть глубинную суть каждой программы и тонкие отличия между, казалось бы, похожими программами. На вебинаре: Поймете главный принцип объединения программ в...

Простой, последовательный, наглядный и необременительный путь изучения искусственного интеллекта! Маки Сакамото, преподавательница университетского курса по искусственному интеллекту (ИИ), приветствует нового студента: это высокофункциональный робот, который хочет разобраться, как он устроен...

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

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

В книге приведены правила безопасного кодирования на языке программирования C++ в соответствии со стандартом SEI CERT. Их цель – помочь в разработке безопасных и надежных систем, в частности путем устранения неопределенного поведения, которое может привести к появлению уязвимостей. Каждое...

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