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

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

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

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

Книги по информационной безопасности (ИБ) преимущественно делятся на две группы: в одних большей частью присутствует нормативная информация и мало сведений о технической реализации угроз и защите от них, в других описываются только технические аспекты (серии «...глазами хакера»). Данная книга...

Описание книги: В этой книге подробно рассказывается о новом стандарте С++20. Для тех, кто незнаком с С++20, приводится краткий обзор, далее рассматриваются ключевые возможности языка. Вы получите представление о ключевых изменениях в ядре языка (концепты и модули), новой библиотеке диапазонов...

Чему мы обучим? Что такое Технология Информационного Моделирования зданий (BIM) и как её применять? Как организовать работу с информационной моделью Создание семейств Подробно и поэтапно разбираем процесс создания семейств Изучим инструменты Revit Разбираемся с интерфейсом и возможностями...

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

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

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

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

pdf от издателя В книге освещаются основополагающие вопросы, относящиеся к структурам данных в Python. Теоретические концепции и абстрактные понятия подкреплены простыми примерами. Порядок следования глав соотносится с задачами обработки структур данных. В числе рассматриваемых тем: • основы...

Захватывающая история того, как шаг за шагом добывалось геологическое знание, связанное с нашей планетой: как определялся ее возраст, состав, «нрав», раскрывались глубинные процессы. Каждая из 25 глав книги рассказывает, как геологи, палеонтологи и океанологи искали ответы на свои вопросы в...

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

М.: ACT: Астрель, 2005. — 48 с.: ил. — (Вся правда о...). — ISBN: 5-17-029219-8, 5-271-11806-1. Широко известно, что на протяжении веков любые проявления сверхъестественного трактовались как проделки дьявола, а впоследствии было доказано, что отдельные случаи прекрасно иллюстрируют законы...

Пер. с англ. — М.: АСТ; Астрель, 2005. — 49 с. — (Вся правда о...) — ISBN 5-17-027540-4. С помощью вызова духов вы можете узнать, как улучшить ваше финансовое положение, привнести в свою жизнь любовь и достичь успеха, к которому вы стремитесь. Вызовы - это безопасный способ узнать у богов...

Трехдневный семинар Первый день: «Потерянная и возвращенная Душа-Ребенок в психотерапии ранней травмы». Второй день: «Душа в аду и ее освобождение: понимание клинической депрессии в свете «Божественной комедии» Данте». Третий день: «Юнг и диссоциация в свете новейших теорий травмы»...

5 октября 2023 года на нашей программе начинается цикл онлайн-семинаров известного британского психоаналитика Дональда Кэмпбелла «Теория и клиника: агрессия и насилие, предсуицидальные состояния и перверсия». Доктор Кэмпбелл — тренинг-аналитик, супервизор, заслуженный психоаналитик и...

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

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

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