Прочие издания
Вес 420

Описание:
Рассматриваются основные теоретические понятия логического программирования, а также приемы и методы программирования на языке Пролог. Изучаются основы программирования на языке Visual Prolog 9. Изложение сопровождается большим числом примеров программ и иллюстраций. Приводятся упражнения для самостоятельной работы. Для студентов и аспирантов, специализирующихся в области информационных технологий, прикладной математики и информатики, программной инженерии, разработки и анализа интеллектуальных систем, а также программистов и всех интересующихся практическим использованием логического программирования.

Описание:
Данная книга предназначена для разработчиков, уже знакомых с языком DAX и желающих повысить свою квалификацию, используя представленные здесь шаблоны. В большинстве из них применяются продвинутые техники DAX, которые читателю следует освоить и использовать в своих рабочих сценариях. Авторы уделяют пристальное внимание сценариям с использованием функций логики операций со временем, а также рассматривают большое количество действительно полезных шаблонов, наиболее часто встречающихся на практике. Для каждого шаблона предоставляются демонстрационные файлы в формате Power BI и Power Pivot для Excel. Иногда версии кода незначительно отличаются. Предпочтение отдается программному продукту Power BI, в котором на момент написания книги реализованы все актуальные новинки DAX. Рассматриваемые шаблоны проверены в июньской версии Power BI 2020 года, Excel 2019 и Excel для Microsoft 365 версии 2006. Авторы книги – одни из ведущих специалистов в области бизнес-аналитики, основавшие сайт SQLBI.com, на котором регулярно публикуются статьи по DAX и другим инструментам Microsoft, и выпустившие «Подробное руководство по DAX» для начинающих пользователей.

Описание:
Предлагаемая книга представляет собой сборник задач, вопросов и упражнений по проектированию логических схем, который ориентирован на ликвидацию разрыва между теоретическими и практическими учебными курсами по автоматизированному проектированию. Сборник содержит задачи как по теоретическим основам проектирования - анализу, синтезу, моделированию и верификации логических схем, так и по разработке алгоритмических и структурных спецификаций логических схем на языке VHDL, являющемся стандартным языком описания проектов цифровых интегральных схем в современных системах автоматизированного проектирования (САПР). Сборник задач рассчитан на студентов и аспирантов соответствующих специальностей.

Описание:
В книге рассмотрена новейшая версия Kubernetes 1.10. Kubernetes – это система с открытым кодом, предназначенная для работы с контейнерными приложениями, их развертывания, масштабирования, управления ими. Если вы хотите запустить дополнительные контейнеры или автоматизировать управление, то вам не обойтись без Kubernetes. Книга начинается с изучения основ Kubernetes, архитектуры и компоновки этой системы. Вы научитесь создавать микросервисы с сохранением состояния, ознакомитесь с такими продвинутыми возможностями, как горизонтальное автомасштабирование подов, выкатывание обновлений, квотирование ресурсов, обустроите долговременное хранилище на бэкенде. На реальных примерах вы исследуете возможности сетевой конфигурации, подключение и настройку плагинов. Эта книга поможет вам стать искусным дирижером и обращаться с контейнерными системами любой сложности.

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

Описание:
Рассматриваются проблемы функциональной верификации проектов синхронных цифровых устройств, представленных на языке VHDL, который широко используется в качестве языка исходного описания проектов при создании электронной аппаратуры на современной элементной базе сверхбольших интегральных схем и систем-на-кристалле. Под функциональной верификацией понимается проверка соответствия VHDL-описаний проектов спецификациям на проектирование. Основное внимание уделяется верификации VHDL-описаний блоков управляющей логики и сложных функциональных блоков, а также подготовке компактных функциональных тестов. Включено большое число примеров, которые могут быть использованы для совершенствования навыков написания VHDL-программ и навыков практической работы в системе Questa Sim при промышленном проектировании. Для студентов, магистрантов и аспирантов, изучающих язык VHDL и его применение в системах автоматизированного проектирования, а также для специалистов, занимающихся проектированием цифровых устройств и систем.