Результаты поиска по запросу: [ДМК] Проектирование гибких программ (Крис Хансон, Джеральд Джей Сассман)

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

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

В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге...

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

АННОТАЦИЯ Фреймворк Blazor от компании Microsoft позволяет создавать интерактивные веб-компоненты, которые изначально запускаются в браузере без подключаемых модулей или транспайлеров. А поскольку весь код написан на языке C#, его можно с легкостью использовать для разработки серверной и...

В книге заново разобраны и переосмыслены классические паттерны объектно-ориентированного проектирования на примере и с учётом всех возможностей современного языка C++. Указаны сильные стороны базовых паттернов проектирования, даны рекомендации по их сочетаемости, рассмотрены роли различных...

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

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

Даны практические рекомендации по использованию популярных отладчиков, таких как NuMega SoftIce, Microsoft Visual Studio Debugger и Microsoft Kernel Debugger. Показано, как работают отладчики и как противостоять дизасемблированию программ. Описаны основные защитные механизмы коммерческих...

Хотите заглянуть внутрь черного ящика подсистемы оперативной памяти? Хотите научиться минимальными усилиями создавать эффективный программный код, исполняющийся вдвое-втрое быстрее обычного? Хотите использовать возможности современного оборудования на полную мощь? Тогда — вы не ошиблись в выборе...

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

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

SystemVerilog – язык описания аппаратуры, позволяющий инженерам работать с моделями высокого уровня абстракции, что отвечает сложности современных систем на базе СБИС и ПЛИС. Цель книги – дать представление о широком спектре возможностей языка и заложить фундамент для дальнейшего изучения...

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

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

О книге В новой книге из серии "642 идеи" вас ждет коллекция нестандартных идей для самых разных сюжетов. Просто возьмите ручку и напишите продолжение! Дайте волю фантазии и навсегда попрощайтесь со страхом перед чистым листом. От авторов Все мы в "Пещере писателей Сан-Франциско" - мастерской...

Описание книги Как найти внутренний стержень? На что можно опираться, когда во внешнем мире все так нестабильно и пугающе? Где источник внутренней силы и спокойствия? Истинная стойкость – это больше, чем просто терпение в ужасных условиях. Нам нужна настоящая устойчивость каждый день, чтобы...

Описание: Как найти внутренний стержень? На что можно опираться, когда во внешнем мире все так нестабильно и пугающе? Где источник внутренней силы и спокойствия? Истинная стойкость – это больше, чем просто терпение в ужасных условиях. Нам нужна настоящая устойчивость каждый день, чтобы растить...

Описание составлено в двух вариантах длины для восьми размеров: S/M/L/1X/2X/3X/4X/5X. Предлагаемая пряжа: камвольная средней толщины Naked Wools Chebris Worsted, Kent Worsted, или Confection Worstedб либо любая объемная, мягкая пряжа, подходящая для получения нужной плотности. Замена пряжи и...

Программа курса:6 видеоуроков и 6 практических заданий Введение. Урок 1. Группы мышц и суставов. Урок 2. Зарядка для рук с опорой. Урок 3. Зарядка для рук без опоры с рычагами. Урок 4. Зарядка для рук с палкой и ремнем. Урок 5. Зарядка для рук без опоры. Урок 6. Самомассаж.