Результаты поиска по запросу: [ДМК] Вероятностное машинное обучение [Кевин П. Мэрфи]

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

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

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

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

О книге: Ее жизненный девиз – мир любой ценой. Она в ответе за неудачи других людей и регулярно вытаскивает их из разных неурядиц. Люди знают ее слабые места, а она не знает, как сказать «нет». Кевин Леман, психотерапевт с 30-летним стажем, поможет вам полностью пересмотреть свои приоритеты...

Харизма лидера. Как мотивировать на успех свою команду (Кевин Мюррей) Многие считают, что харизма – это уникальное качество, которым с рождения обладают немногие счастливчики. Да, их магнетизм и обаяние бесспорны, они вызывают восторг и желание следовать за ними. Но достаточно ли этого для...