Meet your next favorite book
Впишите название книги, которая вам понравилась,
и выберите наиболее похожую на нее.

Книги, похожие на «Олег Варламов, Мивар: Линейный логический вывод»

Тимур Машнин
Apache Hadoop - это платформа для распределенной обработки больших наборов данных на кластерах компьютеров с использованием простых моделей программирования. В этой книге вы познакомитесь с общей архитектурой платформы, компонентами стека, такими как HDFS и MapReduce, приложениями Hadoop.
Андрей Дементьев
Эта книга о том, как создать «умный» дом XXI века, жить в котором будет комфортно, удобно и безопасно. Книга рассчитана на широкий круг читателей, не обладающих специальным образованием. В ней нет детальных инструкций, но четко описывается конечный результат. Многие вещи, кажущиеся фантастическими, могут быть легко реализованы. Вы узнаете возможности современных систем автоматизации и сможете реализовать свои самые неожиданные мечты и создадите свой дом будущего уже сегодня.
Сергей Соболенко
Эта книга подарит путешествие в увлекательный мир строковых данных, открывающий новые возможности для исследования искусственного интеллекта. В ней вы найдете множество примеров и иллюстраций, а кроме того, идей, до этого момента неопубликованных. Она будет полезна и интересна как новичку в теме программирования, так и искушенному читателю, интересующемуся наукой и технологиями.
Понравилось, что мы предложили?