|
 |
|
 |
|
|
 |
|  |
|
Название: Cryptology: Classical and Modern with Maplets Автор: Richard E. Klima and Neil P. Sigmon Издательство: CRC Press Год: 2012 Формат: PDF Размер: 10 Мб Язык: английский / English
In a clear, nontechnical manner, Cryptology: Classical and Modern with Maplets explains how fundamental mathematical concepts are the bases of cryptographic algorithms. Designed for students with no background in college-level mathematics, the book assumes minimal mathematical prerequisites and incorporates student-friendly Maplets throughout that provide practical examples of the techniques used. By using the Maplets, students can complete complicated tasks with relative ease. They can encrypt, decrypt, and cryptanalyze messages without the burden of understanding programming or computer syntax. The authors explain topics in detail first before introducing one or more Maplets. All Maplet material and exercises are given in separate, clearly labeled sections. Instructors can omit the Maplet sections without any loss of continuity and non-Maplet examples and exercises can be completed with, at most, a simple hand-held calculator. |
Разместил: black 3-07-2020, 10:55 | Комментарии: 0 | Подробнее
| | | |
 |
|  |
 |
|
 |
|
|
 |
|  |
|
Название: Understanding Context: Environment, Language, and Information Architecture Автор: Andrew Hinton Издательство: O'Reilly Media Год: 2014 Формат: EPUB Размер: 11 Мб Язык: английский / English
To make sense of the world, we're always trying to place things in context, whether our environment is physical, cultural, or something else altogether. Now that we live among digital, always-networked products, apps, and places, context is more complicated than ever--starting with "where" and "who" we are. This practical, insightful book provides a powerful toolset to help information architects, UX professionals, and web and app designers understand and solve the many challenges of contextual ambiguity in the products and services they create. You'll discover not only how to design for a given context, but also how design participates in making context. |
Разместил: _аdmin_ 3-07-2020, 09:54 | Комментарии: 0 | Подробнее
| | | |
 |
|  |
 |
|
 |
|
|
 |
|  |
|
Название: Building High Integrity Applications with SPARK Автор: John W. McCormick and Peter C. Chapin Издательство: Cambridge University Press Год: 2015 Формат: PDF, EPUB Размер: 24 Мб Язык: английский / English
Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. |
Разместил: bomboane 3-07-2020, 09:06 | Комментарии: 0 | Подробнее
| | | |
 |
|  |
 |
|
 |
|
|
 |
|  |
|
Название: Theory and Applications of Satisfiability Testing - SAT 2020 Автор: Luca Pulina and Martina Seidl Издательство: Springer Год: 2020 Формат: PDF Размер: 26 Мб Язык: английский / English
This book constitutes the proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020, which was planned to take place in Alghero, Italy, during July 5-9, 2020. Due to the coronavirus COVID-19 pandemic, the conference was held virtually. The 25 full, 9 short, and 2 tool papers presented in this volume were carefully reviewed and selected from 69 submissions. They deal with SAT interpreted in a broad sense, including theoretical advances (such as exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, applications (including both novel application domains and improvements to existing approaches), as well as case studies and reports on findings based on rigorous experimentation. |
Разместил: black 3-07-2020, 08:48 | Комментарии: 0 | Подробнее
| | | |
 |
|  |
 |
|
 |
|
|
 |
|  |
|
Название: Программирование драйверов для Windows Автор: Комиссарова В. Издательство: СПб.: БХВ-Петербург Год: 2007 ISBN: 978-5-9775-0023-4 Серия: Профессиональное программирование Формат: pdf Страниц: 247 Размер: 52,3 Mb Язык: Русский
Книга представляет собой практическое руководство по программированию драйверов для всей линейки операционных систем Windows NT, включая новую ОС Windows Vista. Разбираются важнейшие драйверные архитектуры — традиционная WDM и новая WDF. Излагаются основы теории программирования драйверов для многопроцессорных систем. |
Разместил: oksanavalera 3-07-2020, 07:06 | Комментарии: 0 | Подробнее
| | | |
 |
|  |
 |
|
 |
|
|
 |
|  |
|
Название: Операционные системы. Разработка и реализация (+CD) Автор: Таненбаум Э., Вудхалл А. Издательство: СПб.: Питер Год: 2007 ISBN: 978-5-469-01403-4 Формат: pdf Страниц: 705 Размер: 55,2 Mb Язык: Русский
Третье издание классического труда Эндрю Таненбаума «Operating Systems: Design and Implementation» — это единственный в своем роде учебник, в котором успешно сочетаются теория и практика построения операционных систем. |
Разместил: oksanavalera 3-07-2020, 07:01 | Комментарии: 1 | Подробнее
| | | |
 |
|  |
 |
|
 |
|
|
 |
|  |
|
 Название: Algorithms in C (Parts 1-4, Fundamentals, Data Structures, Sorting, Searching) Автор: Robert Sedgewick Издательство: Addison-Wesley Год: 1998 Формат: djvu Страниц: 702 Размер: 15 Мб Язык: English
Robert Sedgewick has thoroughly rewritten and substantially expanded and updated his popular work to provide current and comprehensive coverage of important algorithms and data structures. Christopher Van Wyk and Sedgewick have developed new C++ implementations that both express the methods in a concise and direct manner, and also provide programmers with the practical means to test them on real applications. Many new algorithms are presented, and the explanations of each algorithm are much more detailed than in previous editions. |
Разместил: Bookworm 2-07-2020, 20:41 | Комментарии: 0 | Подробнее
| | | |
 |
|  |
 |
|
 |
|
|
 |
|  |
|
 Название: Image Operators. Image Processing in Python Автор: Jason Kinser Издательство: CRC Press Год: 2018 Формат: pdf Страниц: 365 Размер: 23 Мб Язык: English
For decades, researchers have been developing algorithms to manipulate and analyze images. From this, a common set of image tools now appear in many high-level programming languages. Consequently, the amount of coding required by a user has significantly lessened over the years. While the libraries for image analysis are coalescing to a common toolkit, the language of image analysis has remained stagnant. Often, textual descriptions of an analytical protocol consume far more real estate than does the computer code required to execute the processes. Furthermore, the textual explanations are sometimes vague or incomplete. This book offers a precise mathematical language for the field of image processing. |
Разместил: Bookworm 2-07-2020, 16:39 | Комментарии: 0 | Подробнее
| | | |
 |
|  |
 |
|
 |
|
|
 |
|  |
|
 Название: GTK+ Programming in C Автор: Logan Syd Издательство: Prentice Hall PTR Год: 2002 Формат: pdf Страниц: 866 Размер: 28 Мб Язык: English
Covering such topics as Gtk widgets, GLIB, and GDK, an authoritative reference guides users through the basics of developing GUI applications for the Gtk+ toolkit in a Linux/Unix environment. |
Разместил: Bookworm 2-07-2020, 16:20 | Комментарии: 0 | Подробнее
| | | |
 |
|  |
 |
|
 |
|
|
 |
|  |
|
Название: Kotlin for Android App Development (Developer's Library) Автор: Peter Sommerhoff Издательство: Addison-Wesley Professional Год: 2019 Формат: epub Страниц: 434 Размер: 24.5 Mb Язык: English
The Kotlin language brings state-of-the-art programming techniques and constructs to Android development. Kotlin for Android App Development will help you rapidly understand Kotlin’s principles and techniques, apply Kotlin in production app development, integrate Kotlin with existing Java code, and plan a migration to Kotlin, if you choose. If you have at least basic programming experience (with any language), Peter Sommerhoff’s well-crafted overview and examples will help you get quickly up-to-speed with the Kotlin language, its constructs, and its advanced functional and object-oriented capabilities. |
Разместил: bomboane 2-07-2020, 14:39 | Комментарии: 0 | Подробнее
| | | |
 |
|  |
br>
|