Вы используете устаревший браузер. Этот и другие сайты могут отображаться в нём некорректно. Вам необходимо обновить браузер или попробовать использовать другой.
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге...
Сверхбыстрый Python
Быстрый код на чистом Python, оптимизированные библиотеки и аппаратное обеспечение, позволяющее использовать все преимущества параллельной обработки данных, – это цена входа в мир машинного обучения и анализа больших данных. Книга, которую вы держите в руках, предлагает...
Перед вами обновленное издание бестселлера "PostgreSQL изнутри".
Рассматривается внутреннее устройство СУБД PostgreSQL: детали реализации многоверсионности и изоляции на основе снимков данных, включая процедуру очистки неактуальных версий строк; буферный кеш и журнал предзаписи; использование...
Программируйте весело и эффективно – изучайте Kotlin с удовольствием!
Эта книга проведет вас по основам языка шаг за шагом – с забавными иллюстрациями, понятными примерами и четкими объяснениями. Вы усвоите основные понятия по порядку и без лишней сложности, построив прочную базу знаний. Автор...
Эта книга продолжает учебник «PostgreSQL. Основы языка SQL», вышедший несколько лет назад. Пришла пора подняться на следующую ступень - освоить язык SQL на профессиональном уровне.
Вы научитесь:
понимать план выполнения и писать эффективные запросы;
применять встроенные оконные и...
Aноним
Тема
postgresql
дмк
евгений моргунов
профессиональный sql
Описание книги:
Бывает так, что при написании программы вы попадаете в тупик. Возможно, это потому, что вы, как оказалось, не учли некоторые особенности исходной задачи. Однако до обидного часто дело в том, что на на-чальной стадии проектирования вы приняли какое-то решение, выбрали какую-то...
Платформа для самостоятельного изучения основ компьютерных наук для программистов, от архитектуры компьютеров до распределенных систем. Перестань смотреть лекции и начни решать реальные задачи!
Учись на практике
Основой CS Primer является последовательность задач по программированию...
Aноним
Тема
cs primer
learn computer science
learn computer science by writing code
python
Стандартные алгоритмы и структуры при применении к крупным распределенным наборам данных могут становиться медленными — или вообще не работать. Правильный подбор алгоритмов, предназначенных для работы с большими данными, экономит время, повышает точность
и снижает стоимость обработки.
Книга...
Робот
Тема
hyperloglog
алгоритмы
алгоритмы и структуры
джейла меджедович
для массивных наборов данных
дмк
набросок count-min
фильтры блума
эмин тахирович