1. Скачать [ДМК] Методы верификации программ (Алексей Миронов)

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

    Скачать [ДМК] Ruby для романтиков (Роман Пушкин)

    Перед вами книга для самостоятельного знакомства с основами языка Ruby для начинающих разработчиков любого возраста. Последовательное изложение материала позволит не только освоить тонкости языка в удобной игровой форме, но и заложить твердый фундамент для дальнейшего обучения. Многочисленные...
  3. Скачать [ДМК] Простая электроника для детей и взрослых (Игорь Мягков, Анастасия Шлындова, Иван Корнеев)

    Детский технический центр «Инженерка» был создан в Ульяновске энтузиастами технического творчества. За годы работы с детьми наставниками центра было разработано множество интересных поделок и устройств, создавая которые, ребята знакомятся с серьёзными науками на практике. На занятиях по...
  4. Скачать [ДМК] Figma. Проектирование и прототипирование интерфейсов в соответствии с принципами UX/UI (Фабио Стаяно)

    Figma — онлайн-сервис для разработки интерфейсов и прототипирования с возможностью организации совместной работы в режиме реального времени. Книга охватывает обширный спектр функций Figma – включая переменные, условное прототипирование и инструменты искусственного интеллекта. Вы узнаете, как...
  5. Организатор

    Скачать [Школа Монта] Как зарабатывать на подборе персонала (Наталья Андреева)

    И еще больше при вашей постоянной занятости Официальное трудоустройство удаленно на дому Это полноценная постоянная работа от самого известного работодателя в интернете, которой вы можете заниматься на дому, как постоянно, так и по совместительству. Получить работу можно моментально и сразу же...
  6. Организатор

    Скачать Информационная безопасность для пользователя. Правила самозащиты в Интернете (Михаил Райтман)

    Описание: Книга о безопасной работе в Интернете и защите персональных данных, в том числе с соблюдением мер анонимизации и приватности. Рассматриваются вопросы выбора надежных паролей, использования прокси-серверов, анонимных сетей и VPN, технологии шифрования и защищенного общения. Особое...
  7. Организатор

    Скачать Шерлок Холмс. Головоломки великого сыщика. Коллекция головоломок, загадок, ребусов (Гарет Мур)

    Автор: Гарет Мур Из серии: Сказочные головоломки (Эксмо) Форматы: PDF Дата выхода на ЛитРесс: 26 июля 2018 г. Описание книги Хотите весело и с пользой провести время? Тогда эта книга для вас! «Шерлок Холмс. Головоломки великого сыщика» – это больше ста увлекательных сюжетных головоломок...
  8. Скачать [ДМК] Физика на каждом шагу (Леонид Ашкинази)

    Эта книга выходит за рамки школьного курса физики и охватывает примеры из реальной жизни. В понятном и захватывающем повествовании автор раскрывает суть и причины физических явлений, их взаимосвязь и значение. В отличие от традиционных школьных учебников, он уделяет основное внимание объектам и...
  9. Скачать [ДМК] Жизнь и подростковая сексуальность (Дэниель Фунг, Чжэн Чжиминь)

    Книга, которую вы держите в руках, адресована родителям подростков и освещает важные для них вопросы. Что такое здоровое сексуальное развитие? Через какие этапы проходит подросток в период полового созревания? Как помочь детям справляться с потоком сексуальных образов, которые ежедневно...
  10. Скачать [ДМК] Apache Arrow. Обработка больших данных в оперативной памяти (Мэтью Топол)

    Apache Arrow – это программная платформа с открытым исходным кодом, предназначенная для разработки приложений, эффективно выполняющих обработку и анализ табличных данных за счет размещения в оперативной памяти. В обновленном втором издании представлен обзор формата Arrow с акцентом на его...
  11. Скачать [ДМК] SimInTech. Проектирование электроприводов (Юрий Калачев, Евгений Окулов)

    Данная книга ориентирована на инженеров, начинающих заниматься разработками электроприводов и преобразователей. В ней кратко изложены основные принципы проектирования этих устройств, приведены структуры их аппаратной и программной частей. Расставлены акценты, на которые необходимо обратить...
  12. Скачать [ДМК] Радио. Эксперименты с невидимыми волнами (Фредрик Янссон)

    Радиоволны окружают нас повсюду: их излучают и принимают мобильные телефоны, Wi-Fi-роутеры, телевизионные антенны и спутниковые сети для передачи данных на тысячах различных частот. Когда мы открываем дверь автомобиля нажатием кнопки или транслируем музыку на беспроводные наушники, это тоже...
  13. Организатор

    Скачать [ДМК] PyCharm. Профессиональная работа на Python (Брюс Ван Хорн, Куан Нгуен)

    Раскройте возможности PyCharm для создания деловых, научных и веб-приложений на Python! PyCharm – лучшая профессиональная среда разработки для программистов Python среди множества доступных интегрированных сред. Независимо от того, в каких целях используется Python – для общих задач...
  14. Организатор

    Скачать [ДМК] Raspberry Pi Pico в любительских проектах (Саи Яманур, Шрихари Яманур)

    Raspberry Pi Pico – последнее дополнение к семейству продуктов Raspberry Pi, представленное компанией Raspberry Pi Foundation. Основанный на чипе RP2040, Pico – миниатюрный и быстрый микроконтроллер, обладающий достаточной мощностью для выполнения широкого спектра приложений. Эта книга поможет...
  15. Скачать [ДМК] Хорошо ли вы знаете С++? (Андерс Шоу Кнаттен)

    C++ – язык программирования с долгой историей и на первый взгляд непредсказуемым поведением. 25 задач помогут вам исследовать наиболее интересные его «причуды». В процессе решения за кажущейся сложностью языка вы разглядите и сможете понять фундаментальные основы его работы. Как на самом деле...
  16. Скачать [ДМК] Охота на электроовец. Большая книга искусственного интеллекта. В двух томах (Сергей Марков)

    Мифы и заблуждения об искусственном интеллекте, страхи, насущные проблемы, перспективные направления исследований — обо всём этом вы узнаете из этого двухтомника. Новый этап в области компьютерных технологий часто называют очередной «весной искусственного интеллекта». Её начало обычно...
  17. Организатор

    Скачать [ДМК] Кратчайшие сети. Доступное введение в задачах и решениях (Сергей Гашков)

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

    Скачать [ДМК] Pешение трудных и увлекательных задач на Python (Хабиб Изадха, Рашид Бехзадидуст)

    Цель данной книги – укрепить навыки логического рассуждения и развить творческое мышление, представив и решив 90 не самых простых задач на Python. Задачи изложены доходчиво и сжато, снабжены с алгоритмами и комментариями, что помогает читателям следить за процессом их решения и понимать его...
  19. Скачать [ДМК] BDD в действии (Джон Фергюсон Смарт, Ян Молак)

    Разработка на основе поведения (Behavior-Driven Development, BDD) – это подход к проектированию программного обеспечения, предполагающий представление примеров желаемого поведения приложения в форме конкретной тестируемой спецификации. Представленные в книге практики совместной работы и...
  20. Скачать Подготовка к ЕГЭ по информатике в компьютерной форме (Давид Златопольский)

    Автор: Златопольский Д. М. Дата выхода: ноябрь 2020 года Объем, стр.: 304 ISBN: 978-5-97060-896-8 Формат: pdf от издателя Книга предназначена для самостоятельной подготовки учащихся к единому государственному экзамену по информатике и ИКТ, который начиная с 2021 года будет проходить в...
Сверху