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

FPGA (Field-Programmable Gate Array, программируемые пользователем вентильные матрицы, ПЛИС) в настоящее время стали основной частью большинства современных электронных и компьютерных систем. Чтобы реализовать свои идеи на основе FPGA, вам необходимо разобраться в их архитектуре, освоить набор...

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

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

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

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

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

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

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

Оригинальное название: "How Computers Really Work: A Hands-On Guide to the Inner Workings of the Machine" Эта книга по экосистеме персонального компьютера: от оперативной памяти, тактовых сигналов и машинного кода до языков программирования, операционных систем и интернета. Но вы не просто...

Издание: Черно-белое Автор: Фукамура Аки Дата выхода: апрель 2021 года Объем, стр.: 208 pdf от издателя Простой, последовательный, наглядный и необременительный путь изучения электрооборудования! Юи, дочь владельцев отеля, мечтает возвести на его месте настоящий замок. Но прежде чем строить...

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

Дорогие мои ! Приглашаю вас принять участие в уникальном Курсе-практикуме "Ключи к богатству и предназначению"! Практикум состоит из 10 занятий по 4 часа. Начало-17 ноября 2023 года. Есть возможность оплачивать поурочно. Зафиксировать цену можно, внеся предоплату Занятие №6 ПЛАН: 1. Практика...

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

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

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

МАСТЕР-КЛАСС "ЧЕМОДАНЧИК ДЛЯ РУКОДЕЛИЯ" в технике тканевого картонажа Скрытый текст. Доступен только зарегистрированным пользователям. Благодаря этому пособию вы создадите небольшой уютный сундучок для вышивальных процессов. Научитесь делать шкатулку с откидной крышкой на высоком внутреннем...

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

Издание: Цветное Оригинальное название: "Digital Lighting and Rendering" Оригинальный правообладатель: Pearson Автор: Боуэн К. Дж. Дата выхода: декабрь 2021 года Формат: 165 * 235 мм Бумага: мелованная Обложка: Твердый переплет Объем, стр.: 466 ISBN: 978-5-97060-990-3 Вес: 900 Формат: PDF от...

Издание: Черно-белое Автор: Засов А. В., Постнов К. А. Дата выхода: декабрь 2021 года Объем, стр.: 576 ISBN: 978-5-89818-232-8 Формат: pdf Описание: Используемые людьми технологии зависят от существующих в наличии материалов. Не случайно многие периоды в истории человечества – от каменного века...

Оригинальное название: "Learn WinUI 3.0" WinUI 3.0 знаменует новый подход к доставке компонентов и элементов управления пользовательского интерфейса Windows UI, позволяющий использовать одни и те же компоненты в Windows 10 и следующих версиях этой ОС. Перед вами подробное введение в WinUI и...