|
 |
|
 |
|
|
 |
|  |
|
 Название: Handbook of Formal Analysis and Verification in Cryptography
Автор: Sedat Akleylek, Besik Dundua
Издательство: CRC Press
Год: 2024
Страниц: 445
Язык: английский
Формат: pdf (true)
Размер: 11.8 MB
This handbook of formal analysis in cryptography is very important for secure communication and processing of information. It introduces readers to several formal verification methods and software used to analyse cryptographic protocols. The chapters give readers general knowledge and formal methods focusing on cryptographic protocols. Handbook of Formal Analysis and Verification in Cryptography includes major formalisms and tools used for formal verification of cryptography, with a spotlight on new-generation cryptosystems such as post-quantum, and presents a connection between formal analysis and cryptographic schemes. The text offers formal methods to show whether security assumptions are valid and compares the most prominent formalism and tools as they outline common challenges and future research directions. The handbook can be divided into three parts, the first two on formal analysis of cryptographic protocols, and the last one giving surveys of other areas (cryptographic Web applications and quantum programming algorithms). Graduate students, researchers, and engineers worldwide will find this an exciting read. | |
Разместил: Ingvar16 2-08-2023, 02:27 | Комментарии: 0 | Подробнее
| | | |
 |
|  |
|
|
|
|
|
|
| |
|
 Название: Предметно-ориентированное проектирование (DDD): структуризация сложных программных систем
Автор: Эванс Э.
Издательство: М.: Вильямс
Год: 2011
Cтраниц: 448
Формат: djvu
Размер: 18 мб
Классическая книга Э. Эванса освещает наиболее общий, стратегический круг вопросов, связанных с объектно-ориентированной разработкой программного обеспечения. Это переработка и структуризация знаний о предметных областях, применение типовых архитектурных шаблонов, построение и анализ моделей предметных областей, проектирование программных объектов с точки зрения качества их взаимодействия и передачи логической структуры знаний, организация программ на основе крупномасштабных структур, выработка общего языка и стратегии коммуникации в группе. | |
Разместил: rivasss 1-08-2023, 22:42 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Mathematical Methods for Objects Reconstruction: From 3D Vision to 3D Printing
Автор: Emiliano Cristiani, Maurizio Falcone, Silvia Tozza
Издательство: Springer
Год: 2023
Страниц: 185
Язык: английский
Формат: pdf (true), epub
Размер: 36.0 MB
Three-dimensional (3D) reconstruction of the shape of objects is an issue that has been investigated largely by the computer vision and applied mathematics communities since the last century. The class of problems related to that issue is the so-called Shape-from-X class, where the X specifies the kind of data used for the reconstruction (e.g., shading, texture, template, polarization). One of the most interesting problems that fully relates 3D vision to 3D printing is probably the appearance replication. This problem, only partially explored, consists in replicating (multi-material) real objects with complex reflectance features using a single, cheaper printing material, possibly with the simple diffuse Lambertian reflectance. To trick the eye, the surface of the object is rippled with tiny facets that regulate the reflection of light, analogous to what is done, for example, in the Oren-Nayar reflectance model for recovering the 3D shape of the object in the context of the Shape-from-Shading problem. This volume is devoted to mathematical and numerical methods for object reconstruction, and it aims at creating a bridge between 3D vision and 3D printing, moving from the 3D data acquisition and 3D reconstruction to the 3D printing of the reconstructed object, with software development and/or new mathematical methods to get closer and closer to real-world applications. The chapters reflect this goal and the authors are academic researchers and some experts from industry working in the areas of 3D modeling, computer vision, 3D printing and/or developing new mathematical methods for these problems. | |
Разместил: Ingvar16 1-08-2023, 21:10 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: Основы программирования на языке Visual Prolog
Автор: Ефимова Е.А.
Издательство: М.: НОУ "ИНТУИТ"
Год: 2016
Страниц: 265
Формат: PDF
Размер: 20.2 Мб
Язык: русский
В курсе изучается логическое программирование и язык Пролог. В качестве реализации языка Пролог используется современная версия языка Visual Prolog. Предназначен для начинающих. | |
Разместил: MIHAIL62 1-08-2023, 20:45 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: Решение задач на языках программирования Си и Си++
Автор: Быков А.Ю.
Издательство: МГТУ
Год: 2017
Страниц: 248
ISBN: 978-5-7038-4577-6
Формат: PDF
Размер: 43.6 Мб
Язык: русский
Рассмотрены особенности решения практических задач на языках программирования Си и Си++. Представлены примеры программирования с комментариями. Описаны возможности библиотеки классов MFC. | |
Разместил: MIHAIL62 1-08-2023, 20:09 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Essentials of Compilation: An Incremental Approach in Python
Автор: Jeremy G. Siek
Издательство: The MIT Press
Год: 2023
Страниц: 232
Язык: английский
Формат: pdf (true), epub (true)
Размер: 15.8 MB
A hands-on approach to understanding and building compilers using the programming language Python. Compilers are notoriously difficult programs to teach and understand. Most books about compilers dedicate one chapter to each progressive stage, a structure that hides how language features motivate design choices. By contrast, this innovative textbook provides an incremental approach that allows students to write every single line of code themselves. Jeremy Siek guides the reader in constructing their own compiler in the powerful object-oriented programming language Python, adding complex language features as the book progresses. Essentials of Compilation explains the essential concepts, algorithms, and data structures that underlie modern compilers and lays the groundwork for future study of advanced topics. Already in wide use by students and professionals alike, this rigorous but accessible book invites readers to learn by doing. | |
Разместил: Ingvar16 1-08-2023, 19:59 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: Сборник примеров и задач по математическому программированию
Автор: Нефедов Ю.М., Таращанский М.Т.
Издательство: Луганск: ВНУ
Год: 2002
Страниц: 132
ISBN: 966-7350-63-0
Формат: PDF
Размер: 101 Mб
Язык: русский
Изложены теоретические основы линейного программирования. Рассмотрены алгоритмы симплекс-метода, двойственного симплекс-метода, метода потенциалов, метода решения параметрических задач. Подробно разобраны примеры. Во всех разделах приведены задачи для самостоятельного решения. | |
Разместил: MIHAIL62 1-08-2023, 19:40 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Serverless Web Applications with AWS Amplify: Build Full-Stack Serverless Applications Using Amazon Web Services
Автор: Akshat Paul, Mahesh Haldar
Издательство: Apress
Год: 2023
Страниц: 291
Язык: английский
Формат: pdf, epub
Размер: 21.8 MB
Learn the fundamentals of serverless applications and how to take advantage of time-tested Amazon Web Services (AWS) to build scalable apps. This book shows you how to work with the key features of your applications with minimum code, simple CLI commands and one-click deployments. You'll see how to manage authentication, standard UI components, database storage, filesystem, CI/CD pipeline and more. You'll also examine the architecture, strengths, scalability, and limitations of serverless, and how to use AWS Amplify effectively. You will use tools including React, Cognito, GraphQL, DynamoDB, Kinesis, and Sagemaker. AWS Amplify is the fastest and easiest way to build serverless web and mobile apps at scale, comprising tools and services that work independently and can be wired together to build scalable apps. For developers who have worked on web technologies and want to learn how to build serverless applications and developers interested in making powerful applications using AWS that can then be wired using AWS Amplify. | |
Разместил: Ingvar16 1-08-2023, 19:12 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Refactoring to Rust (MEAP v6)
Автор: Lily Mara
Издательство: Manning Publications
Год: 2023
Страниц: 316
Язык: английский
Формат: pdf, epub, mobi
Размер: 10.2 MB
Get the speed and reliability of Rust libraries, functions, and high-performance features through incremental adoption without rewriting your codebase from scratch. Incremental refactoring to Rust lets you upgrade your key functionalities without needing to start from scratch. These small changes are a great way to introduce Rust, and immediately ramp up your program’s speed and stability. Refactoring to Rust teaches you to combine your favorite programming language with high-performance Rust code. Author Lily Mara introduces Rust in her easy-to-read style, clearly explaining the language's unique syntax and concepts. You’ll augment programs with Rust hands-on with approachable examples like solving FizzBuzz with Rust’s pattern matching and gaining enormous runtime speedups to Python code. When you’re done, you’ll have mastered techniques for building Rust plugins you can apply to all kinds of existing software, from games to data tools. | |
Разместил: Ingvar16 1-08-2023, 18:58 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Запускаем Ansible: Простой способ автоматизации управления конфигурациями и развертыванием приложений, 3-е изд.
Автор: Бас Мейер, Лорин Хохштейн, Рене Мозер
Издательство: ДМК Пресс
Год: 2023
Страниц: 484
Язык: русский
Формат: pdf
Размер: 13.8 MB
Среди множества имеющихся инструментов управления конфигурациями Ansible выделяется своими преимуществами, такими как небольшой объем, отсутствие необходимости устанавливать что-либо на управляемые хосты и простота в изучении и освоении. В этом обновленном третьем издании вы узнаете, как быстро приступить к использованию этого инструмента – для развертывания кода в промышленном окружении или автоматизации задач системного администрирования. Авторы покажут вам, как писать сценарии Ansible и управлять удаленными серверами и помогут овладеть всей широтой возможностей этого замечательного инструмента. Вы увидите, что Ansible обладает всем, что только может вам понадобиться, и без лишних сложностей. Мы внесли множество изменений в это издание. Наиболее существенное – добавление шести новых глав, охватывающих контейнеры, Molecule, коллекции Ansible, создание образов, поддержку облачной инфраструктуры и CI/CD. Мы также обновили и дополнили другие главы, уделив больше внимания передовым приемам разработки программного обеспечения и фреймворкам тестирования, помогающим проверить код и придать дополнительную уверенность в нем. Мы обновили все примеры кода для совместимости с последней версией Ansible, а также все сведения, что связаны с Python. | |
Разместил: Ingvar16 1-08-2023, 18:39 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
Навигация
Вход на сайт
Реклама
