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

  1. Робот

    Скачать [ДМК] Доказательство корректности программ (К. Рустан, М. Лейно)

    Данная книга учит формально рассуждать о компьютерных программах, используя последовательный подход и язык программирования Dafny, поддерживающий верификацию. Показано, как писать спецификации для программ, как удовлетворить требования этих спецификаций и как писать доказательства корректности...
  2. Скачать [ДМК] Реверс-инжиниринг встраиваемых систем (Алексей Усанов)

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

    Скачать HR-аналитика. Практическое руководство по работе с персоналом на основе больших данных (Дэйв Миллнер, Надим Хан)

    Первая книга об HR-аналитике на русском языке Понятно о том, где HR-специалисту найти данные в организации, как их собрать и проанализировать, а также как использовать для повышения эффективности бизнеса. Передовой опыт компаний, использовавших HR-аналитику: AstraZeneca, Brompton Bikes...
  4. Скачать Новая модель организации. Как построить более сильную и гибкую организацию. Аудиокнига (Дэйв Ульрих, Артур Юнг)

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

    Скачать [ДМК] Apache Pulsar в действии (Давид Хьеррумгор)

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

    Скачать [ДМК] Как управлять ядерным реактором (Колин Таккер)

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

    Эта книга познакомит вас со всеми приемами и секретами восточного массажа. Благодаря четким инструкциям и подробным иллюстрациям вы легко овладеете всеми его приемами, потратив минимум времени на изучение и подготовку. – Помощь при головокружениях. – Условия для проведения массажа. –...
  8. Скачать [ДМК] Хорошо ли вы знаете JavaScript? (Фараз Келхини)

    Если вам доводилось испытывать радость при виде элегантного кода или восторг при решении трудной задачи, то эта книга для вас. В ней собраны необычные задачи на JavaScript, призванные раскрыть нюансы и особенности языка. Разработчики должны знать о них, если хотят писать надежный и предсказуемый...
  9. Скачать [ДМК] Доказательства из Книги. Перевод 6 издание (Мартин Айгнер)

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

    Скачать [ДМК] Шаблоны и практика глубокого обучения (Эндрю Ферлитш)

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

    Скачать [ДМК] Шаблоны и практика глубокого обучения (Эндрю Ферлитш)

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

    Скачать [ДМК] Шаблоны и практика глубокого обучения (Эндрю Ферлитш)

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

    Скачать [ДМК] Шаблоны и практика глубокого обучения (Эндрю Ферлитш)

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

    Скачать [ДМК] Шаблоны и практика глубокого обучения (Эндрю Ферлитш)

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