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

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

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

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

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

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

«Готовим плацдарм». Что сделать для профилактики сопротивлений при внедрении CRM, воронки, сценариев и скриптов продаж, и новых зарплат. «Настоящих буйных мало». По каким критериям выбрать неформальных лидеров для воздействия на коллектив. Вербовка. Как «продать» неформальному лидеру идею...

Программа курса Блок 4. Синтез методов прогноза и основы ректификации (8 лекций, 16 часов) Тема «Синтез методов прогноза»: обобщение знаний о методах прогноза, выявление ключевых тем, подходы к прогнозированию для различных временных интервалов, практикум. Тема «Основы ректификации»...

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

Книга научит вас создавать современные модели глубокого обучения с помощью самых мощных и популярных фреймворков TensorFlow, Keras и PyTorch. Независимо от того, являетесь ли вы опытным специалистом в области машинного обучения или только начинаете свою карьеру, она снабдит вас инструментами и...

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

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

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

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

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

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

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

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

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

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

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