Название: 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.

Название: 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.

Название: 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.

Название: 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.

Название: Программирование драйверов для Windows
Автор: Комиссарова В.
Издательство: СПб.: БХВ-Петербург
Год: 2007
ISBN: 978-5-9775-0023-4
Серия: Профессиональное программирование
Формат: pdf
Страниц: 247
Размер: 52,3 Mb
Язык: Русский

Книга представляет собой практическое руководство по программированию драйверов для всей линейки операционных систем Windows NT, включая новую ОС Windows Vista. Разбираются важнейшие драйверные архитектуры — традиционная WDM и новая WDF. Излагаются основы теории программирования драйверов для многопроцессорных систем.

Название: Операционные системы. Разработка и реализация (+CD)
Автор: Таненбаум Э., Вудхалл А.
Издательство: СПб.: Питер
Год: 2007
ISBN: 978-5-469-01403-4
Формат: pdf
Страниц: 705
Размер: 55,2 Mb
Язык: Русский

Третье издание классического труда Эндрю Таненбаума «Operating Systems: Design and Implementation» — это единственный в своем роде учебник, в котором успешно сочетаются теория и практика построения операционных систем.

Название: 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.

Название: 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.

Название: 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.

Название: 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.