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

Чистки негативных программ воском: бытовой негатив, блоки, сглазы, порчи на разные сферы жизни, "кривые" порчи, проклятья, крадники, вампирские каналы, привороты, рассорки, испуг, больная аура

Чистки негативных программ воском: бытовой негатив, блоки, сглазы, порчи на разные сферы жизни, "кривые" порчи, проклятья, крадники, вампирские каналы, привороты, рассорки, испуг, больная аура

Чистки негативных программ воском: бытовой негатив, блоки, сглазы, порчи на разные сферы жизни, "кривые" порчи, проклятья, крадники, вампирские каналы, привороты, рассорки, испуг, больная аура

Чистки негативных программ воском: бытовой негатив, блоки, сглазы, порчи на разные сферы жизни, "кривые" порчи, проклятья, крадники, вампирские каналы, привороты, рассорки, испуг, больная аура

Чистки негативных программ воском: бытовой негатив, блоки, сглазы, порчи на разные сферы жизни, "кривые" порчи, проклятья, крадники, вампирские каналы, привороты, рассорки, испуг, больная аура

Готовы ли вы к разработке многопоточных приложений на JavaScript? Прочитав данную книгу, JavaScript-разработчик среднего уровня узнает о сильных и слабых сторонах API веб-исполнителей в браузерах и рабочих потоков в Node.js.Авторы рассказывают о двух подходах к построению многопоточных...

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

Библиотека JAX от Google предоставляет пользователям моделей глубокого обучения средства точной настройки и управления процессами низкого уровня, такими как вычисление градиента, быстрое и эффективное обучение модели и вывод результатов на больших наборах данных. Книга обучает созданию...

Язык программирования R – это чрезвычайно мощный инструмент для анализа и визуализации данных, но для многих полный курс его изучения может показаться слишком сложным. Если же вам достаточно лишь автоматизировать многократно повторяющиеся задачи или визуализировать данные без сложных вычислений...

Язык программирования R – это чрезвычайно мощный инструмент для анализа и визуализации данных, но для многих полный курс его изучения может показаться слишком сложным. Если же вам достаточно лишь автоматизировать многократно повторяющиеся задачи или визуализировать данные без сложных вычислений...

Перед вами полноценный путеводитель в увлекательный мир обработки данных при помощи Pandas, NumPy и Scikit-learn. Она содержит множество примеров, которые помогут вам научиться преобразовывать сырые крупицы данных в настоящий шедевр из ценной информации и аналитических выводов. Книга написана...

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

Сегодня все просто: вы открываете кран с фильтром – и утоляете жажду, запачкали одежду – бросаете ее в стиральную машину, хотите поболтать с другом – звоните ему по телефону... Как человечество обходилось без таких простых и полезных технологий? И более того – без важнейших предметов быта: мыла...

Методика «Глобальное чтение» создавалась автором в течение 20 лет и опирается на богатый опыт работы с детьми. Она поможет научить ребенка грамотному чтению, а также хорошо подойдет детям, испытывающим трудности в обучении чтению. Вторая часть двухтомника «Автоматизация чтения» направлена на...

Онлайновые рекомендательные системы помогают находить в сети фильмы, работу, рестораны… и даже любовь! Опираясь на статистические и демографические данные, а также на поисковые запросы, эти системы выдают результат, интересный пользователю, – и это настоящее искусство. Научитесь создавать...

«Захватывающий рассказ о том, чем занимаются археологи». Common Sense Media Эта книга отправляет читателей в путешествие по увлекательному миру археологии. Мы выясним, как жили представители древних цивилизаций и как учёные об этом узнали. Наш маршрут включает важные археологические шаги: поиск...

Возьмите на вооружение Prometheus – систему мониторинга на основе метрик, используемую тысячами организаций. Это обновленное издание расскажет, что такое Prometheus, и познакомит с наиболее важными аспектами этой системы. Вы узнаете, как настроить Prometheus, Node Exporter и Alertmanager...

LaTeX – система верстки с открытым исходным кодом для набора и оформления текста, которая позволяет создавать печатные документы и файлы PDF профессионального качества. Трудности в освоении столь мощного и сложного инструмента поначалу могут обескуражить пользователя. Эта книга упрощает начало...

Данное пособие предназначено для отработки практических умений и навыков учащихся при подготовке к экзамену по математике в 11 классе в формате ЕГЭ на профильном уровне. Оно содержит варианты тренировочных работ по математике, опубликованных в системе СтатГрад в 2022/23 учебном году. Варианты...

В книге заново разобраны и переосмыслены классические паттерны объектно-ориентированного проектирования на примере и с учётом всех возможностей современного языка C++. Указаны сильные стороны базовых паттернов проектирования, даны рекомендации по их сочетаемости, рассмотрены роли различных...