» компьютерная литература » Страница 4
На главную

Доказательство корректности программ

Доказательство корректности программ

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

 



Автор: К. Рустан, М. Лейно
Язык: русский
Жанр: компьютерная литература, Программирование
Формат: pdf
Книги
Подробнее

Microsoft Excel 365 Bible, 2nd Edition

Microsoft Excel 365 Bible, 2nd Edition

Ваше полное руководство по Excel 365, написанное как для новичков, так и для опытных профессионалов. Хорошо структурированная и написанная на понятном языке, Библия Microsoft Excel 365 содержит все, что читателям нужно знать, чтобы быстро начать работу с Excel. Второе издание охватывает многочисленные обновления Excel 365 с момента публикации предыдущего издания в 2022 году и содержит множество полезных примеров, советов и рекомендаций, которые охватывают все основные аспекты Excel - от основ, таких как навигация по пользовательскому интерфейсу, до более продвинутых тем, таких как создание визуализаций и создание настраиваемых функций. Эта книга предназначена для повышения квалификации пользователей всех уровней (начинающих, средних и даже продвинутых пользователей).

 



Автор: Michael Alexander, Dick Kusleika
Язык: английский
Жанр: компьютерная литература
Формат: epub
Книги
Подробнее

Дизайн и поведение пользователей. Применение психологии и поведенческой экономики в разработке и UX. Второе издание

Дизайн и поведение пользователей. Применение психологии и поведенческой экономики в разработке и UX. Второе издание

Разработчики и дизайнеры надеются, что их продукты станут такими же незаменимыми и востребованными, как многие популярные приложения. Стивен Вендел — глава отдела поведенческих наук в Morningstar — шаг за шагом знакомит с процессом внедрения методов поведенческого подхода в разработку продуктов. Продакт-менеджеры, дизайнеры и аналитики данных узнают простой и эффективный подход к определению целевых пользователей и моделей поведения, созданию продукта и оценке его эффективности. Книга предлагает понимание того, как лучше всего проектировать продукт, что заставляет пользователей совершать определенные действия и как изменить их поведение.

 



Автор: Стивен Вендел
Язык: русский
Жанр: компьютерная литература, дизайн
Формат: pdf
Книги
Подробнее

Визуализация данных для профессионалов. Дизайн понятных диаграмм и дашбордов

Визуализация данных для профессионалов. Дизайн понятных диаграмм и дашбордов

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

 



Автор: Дезире Эбботт
Язык: русский
Жанр: компьютерная литература
Формат: pdf
Книги
Подробнее

Паттерны для начинающих программистов с примерами на Java

Паттерны для начинающих программистов с примерами на Java

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

 



Автор: Дэвид Бернштейн
Язык: русский
Жанр: компьютерная литература, Программирование
Формат: pdf
Книги
Подробнее

Тестирование на проникновение с Kali Linux

Тестирование на проникновение с Kali Linux

Современные киберугрозы становятся все более изощренными, и тестирование на проникновение считается одним из ключевых инструментов обеспечения информационной безопасности. Kali Linux – это специализированный дистрибутив, включающий сотни предустановленных инструментов для этичного хакинга, аудита безопасности и тестирования систем на уязвимости. Книга «Тестирование на проникновение с Kali Linux» представляет собой комплексное руководство по проведению пентестов с использованием Kali Linux. В отличие от многих теоретических изданий, этот материал сфокусирован на практическом применении инструментов Kali, позволяя шаг за шагом освоить искусство этичного хакинга. Издание охватывает полный цикл тестирования на проникновение: от разведки и сканирования уязвимостей до эксплуатации системных слабостей и пост-эксплуатационных действий.

 



Автор: Алексей Милосердов
Язык: русский
Жанр: компьютерная литература, хакерство
Формат: pdf
Книги
Подробнее

Java. Состояние языка и его перспективы

Java. Состояние языка и его перспективы

Книга о современном состоянии языка Java, векторе его развития, а также о грамотном программировании в духе паттернов GoF. Книга дает базовое представление о фреймворке Spring, контейнерах Docker, принципах ООП, затрагивая, в частности, переход к облачным решениям, обращение с IDE. Также освещены темы из enterprise-разработки: файловый ввод/вывод NIO2, многопоточность, локализация, интеграция и оптимизация производительности. В книге отражено состояние языка по состоянию на версию Java 17 с разбором некоторых аспектов Java 18. Будет интересна специалистам, возвращающимся к работе с Java после перерыва, бэкенд-разработчикам, читателям, готовящимся к сертификационным экзаменам.

 



Автор: Федор Урванов
Язык: русский
Жанр: компьютерная литература, Программирование
Формат: pdf, epub
Книги
Подробнее

Библия C#, 6-е изд.

Библия C#, 6-е изд.

Книга посвящена программированию на языке C# для платформы Microsoft .NET, начиная с основ языка и разработки программ для работы в режиме командной строки и заканчивая созданием современных веб-приложений. Материал сопровождается большим количеством практических примеров. Подробно описывается логика выполнения каждого участка программы. Уделено внимание вопросам повторного использования кода. В 6-м издании примеры переписаны с учетом современной платформы .NET 7, большой упор сделан на веб-приложения и фреймворк доступа к данным Entity Framework. Для программистов.

 



Автор: Михаил Фленов
Язык: русский
Жанр: компьютерная литература, Программирование
Формат: pdf, epub
Книги
Подробнее

C++. Основы программирования

C++. Основы программирования

Книга «C++. Основы программирования» знакомит читателей с написанием программного кода в среде разработки (IDE) на начальном уровне, обучает использованию переменных и данных, операторов и выражений, работе с консолью (считывание входных данных и вывод выходных данных), применению условных операторов (if, if-else, switch-case), циклов (for, while, do-while) и функций (объявление и вызов функций, передача параметров и возврат значений). Основной упор в издании сделан на упражнениях: здесь приведено множество подробно прокомментированных примеров кода, дополненных тщательно отобранными практическими задачами и судейской системой для мгновенной автоматической оценки написанного вами кода. Издание призвано помочь новичкам сделать первые шаги в освоении C++ — мультипарадигменного высокопроизводительного языка программирования общего назначения с широчайшим набором возможностей.

 



Автор: Светлин Наков
Язык: русский
Жанр: компьютерная литература, Программирование
Формат: pdf
Книги
Подробнее

Искусство юнит-тестирования с примерами на JavaScript. 3-е межд. изд.

Искусство юнит-тестирования с примерами на jаvascript. 3-е межд. изд.

Искусство юнит-тестирования не сводится к изучению правильного набора инструментов и практик. Искусство создавать классные тесты — это понимание сути, поиск верной стратегии для каждого конкретного случая и умение выйти из ситуации, когда тестирование превращается в беспорядочный процесс. Эта книга предлагает советы и рекомендации, которые полностью изменят ваш подход к тестированию ПО. Вы научитесь создавать читабельные и простые в сопровождении тесты, изучите стратегии тестирования в масштабах организации, диагностику проблем, работу с унаследованным кодом и «бескомпромиссный» рефакторинг. В примерах используются jаvascript, TypeScript и Node.js.

 



Автор: Рой Ошеров, Владимир Хориков
Язык: русский
Жанр: компьютерная литература, Программирование
Формат: pdf, pub
Книги
Подробнее

Принципы объектно-ориентированного программирования

Принципы объектно-ориентированного программирования

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

 



Автор: Стивен Вонг, Дунг Нгуен
Язык: русский
Жанр: компьютерная литература, Программирование
Формат: pdf
Книги
Подробнее

Go: идиомы и паттерны проектирования, 2-е издание

Go: идиомы и паттерны проектирования, 2-е издание

Go быстро завоевал популярность у разработчиков веб-сервисов. Существует множество учебников, помогающих программистам со знанием других языков освоить его синтаксис, но этого недостаточно. Автор Джон Боднер познакомит вас с паттернами проектирования, созданными опытными инженерами Go, и обоснует их применение. В книге собрана наиболее важная информация, необходимая для написания чистого и идиоматического кода. Начните думать как Go-разработчик, вне зависимости от уровня подготовки. В обновленном издании также рассказывается и о современных инструментах Go, упрощающих решение задач, трудновыполнимых на других платформах.

 



Автор: Джон Боднер
Язык: русский
Жанр: компьютерная литература, Программирование
Формат: pdf
Книги
Подробнее

Оконные функции SQL. Анализ данных на практике

Оконные функции SQL. Анализ данных на практике

"Оконные функции SQL" — книга о мощном инструменте для анализа данных, который позволяет выполнять сложные вычисления и получать информацию о группах строк или результатах окон, но если вкратце — как делать классные аналитические отчеты без участия "экселя". Вместе с Антоном Жияновым разберемся в основах SQL: •что такое "окно" в SQL и как оно работает; •про фреймы и как с ними работать; •и конечно же выполним практические задания в песочнице. Книга будет полезна как начинающим разработчикам, так и опытным специалистам, желающим расширить и закрепить свои знания в области оконных функций SQL.

 



Автор: Антон Жиянов
Язык: русский
Жанр: компьютерная литература, Базы данных
Формат: pdf
Книги
Подробнее

Промт-инжиниринг для GenAI. Паттерны надежных запросов для качественных результатов

Промт-инжиниринг для GenAI. Паттерны надежных запросов для качественных результатов

Стремительное развитие ИИ меняет нашу жизнь, а поспевать за ним становится все труднее. Каждый, кто профессионально использует ИИ, быстро приходит к пониманию, что качество результатов напрямую зависит от качества входных данных. Поэтому нам сейчас не обойтись без промт-инжиниринга (prompt engineering) — набора методов повышения надежности, эффективности и точности моделей ИИ. Большие языковые (LLM) и диффузионные модели, такие как ChatGPT и DALL-E, постоянно обучаются на общедоступных текстах и изображениях из Интернета. Так что практически любой человек может использовать модели ИИ для решения задач, которые ранее не поддавались автоматизации. Эта книга поможет вам осваивать и применять на практике модели генеративного ИИ.

 



Автор: Феникс Джеймс, Тейлор Майк
Язык: русский язык
Жанр: компьютерная литература, промт-инжиниринг
Формат: pdf
Книги
Подробнее

Node.js, Express, MongoDB и React. 23 урока для начинающих

Node.js, Express, MongoDB и React. 23 урока для начинающих

В книге 23 урока, более 40 практических упражнений и заданий для самостоятельной работы. Даны основы программирования на Node.js: проекты и манифесты, установка дополнительных библиотек, импорт и экспорт. Описан серверный веб-фреймворк Express: работа с запросами и ответами, маршрутизация, шаблонизатор EJS, обработка пользовательских данных, статических файлов, валидация, сохранение выгруженных файлов, вывод сообщений об ошибках и разграничение доступа. Показана работа с СУБД MongoDB: запись и выборка данных, фильтрация, сортировка, применение моделей Mongoose. Рассказано о двухзвенных веб-приложениях, бэкендах и фронтендах. Рассмотрено программирование бэкендов средствами Express и фронтендов с применением клиентского веб-фреймворка React.

 



Автор: Дронов В.А.
Язык: русский язык
Жанр: компьютерная литература, Программирование
Формат: pdf
Книги
Подробнее

Adobe Lightroom Tricks and Tips - 21th Edition 2025

Adobe Lightroom Tricks and Tips - 21th Edition 2025

Узнайте, как улучшить свои навыки в фотографии и редактировании фотографий! Adobe Photoshop Lightroom — обязательная программа для фотографов, как любителей, так и профессионалов. Широкий спектр функций и дополнительных возможностей на голову выше конкурентов; но, несмотря на его широкие возможности редактирования изображений, это все еще дружественная и простая в использовании программа. С помощью этой книги вы сможете раскрыть всю мощь Lightroom и ваше воображение, чтобы создать несколько впечатляющих фотографий. 100% неофициальный

Adobe Lightroom Tricks and Tips is the perfect digital publication for the user that wants to take their skill set to the next level. Do you want to enhance your user experience? Or wish to gain insider knowledge? Do you want to learn directly from experts in their field? Learn the numerous short cuts that the professionals use? Over the pages of the new advanced user guide you will learn everything you will need to know to become a more confident, better skilled and experienced owner. A user that will make the absolute most of their use and ultimately Photoshop Lightroom itself. An achievement you can earn by simply enabling us to exclusively help and teach you the abilities we have gained over our decades of experience.

.
 



Автор: Papercut Limited
Язык: английский
Жанр: обработка фотографий, Компьютерная литература, Manual, Справочник
Формат: PDF
Книги
Подробнее

Предсказательная аналитика с KNIME

Предсказательная аналитика с KNIME

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


 



Автор: Асито Ф.
Язык: Русский
Жанр: Компьютерная литература
Формат: PDF
Книги
Подробнее

Эффективная работа в Microsoft Excel. Руководство по совершенствованию навыков работы в Excel /Мюррей А. /

Эффективная работа в Microsoft Excel. Руководство по совершенствованию навыков работы в Excel /Мюррей А. /

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



Автор: Мюррей А.
Язык: Русский,
Жанр: компьютерная литература,
Формат: PDF
Книги
Подробнее

Справочник Excel. Кратко, быстро, под рукой

Справочник Excel. Кратко, быстро, под рукой

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



Автор: С. Иванов
Язык: рус
Жанр: Справочник, компьютерная литература,
Формат: pdf
Книги
Подробнее

PostgreSQL. Профессиональный SQL

PostgreSQL. Профессиональный SQL

Учебное пособие представляет собой вторую часть курса по языку SQL, созданного при поддержке компании Postgres Professional. В книге рассмотрены такие расширенные возможности СУБД PostgreSQL, как общие табличные выражения, агрегатные и оконные функции, подзапросы LATERAL, создание пользовательских функций и процедур. Материал сопровождается многочисленными практическими примерами, заданиями и упражнениями, дополняющими основной текст каждой главы. Пособие заинтересует читателей, желающих повысить базовый уровень владения языком SQL. Изучать материал пособия можно как под руководством преподавателя, так и самостоятельно.

 



Автор: Евгений Моргунов
Язык: русский
Жанр: компьютерная литература, Базы данных
Формат: pdf, epub
Книги
Подробнее

Практическое пособие. Blender 4 для любителей и профессионалов

Практическое пособие. Blender 4 для любителей и профессионалов

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

 



Автор: HESS F.
Язык: Русский
Жанр: компьютерная литература
Формат: PDF
Книги
Подробнее

Linux для разработчиков

Linux для разработчиков

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

 



Автор: Дэвид Коэн, Кристиан Штурм
Язык: русский
Жанр: компьютерная литература, linux
Формат: pdf, epub
Книги
Подробнее

Kubernetes для разработчиков

Kubernetes для разработчиков

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

 



Автор: Уильям Деннис
Язык: русский
Жанр: компьютерная литература, Программирование
Формат: pdf
Книги
Подробнее

Публикация пакетов Python. Тестирование, распространение и автоматизация проектов

Публикация пакетов Python. Тестирование, распространение и автоматизация проектов

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

 



Автор: Дэйн Хиллард
Язык: русский
Жанр: компьютерная литература, Программирование
Формат: pdf
Книги
Подробнее

Эффективный TypeScript: 83 способа улучшить код, 2-е издание

Эффективный TypeScript: 83 способа улучшить код, 2-е издание

Способен ли TypeScript устранить проблемы, которыми так знаменит jаvascript? Да, но его изучение потребует определенных усилий, времени и практики. 83 правила позволят ускорить и облегчить знакомство с TypeScript. Каждое правило — это конкретная рекомендация, рассказывающая на примерах что можно и чего нельзя делать в TypeScript и как грамотно работать с этим языком. Эта книга поможет подняться с уровня начинающего или среднего пользователя, знакомого с основами TypeScript, на уровень TS-эксперта, который может профессионально работать с этим языком. Второе издание было обновлено для TypeScript 5, и включает две новые главы, посвященные программированию на уровне типов и рецептам TypeScript.

 



Автор: Дэн Вандеркам
Язык: русский
Жанр: компьютерная литература, Программирование
Формат: pdf
Книги
Подробнее
1 2 3 4 5 6 7 8 9 10 ... 25
^Наверх