Компьютерные науки / Computer Science

Книга представляет собой комплексное пособие, раскрывающее современные подходы к разработке и внедрению искусственных нейронных сетей в реальных проектах. Она ориентирована на разработчиков, data…

«Оптимизирующие компиляторы» – настольная книга специалиста, который решил не просто укрепить свои знания, но и вывести навыки на новый уровень. Вместе с Константином Владимировым вы разберете те…

Книга посвящена популярным библиотекам прогнозирования временных рядов Prophet, sktime, ETNA и Greykite. Разбирается математический аппарат и API каждой библиотеки. Показаны примеры решения задач…

В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы п…

Книга основана на курсах лекций по формальным методам верификации программ, читаемых автором на кафедрах системного программирования МГУ, МФТИ и ВШЭ. Список тем включает: методы формализации сема…

Перед вами руководство по LLVM 17 – системе разработки компиляторов и сопутствующих библиотек на C++. Вы узнаете, как написать и использовать реальные компиляторы, включая фронтальную часть, конв…

В этом руководстве исследуется современное трехмерное глубокое обучение: приводятся пошаговые объяснения базовых понятий и концепций, а также практические примеры, на основе которых вы сможете со…

Дополняя ранее изданную книгу «Вероятностное машинное обучение. Введение», этот классический труд знакомит читателя с деталями самых актуальных теорий и методов машинного обучения (МО). В «Дополн…

Дополняя ранее изданную книгу «Вероятностное машинное обучение. Введение», этот классический труд знакомит читателя с деталями самых актуальных теорий и методов машинного обучения (МО). В «Дополн…

Данная книга учит формально рассуждать о компьютерных программах, используя последовательный подход и язык программирования Dafny, поддерживающий верификацию. Показано, как писать спецификации дл…

Учебное пособие подготовлено в соответствии с Государственным образовательным стандартом по направлениям 09.03.01 «Информатика и вычислительная техника», 09.03.03 «Прикладная информатика» для цик…

Чтобы освободиться от рутины и сберечь нервы, каждый трейдер задумывается об автоматизации своей торговли. Эта книга поможет освоить mql4-программирование любому человеку с любым уровнем образова…

Чтобы освободиться от рутины и сберечь нервы, каждый трейдер задумывается об автоматизации своей торговли. Эта книга поможет освоить mql4-программирование любому человеку с любым уровнем образова…

Книга представляет собой руководство по использованию нейросетей генерации текстов и изображений, таких как «ChatGPT» и «Midjourney». Она содержит правила составления инструкций, а также множеств…

Приветствуем вас в нашей уникальной коллекции примеров промтов, созданной специально для ChatGPT! Эта книга — незаменимый ресурс для различных областей, включая бизнес, медицину, спорт, образован…

Краткий гайд для новичков по машинному и глубокому обучению с разбором кода. Здесь вы найдете необходимый минимум по предмету, истолкованный языком, понятным школьнику. Некоторые разделы написаны…

Приветствуем вас в нашей уникальной коллекции примеров промтов, созданной специально для ChatGPT! Эта книга — незаменимый ресурс для различных областей, включая бизнес, медицину, спорт, образован…

Учебное пособие ориентировано на приобретение теоретических знаний по проектированию информационных систем и получение практического опыта построения функциональных моделей и диаграмм потоков дан…

Откройте новые горизонты с Claude AI — вашим универсальным инструментом для автоматизации, анализа данных и персонализации бизнеса. Эта книга станет вашим путеводителем в мир искусственного интел…

Погрузитесь в мир Midjourney — инструмента, который меняет правила игры в мире цифрового искусства. Эта книга научит вас создавать захватывающие визуальные истории, уникальные персонажи и динамич…