|
 |
|
 |
|
|
 |
|  |
|
Название: Алгоритмы. Разработка и применение
Автор: Клейнберг Дж., Тардос Е.
Издательство: Питер
Год: 2016
Страниц: 800
ISBN: 978-5-496-01545-5
Формат: PDF
Размер: 11.3 Мб
Язык: русский
Впервые на русском языке выходит одна из самых авторитетных книг по разработке и использованию алгоритмов. Алгоритмы — это основа программирования, определяющая, каким образом программное обеспечение будет использовать структуры данных. | |
Разместил: MIHAIL62 2-08-2023, 05:47 | Комментарии: 0 | Подробнее
| | | |
 |
|  |
|
|
|
|
|
|
| |
|
Название: Практикум по методам построения алгоритмов (2-е изд.)
Автор: Шень А.Х.
Издательство: М.: НОУ "Интуит"
Год: 2016
Страниц: 336
Формат: PDF
Размер: 28.2 Мб
Язык: русский
Курс содержит задачи по программированию различной трудности. Большинство задач приводятся с решениями. Цель курса - научить основным методам построения корректных и быстрых алгоритмов. | |
Разместил: MIHAIL62 2-08-2023, 04:55 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
Название: Программирование — это так просто, программирование — это так сложно
Автор(ы): Андреева Е.В.
Издательство: М.: МЦНМО
Год: 2015
Страниц: 185
Формат: PDF
Размер: 14 Мб
Язык: русский
Книга представляет собой практический курс для обучения программированию, основную часть которого составляет подборка около 200 задач. В ней делается попытка показать, как обучить программированию в школе за 16 уроков. | |
Разместил: MIHAIL62 2-08-2023, 04:46 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: 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 | Подробнее
| | | |
|
| |
|
Навигация
Вход на сайт
Реклама
