Результаты поиска по запросу: [ДМК] Цифровые приключения: как программируют компьютеры (Томас Тулка)

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

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

Курс содержит 15 видео-уроков: 1. С чего начать 2. Какие компы покупать 3. Как выгодно купить пк. Как торговаться 4. О чем говорить по телефону с продавцом 5. Как проверить пк и комплектующие перед покупкой 6. Купил пк что дальше 7. Предпродажная подготовка 8. Как сделать продающее объявление...

В книге рассказывается о том, как использовать глубокие нейронные сети для создания эффективных поисковых систем. Рассматривается несколько компонентов поисковой системы, дается представление о том, как они работают, и приводятся рекомендации по использованию нейронных сетей в разных контекстах...

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

Формат: PDF (изначально электронная - издательская редактура) Издание: Черно-белое Оригинальное название: "Machine Learning and Security" Оригинальный правообладатель: "O'Reilly" Автор: Чио К., Фримэн Д. Дата выхода: июль 2019 года Формат: 165 * 235 мм Бумага: офсетная Обложка: Мягкая обложка...

Фреймворк ASP.NET Core предоставляет все необходимое для создания веб-приложений профессионального качества. Благодаря повышающим производительность библиотекам для отрисовки на стороне сервера, безопасным API, простому доступу к данным и многому другому вы потратите свое время на реализацию...

Книга содержит описание языка Lua в объеме, достаточном для разработки модуля надстройки, а также описание объектной модели МойОфис. В нескольких главах рассматривается работа с абзацами, списками, табличными листами и диапазонами, инструментами для рецензирования документов и пр. В конце каждой...

Эта книга продолжает учебник «PostgreSQL. Основы языка SQL», вышедший несколько лет назад. Пришла пора подняться на следующую ступень - освоить язык SQL на профессиональном уровне. Вы научитесь: понимать план выполнения и писать эффективные запросы; применять встроенные оконные и...

Raspberry Pi – это миниатюрный компьютер, обладающий огромным потенциалом. Созданный на базе энергоэффективного настольного процессора, Raspberry Pi предназначен в том числе и для того, чтобы стать вашим помощником в обучении программированию. Данное руководство покажет вам, что работать с...

+ 3 месяца обучение + От простого к сложному + Спец. материалы + Домашние задания + Выпускной проект + Мегабонус + Понимание + Концепты + Согласование + Финализация + Понимание рынка дизайна и дизайнеров 2022 + Простые, средние и сложные проекты + Сценарии всех уровней + Проектирование любого...

Мир стал театром задолго до театра, и тем более до шекспировского «Глобуса», а именно в то дивное мгновение, когда человек увидел поля, дороги и дома с высоты птичьего полета и изобразил их в уменьшенном масштабе на камне. Так появилась первая карта на Земле, две с половиной тысячи лет назад...

Окончена Великая война, и генерал Шон Кортни возвращается из окопов Франции в Южную Африку – к славе, богатству, высокому положению. Но родина по-разному встречает героев: Марк Андерс, молодой солдат, чью отвагу так ценил генерал, приходит домой ни с чем – его дед убит, а имущество захвачено...

Курс «Цифровые технологии в преподавании РКИ» поможет Вам научиться легко и просто применять современные цифровые технологии, органично встраивать их в учебный процесс. Вы сможете сформировать собственные учебные материалы в электронном формате и использовать их для работы с иностранными...

Эта книга расскажет о том, как удалось открыть целых 85 способов завязывания галстука. Все они представлены в сопровождении схем и фотографий, а также очерка истории галстучных узлов. Впервые вам предоставляется возможность выбора между узлами `Платтсбург` и `Восточным`, `Сент-Эндрюс` и `Ники`...

Описание книги Еще вчера ваш ребенок был забавным и милым карапузом, а сегодня дом превратился в место военных действий: малыш капризничает, упрямится и совсем не слушается. Даже у самых прекрасных и любящих мам и пап в таких условиях опускаются руки. Томас Фелан, доктор философии и клинический...

Почему сейчас в твоей жизни нет столько свиданий, сколько хотелось бы? Причина #1 - Вечером лень куда-то ехать. Знакомые девушки есть, есть кого позвать на свидание, но… сегодня ты устал на работе, а завтра после работы у тебя тренировка, и послезавтра тоже ты устал на работе и уже едешь домой...

Переведено на русский язык Обновленная терапевтическая программа "Преодоление социофобии и застенчивости: Шаг за шагом" содержит подробные аудио-инструкции и видео-комментарии, дополняющие когнитивные терапевтические тексты. Курс предназначен исключительно для того, чтобы помочь людям преодолеть...

Иногда один день, проведенный в путешествии, дает больше, чем десять лет жизни дома. "Как ей удается ездить за границу так часто?" "Почему люди с доходом, не превышающим мою зарплату, путешествуют в 10 раз чаще меня?' "Как перестать откладывать деньги и отправиться в долгожданное путешествие...

Большая машина, большие бицепсы, большая зарплата – мы все любим «побольше». Но что касается пенисов, обладатели ОМГ (Огромных Мужских Гениталий) скажут, что это проклятие. Иногда они просто становятся изгоями из-за «подарка судьбы», о котором не просили. «Как жить, если у тебя огромный пенис» –...