Вы используете устаревший браузер. Этот и другие сайты могут отображаться в нём некорректно. Вам необходимо обновить браузер или попробовать использовать другой.
Данная книга учит формально рассуждать о компьютерных программах, используя последовательный подход и язык программирования Dafny, поддерживающий верификацию. Показано, как писать спецификации для программ, как удовлетворить требования этих спецификаций и как писать доказательства корректности...
Робот
Тема
dafny
дмк
к. рустан
м. лейно
программирование
программный код
язык
Книга поможет найти ответы на вопросы:
Как проводить исследование встраиваемых систем?
Из каких компонентов они состоят?
Как получить прошивку устройства и какие уязвимости могут в этом помочь?
Чем отличается реверс-инжиниринг прошивок и ПО?
Что нужно для динамического анализа устройства?
Как...
Aноним
Тема
алексей усанов
встраиваемые системы
динамический анализ
дмк
реверс-инжиниринг встраиваемых систем
Первая книга об HR-аналитике на русском языке
Понятно о том, где HR-специалисту найти данные в организации, как их собрать и проанализировать, а также как использовать для повышения эффективности бизнеса.
Передовой опыт компаний, использовавших HR-аналитику: AstraZeneca, Brompton Bikes...
Робот
Тема
hr-аналитика
дэйв миллнер
на основе больших данных
надим хан
практическое руководство по работе с персоналом
Эта книга содержит таблицы, графики и иллюстрации ввиде ПДФ-файла, который вы можете скачать на странице аудиокниги на сайте после её покупки.
Традиционная иерархическая организация мертва, в этом мало кто сомневается. Но что должно прийти ей на смену? Артур Юнг и Дэйв Ульрих уверены, что...
Aноним
Тема
hr-менеджмент
артур юнг
дэйв ульрих
инновационное развитие
конкурентные преимущества
мировой опыт
моделирование рыночных процессов
продуктивность
советы профессионалов
Надежный обмен сообщениями между серверами является сердцем распределенного приложения. Apache Pulsar — это гибкая платформа обмена сообщениями в реальном времени, созданная для работы в Kubernetes и обеспечивающая масштабируемость и отказоустойчивость, необходимые для облачных систем. Pulsar...
Робот
Тема
apache pulsar в действии
kubernetes
pulsar
давид хьеррумгор
обмен сообщениями между серверами
Эта книга объясняет, как устроен и как действует ядерный реактор и что нужно знать его оператору для обеспечения стабильной и безопасной работы
Коротко изложена история развития ядерных реакторов, представлены различные их типы и подробно рассмотрен один из них – водо-водяной реактор (PWR)...
Робот
Тема
how to drive a nuclear reactor
дмк
как управлять ядерным реактором
колин таккер
Эта книга познакомит вас со всеми приемами и секретами восточного массажа. Благодаря четким инструкциям и подробным иллюстрациям вы легко овладеете всеми его приемами, потратив минимум времени на изучение и подготовку.
– Помощь при головокружениях.
– Условия для проведения массажа.
–...
Aноним
Тема
акупунктура
биоэнергетика
валентин селиванов
восточная медицина
здоровье
лечение без лекарств
рефлексотерапия
самомассаж
точечный массаж
Если вам доводилось испытывать радость при виде элегантного кода или восторг при решении трудной задачи, то эта книга для вас. В ней собраны необычные задачи на JavaScript, призванные раскрыть нюансы и особенности языка. Разработчики должны знать о них, если хотят писать надежный и предсказуемый...
Aноним
Тема
javascript
дмк
фараз к. келхини
хорошо ли вы знаете javascript
В книге приведены красивые и изящные доказательства многих результатов из различных областей математики.
Среди них:
Бесконечность множества простых чисел
Представление чисел ввиде суммы двух квадратов
Третья проблема Гильберта
Теорема Коши о жесткости
Гипотеза Борсука
Теорема Пойа о...
Aноним
Тема
дмк
доказательства из книги
мартин айгнер
математика
перевод 6 издание
Откройте для себя шаблоны конструирования и воспроизводимые архитектуры, которые направят ваши проекты глубокого обучения от стадии разработки к реализации.В книге рассматриваются актуальные примеры создания приложений глубокого обучения с учетом десятилетнего опыта работы автора в этой области...
Робот
Тема
дмк
практика глубокого обучения
шаблоны и практика глубокого обучения
эндрю ферлитш
Откройте для себя шаблоны конструирования и воспроизводимые архитектуры, которые направят ваши проекты глубокого обучения от стадии разработки к реализации.В книге рассматриваются актуальные примеры создания приложений глубокого обучения с учетом десятилетнего опыта работы автора в этой области...
Робот
Тема
дмк
практика глубокого обучения
шаблоны и практика глубокого обучения
эндрю ферлитш
Откройте для себя шаблоны конструирования и воспроизводимые архитектуры, которые направят ваши проекты глубокого обучения от стадии разработки к реализации.В книге рассматриваются актуальные примеры создания приложений глубокого обучения с учетом десятилетнего опыта работы автора в этой области...
Робот
Тема
дмк
практика глубокого обучения
шаблоны и практика глубокого обучения
эндрю ферлитш
Откройте для себя шаблоны конструирования и воспроизводимые архитектуры, которые направят ваши проекты глубокого обучения от стадии разработки к реализации.В книге рассматриваются актуальные примеры создания приложений глубокого обучения с учетом десятилетнего опыта работы автора в этой области...
Робот
Тема
дмк
практика глубокого обучения
шаблоны и практика глубокого обучения
эндрю ферлитш
Откройте для себя шаблоны конструирования и воспроизводимые архитектуры, которые направят ваши проекты глубокого обучения от стадии разработки к реализации.В книге рассматриваются актуальные примеры создания приложений глубокого обучения с учетом десятилетнего опыта работы автора в этой области...
Робот
Тема
дмк
практика глубокого обучения
шаблоны и практика глубокого обучения
эндрю ферлитш