Результаты поиска по запросу: [ДМК] Как проектировать программы (Маттиас Фелляйзен, Роберт Брюс Финдлер, Шрирам Кришнамурти)

Прошло более 100 лет с тех пор, как теория относительности Эйнштейна полностью изменила наш взгляд на Вселенную. Начиная с определения скорости света и заканчивая исследованием понятий пространства и времени «Теория относительности в комиксах» доступным языком через яркую визуальную подачу...

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

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

Книга поможет найти ответы на вопросы: Как проводить исследование встраиваемых систем? Из каких компонентов они состоят? Как получить прошивку устройства и какие уязвимости могут в этом помочь? Чем отличается реверс-инжиниринг прошивок и ПО? Что нужно для динамического анализа устройства? Как...

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

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

Уникальный световой сеанс с проводником Юрием Вознесенским Продолжительность сеанса 1 час + (к данному сеансу есть задание на месяц, чтобы воплотить новую активированную программу в жизнь). Для деактивации программы вины и активации программы свободы достаточно одного сеанса. Но слушайте себя...

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

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

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

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

Секреты и ложь. Безопасность данных в цифровом мире (Брюс Шнайер) В этой книге автор, опираясь на собственный опыт, разрушает заблуждения многих, уверенных в конфидециальности и неприкосновенности информации. Он разъясняет читателям, почему так сложно предотвратить доступ третьих лиц к личной...

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

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

Преподаватели Принстонского университета Роберт Седжвик и Кевин Уэйн создали универсальное введение в Computer Science на языке Java, которое идеально подходит как студентам, так и профессионалам. Вы начнете с основ, освоите современный курс объектно-ориентированного программирования, и...

Возрождение силы Рода. 30+ практик. Как изменить родовые программы и ограничения, мешающие счастливой и успешной жизни Осознай, что с тобой УЖЕ ВСЕ В ПОРЯДКЕ! Надо лишь убрать конструкции, мешающие поверить в это! Важно обучиться слышать и чувствовать себя, быть созвучным Миру, чтобы появились...

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

Аскеза – одна из самых древних и эффективных практик по управлению своей энергией ради достижения конкретных духовных или материальных целей. Роберт Оксузян, как действующий и практикующий более 20 лет эзотерик, впервые собрал и интерпретировал в этой книге всеобъемлющие сакральные знания об...

На этом вебинаре Вы получите ответы на следующие вопросы: - Как быть всегда в приподнятом и хорошем настроении? - Откуда брать энергию на свои цели? - Где взять вдохновение? - Как быстро восстанавливаться и жить полной жизнью, радуя себя и любимых? Продажник:

"Дневники полярного капитана" Роберта Фалкона Скотта (1868-1912) - волнующий и трагический документ эпохи великих географических открытий начала XX века. Рассказ о последней попытке отважного первопроходца достичь полюса - это летопись подвига, обессмертившего имя Р. Скотта и его верных...