|
 |
|
 |
|
|
 |
|  |
|
 Название: Доказательство корректности программ
Автор: К. Рустан, М. Лейно
Издательство: ДМК Пресс
Год: 2024
Страниц: 532
Язык: русский
Формат: pdf
Размер: 12.8 MB
Данная книга учит формально рассуждать о компьютерных программах, используя последовательный подход и язык программирования Dafny, поддерживающий верификацию. Показано, как писать спецификации для программ, как удовлетворить требования этих спецификаций и как писать доказательства корректности программ относительно спецификаций. Автор сначала представляет теоретические предпосылки, лежащие в основе рассуждений о программном коде, а затем постепенно переходит к реальным примерам, использующих объекты, структуры данных и нетривиальную рекурсию. Книга написана простым и понятным языком, содержит множество забавных иллюстраций и практических упражнений. Книга предполагает наличие у читателя базовых знаний программ и программирования. Стиль этого программирования (функциональный, императивный) и конкретный используемый язык не так важны, но будет полезно, если используемые читателями языки программирования поддерживают концепцию типов. | |
Разместил: Ingvar16 7-04-2025, 01:58 | Комментарии: 0 | Подробнее
| | | |
 |
|  |
|
|
|
|
|
|
| |
|
 Название: Java File Handling Step by Step: A Practical Guide with Examples
Автор: William E. Clark
Издательство: Nobtrex L.L.C.
Год: 2025
Страниц: 227
Язык: английский
Формат: epub (true)
Размер: 10.1 MB
This book provides a comprehensive and detailed guide to managing file operations in Java, offering clear explanations and practical examples to help both beginners and experienced developers enhance their programming skills. The content is meticulously organized to introduce fundamental concepts and progressively build towards more complex applications, ensuring that readers develop a solid understanding of file handling techniques and best practices in Java. The organization of the material follows a logical progression, starting with the basics of file handling and Java I/O, progressing into the use of streams for reading and writing data, and expanding into file and directory management, file paths, and metadata operations. Each chapter is crafted with precision, incorporating step-by-step examples and code demonstrations that illustrate the effective application of concepts, alongside detailed discussions on error handling and practical file-related applications. | |
Разместил: Ingvar16 7-04-2025, 01:33 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: The French Recipe Cookbook
Автор: Carole Clements, Elizabeth Wolf-Cohen
Издательство: Smithmark Pub
Год: 1995
Cтраниц: 256
Формат: pdf
Размер: 55,31 Мб
Язык: English
The various regions of France contribute to the highly admired and delectable epicurean tradition featured in this comprehensive collection of recipes. Numerous exciting traditional and contemporary dishes illustrated with over 800 full-color photographs, as well as regional favorites and specialties, capture the essence of French food with recipes suitable for every occasion throughout the year. The book's accessible format and the professional cook's tips and hints found throughout make this book invaluable for every cook's library. | |
Разместил: TTT22 6-04-2025, 22:51 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Microsoft Excel 365 Bible, 2nd Edition
Автор: Michael Alexander, Dick Kusleika
Издательство: Wiley
Год: 2025
Страниц: 1088
Язык: английский
Формат: epub (true)
Размер: 81.1 MB
Ваше полное руководство по Excel 365, написанное как для новичков, так и для опытных профессионалов. Хорошо структурированная и написанная на понятном языке, Библия Microsoft Excel 365 содержит все, что читателям нужно знать, чтобы быстро начать работу с Excel. Второе издание охватывает многочисленные обновления Excel 365 с момента публикации предыдущего издания в 2022 году и содержит множество полезных примеров, советов и рекомендаций, которые охватывают все основные аспекты Excel - от основ, таких как навигация по пользовательскому интерфейсу, до более продвинутых тем, таких как создание визуализаций и создание настраиваемых функций. Эта книга предназначена для повышения квалификации пользователей всех уровней (начинающих, средних и даже продвинутых пользователей). Начните с самого начала, если вы новичок в Excel. Часть I охватывает все, что вам нужно для ознакомления с вводом данных, управлением книгами, форматированием листов и печатью. Затем вы можете перейти к части II, где вы откроете для себя все тонкости формул и функций Excel. | |
Разместил: Ingvar16 6-04-2025, 19:21 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Жінка не варта уваги. Віяло леді Віндермір
Автор: Оскар Вайльд
Серия:«English Library»
Изд-во: Знання
Год: 2020
Страниц: 190
Язык: українська
Формат: pdf/djvu/txt
Размер: 13,17 Мб
Оскар Вайльд (1854—1900) — ірландський письменник, драматург, поет, есеїст, видатний представник європейського декадансу. “Жінка, не варта уваги” і “Віяло леді Віндермір” — соціально-побутові комедії, що стали гострою сатирою на тогочасне суспільство і ще за життя принесли славу автору. Оскар Вайльд як визнаний майстер парадоксу закладає парадоксальність вже в саму назву своїх драматичних творів, розгортаючи її потім у сюжеті. Попри сарказм, іронію, висміювання сімейних і суспільних звичаїв, комедії Вайльда значно серйозніші, ніж може здатися на перший погляд. За блискучою дотепністю автора прихована глибина порушених проблем. | |
Разместил: TTT22 6-04-2025, 19:18 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Машинное обучение: основы
Автор: Николенко С.И.
Издательство: Питер
Год: 2025
Страниц: 609
Язык: русский
Формат: pdf
Размер: 38.5 MB
Машинное обучение давно уже стало синонимом искусственного интеллекта. Оно проникло во многие аспекты нашей жизни и стало одной из важнейших областей современной науки. Эта книга — путеводитель по ключевым идеям машинного обучения. Вы узнаете, как методы машинного обучения получаются из основных принципов теории вероятностей, пройдёте путь от теоремы Байеса до обобщённых линейных моделей и узнаете в лицо тех китов, на которых стоит весь современный искусственный интеллект. Множество увлекательных кейсов, практических примеров и интересных задач — от анализа ретроспективных научных исследований до эффекта "горячей руки" в баскетболе — помогут разобраться в самых сложных концепциях. Кроме того, книга может лечь в основу базовых курсов по машинному обучению. | |
Разместил: Ingvar16 6-04-2025, 18:41 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Змієві вали. Українські легенди та перекази
Составитель: С.В.Мишанич
Изд-во: Київ: «Веселка»
Год: 1992
Формат: pdf
К-во стр.: 160
Размер: 6,21 Мб
Язык: українська
Легенди та перекази, що ввійшли до збірки, пов'язані з цікавими історіями українських сіл та міст, з видатними людьми, з важливими історичними подіями. Дивовижне й фантастичне виступає тут в органічній єдності з повсякденним і звичайним.
Серед оповідок такі як: Кирило Кожум'яка, Чумаки і хрещення Києва, Михаїл і Золоті ворота, Шолудивий Буняк, Про урочища в Звенигороді, Походження запорожців, Савур-могила, Про Яношика, Життя Олекси Довбуша, Переказ про сотника Харка, Гайдамаки в Мотронинському монастирі, Гайдамаки в Харківській губернії, Великий характерник, Юрій Федькович і бойко з Тухлі, Останній великан і малий Франко та ін. | |
Разместил: TTT22 6-04-2025, 18:26 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Successful AI Product Creation: A 9-Step Framework
Автор: Shub Agarwal
Издательство: Wiley
Год: 2025
Страниц: 304
Язык: английский
Формат: pdf, epub (true)
Размер: 12.2 MB
The Essential Guide to AI and Generative AI Product Creation from a Veteran AI Leader and Educator. In Successful AI Product Creation: A 9-Step Framework, AI product leader, professor of product management and AI, and industry expert, Prof. Shub Agarwal delivers the ultimate playbook—a comprehensive, step-by-step guide to Building, Scaling, and Integrating AI and Generative AI into real-world products. Drawing from over two decades of experience, this comprehensive guide bridges the gap between AI technology and business impact, ensuring you can navigate the AI revolution with confidence. The cutting-edge technology known as Generative AI is a specific Artificial Intelligence (AI) that produces new content that closely mimics training data. It operates across various formats, including text, images, audio, and video, each contributing to diverse business applications. At its core, Generative AI leverages advanced algorithms to learn patterns and structures from existing data, enabling it to generate innovative outputs that have the potential to revolutionize industries. | |
Разместил: Ingvar16 6-04-2025, 17:55 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Taming the Hacking Storm: A Framework for Defeating Hackers and Malware
Автор: Roger A. Grimes
Издательство: Wiley
Год: 2025
Страниц: 336
Язык: английский
Формат: pdf, epub (true)
Размер: 10.1 MB
A transformative new approach to Internet security from an experienced industry expert. Taming the Hacking Storm: A Framework for Defeating Hackers and Malware is a groundbreaking new roadmap to solving the ubiquitous Internet security issues currently plaguing countries, businesses, and individuals around the world. In easy-to-understand and non-technical language, author and cybersecurity veteran Roger Grimes describes the most prevalent threats to our online safety today and what ties them all together. He goes on to lay out a comprehensive and robust framework for combating that threat—one that rests on a foundation of identity verification—and explains exactly how to implement it in the real world. Secure coding includes all the education, policies, tools, and methods that are used to reduce the number of vulnerabilities and exposure to vulnerabilities when developing software and firmware code. All developers (and anyone else in the development delivery chain, such as managers) need to be taught secure programming, including common vulnerabilities, common exploitation techniques, access control, least privilege, and fail-safe defaults. All developers should understand the CIA (confidential, integrity, availability) triad that drives the cybersecurity industry. Programmers need to understand authentication, access control, authorization, impersonation, delegation, accounting, auditing, and logging. | |
Разместил: Ingvar16 6-04-2025, 17:29 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Алгоритмы: теория и практическое применение
Автор: Стивенс Род
Издательство: М.: Эксмо
Год: 2016
Cтраниц: 544
Формат: pdf
Размер: 78 мб
Язык: русский
Алгоритмы – это рецепты, которые делают возможным эффективное программирование. Их изучение позволяет усвоить общие подходы к решению задач и накапливать полезные методики для их решения. В этой книге представлено множество классических алгоритмов, вы узнаете, где они применяются и как их анализировать, чтобы понять их поведение. Эта книга может быть полезной не только в вашей текущей профессиональной деятельности, но и поможет вам получить новую работу. | |
Разместил: rivasss 6-04-2025, 17:05 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
Навигация
Вход на сайт
Реклама
