Результаты поиска по запросу: [ДМК] Kotlin в иллюстрациях (Дэйв Лидс)

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

Книга поможет найти ответы на вопросы: Как проводить исследование встраиваемых систем? Из каких компонентов они состоят? Как получить прошивку устройства и какие уязвимости могут в этом помочь? Чем отличается реверс-инжиниринг прошивок и ПО? Что нужно для динамического анализа устройства? Как...

Первая книга об HR-аналитике на русском языке Понятно о том, где HR-специалисту найти данные в организации, как их собрать и проанализировать, а также как использовать для повышения эффективности бизнеса. Передовой опыт компаний, использовавших HR-аналитику: AstraZeneca, Brompton Bikes...

Эта книга содержит таблицы, графики и иллюстрации в виде ПДФ-файла, который вы можете скачать на странице аудиокниги на сайте после её покупки. Традиционная иерархическая организация мертва, в этом мало кто сомневается. Но что должно прийти ей на смену? Артур Юнг и Дэйв Ульрих уверены, что...

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

Эта книга объясняет, как устроен и как действует ядерный реактор и что нужно знать его оператору для обеспечения стабильной и безопасной работы Коротко изложена история развития ядерных реакторов, представлены различные их типы и подробно рассмотрен один из них – водо-водяной реактор (PWR)...

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

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

В книге приведены красивые и изящные доказательства многих результатов из различных областей математики. Среди них: Бесконечность множества простых чисел Представление чисел в виде суммы двух квадратов Третья проблема Гильберта Теорема Коши о жесткости Гипотеза Борсука Теорема Пойа о...

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

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

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

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

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