В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге...
Перед вами обновленное издание бестселлера "PostgreSQL изнутри".
Рассматривается внутреннее устройство СУБД PostgreSQL: детали реализации многоверсионности и изоляции на основе снимков данных, включая процедуру очистки неактуальных версий строк; буферный кеш и журнал предзаписи; использование...
Используйте сводные таблицы и сводные диаграммы в Microsoft 365 Excel и Excel 2021 для создания мощных динамических отчетов за считанные минуты – получите полный конт-роль над своими данными и своим бизнесом! Даже если вы никогда не работали со сводными таблицами ранее, эта книга поможет вам...
Всё, что регистрирует человек и созданные им машины, может считаться данными. Фиксируя новое и переводя архивы в цифровую форму, мы с каждым днём производим всё больше данных. Но гораздо чаще случается так, что данные разбросаны по всемирной сети на многочисленных страницах онлайновых магазинов...
У каждой кривой есть история, достойная рассказа!
В этой книге собраны описания десяти математических кривых, тщательно отобранных за их значимость, интересность и красоту. В каждой главе читатель найдет историю и определение кривой, а также узнает о красивой и часто неожиданной математической...
Навидеокурсе вы получаете:
1. Выгодные партнёрки
Список проверенных выгодных авторов обучения с партнёрскими программами, которые не стыдно рекомендовать, где хорошие проценты комиссионных, качественное обучение и хорошая конверсия в продажи.
С ними даже от первой рекомендации зарабатывают с...
В книге нанаглядных примерах показано, как использовать встроенные графические примитивы Python – точки, линии и стрелки — для создания сложной графики, визуализации двух- и трехмерных объектов, диаграмм с данными и технических иллюстраций.
Изучив книгу, вы сможете:
• cоздавать 2D- и...
Описание книги:
Данный классический труд содержит обстоятельное современное введение в машинное обучение (включая глубокое обучение), рассматриваемое сквозь объединяющую призму вероятностного моделирования и байесовской теории принятия решений. Включен базовый математический аппарат (в т. ч...
Методика «Глобальное чтение» создавалась автором в течение 20 лет и опирается на богатый опыт работы с детьми. Она поможет научить ребенка грамотному чтению, а также хорошо подойдет детям, испытывающим трудности в обучении чтению.
Вторая часть двухтомника «Автоматизация чтения» направленана...
Готовы ли вы к разработке многопоточных приложений на JavaScript? Прочитав данную книгу, JavaScript-разработчик среднего уровня узнает о сильных и слабых сторонах API веб-исполнителей в браузерах и рабочих потоковв Node.js.Авторы рассказывают о двух подходах к построению многопоточных...
Оригинальное название: "Learn WinUI 3.0"
WinUI 3.0 знаменует новый подход к доставке компонентов и элементов управления пользовательского интерфейса Windows UI, позволяющий использовать одни и те же компоненты в Windows 10 и следующих версиях этой ОС. Перед вами подробное введение в WinUI и...
Язык программирования R – это чрезвычайно мощный инструмент для анализа и визуализации данных, но для многих полный курс его изучения может показаться слишком сложным. Если же вам достаточно лишь автоматизировать многократно повторяющиеся задачи или визуализировать данные без сложных вычислений...
Казалось бы, что может быть серьезнее школьного курса математики? Однако авторы книги стремятся доказать, что и этот предмет можно преподавать нескучно, в увлекательной форме. Особенно важно это для детей и их родителей.
Прочитав книгу, вы поймете, как превратить вычисления ввеселую игру, и...
Сегодня все просто: вы открываете кран с фильтром – и утоляете жажду, запачкали одежду – бросаете ее в стиральную машину, хотите поболтать с другом – звоните ему по телефону... Как человечество обходилось без таких простых и полезных технологий? И более того – без важнейших предметов быта: мыла...
Уму непостижимо, как легко и просто можно очистить данные с помощью Power Query в Excel или Power BI!
Наши данные редко появляются на свет в готовом к работе виде, и у нас могут уходить долгие часы на их очистку, фильтрацию и преобразование. Power Query помогает сократить этот процесс при...
Как зарабатывать в интернете БЕЗ продаж
Тренинг проходит онлайн. Каждый участник получает:
- Доступ к онлайн-трансляциям;
- Записи всех занятий;
- Дополнительные материалы;
- Индивидуальную консультацию по любым аспектам программы (в переписке).
Оригинальное название: "Advanced Python Development"
Оригинальный правообладатель: Apress
Автор: Уилкс М.
Дата выхода: март 2021 года
ISBN: 978-5-97060-930-9
Формат — pdf от издателя
В книге описаны современные передовые практики и методы, позволяющие создавать ясный и удобный для...
15 уроков 8 вебинаров и 14 практических заданий.
Продолжительность курса - 2 месяца.
Алгоритмизируй свою торговлю.
Стань программистом роботов для биржевой торговли по своей стратегии. Твоя стратегия останется при тебе.
Программа курса:
УРОК 1. ВВЕДЕНИЕ В АЛГОРИТМИЧЕСКУЮ ТОРГОВЛЮ
• Закрываем...
Самое главное мы вместе сформируем твою стратегию выхода на доход от 100 тысяч рублей за следующие 30 дней на профессии YouTube-специалист
КУРС-ИНТЕНСИВ НУЖЕН ДАЛЕКО НЕ ВСЕМ
НАЕМНЫЕ РАБОЧИЕ
В твоей сфере нет развития, нет бабок и нет мотивации идти на работу, но ты хочешь жить в свое...