Книги, похожие на «Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ», В. В. Девятков

Программирование инженерных задач на базе использования алгоритмов циклической структуры на языке C в среде VS C++

Программирование инженерных задач на базе использования алгоритмов циклической структуры на языке C в среде VS C++Ю. Е. Алексеев и др.

180 ₽

Машины в теории вычислимых функций. Учебное пособие

Машины в теории вычислимых функций. Учебное пособие Сергей Марченков и др.

810 ₽

Kubernetes на практике. Создание успешных платформ приложений

Kubernetes на практике. Создание успешных платформ приложений Джош Россо и др.Перевод Михаил Райтман

549 ₽

Архитектура компьютерных систем. Как собрать современный компьютер по всем правилам

Архитектура компьютерных систем. Как собрать современный компьютер по всем правилам Ноам Нисан и др.Перевод Олег Перфильев

399 ₽

или по подписке

Решение задач на современном С++

Решение задач на современном С++Мариус Бансила Перевод Александр Киселев

590 ₽

Спектральная теория самосопряженных операторов в гильбертовом пространстве

Спектральная теория самосопряженных операторов в гильбертовом пространстве

М. Ш. Бирман и др.

332 ₽

Нолик и двоичный код

Нолик и двоичный код Эжен Марсэль

Текст

119 ₽

или по подписке

Программные и аппаратные средства информатики

Программные и аппаратные средства информатики Ольга Андреева и др.

720 ₽

React: современные шаблоны для разработки приложений (pdf+epub)

React: современные шаблоны для разработки приложений (pdf+epub)Алекс Бэнкс и др.Перевод Сергей Черников

599 ₽

Грокаем функциональное программирование

Грокаем функциональное программирование Михал Плахта Перевод Л. Киселева

699 ₽

Грокаем функциональное мышление

Грокаем функциональное мышление Эрик Норманд Перевод Е. А. Матвеев

799 ₽

Классические задачи Computer Science на языке Python

Классические задачи Computer Science на языке Python Дэвид Копец Перевод Е. Полонская

599 ₽

Система защиты информации от несанкционированного доступа на основе «SecretNet 7»

Система защиты информации от несанкционированного доступа на основе «SecretNet 7»Иван Рева и др.

120 ₽

Обработка естественного языка в действии

Обработка естественного языка в действии Лейн Хобсон и др.Перевод Сергей Черников и др.

609 ₽

Системное программирование в среде Linux

Системное программирование в среде Linux А. В. Гунько

284 ₽

Сверточные нейросети

Сверточные нейросети Джейд Картер

Текст

490 ₽

или по подписке

Head First. Git. Лучший способ понять Git изнутри

Head First. Git. Лучший способ понять Git изнутри Раджу Ганди

549 ₽

Глубокое обучение. Самый краткий и понятный курс

Глубокое обучение. Самый краткий и понятный курс Джон Д. Келлехер Перевод Михаил Райтман

539 ₽

Внутреннее устройство Windows (pdf+epub)

Внутреннее устройство Windows (pdf+epub)Марк Руссинович и др.Перевод Е. А. Матвеев

699 ₽

Идеи машинного обучения. От теории к алгоритмам

Идеи машинного обучения. От теории к алгоритмам Шай Шалев-Шварц и др.Перевод А. А. Слинкин

990 ₽

Математический анализ. Задачи и упражнения. Часть 1

Математический анализ. Задачи и упражнения. Часть 1 В. Г. Кротов и др.

619 ₽

Математический анализ. Задачи и упражнения. Часть 2

Математический анализ. Задачи и упражнения. Часть 2 В. Г. Кротов и др.

700 ₽

Информационные технологии анализа данных в медицине и фармации на основе открытого программного обеспечения. (Аспирантура, Бакалавриат, Магистратура). Учебное пособие.

Информационные технологии анализа данных в медицине и фармации на основе открытого программного обеспечения. (Аспирантура, Бакалавриат, Магистратура). Учебное пособие.Николай Николаевич Зубов и др.

1 400 ₽