Название: Recent Advances in Intelligent Systems and Smart Applications (Studies in Systems, Decision and Control Book 295)
Автор: Mostafa Al-Emran (Editor), Khaled Shaalan (Editor), Aboul Ella Hassanien (Editor)
Издательство: Springer
Год: 2021
Формат: True PDF
Страниц: 658
Размер: 10.9 Mb
Язык: English

This book explores the latest research trends in intelligent systems and smart applications. It presents high-quality empirical and review studies focusing on various topics, including information systems and software engineering, knowledge management, technology in education, emerging technologies, and social networks. It provides insights into the theoretical and practical aspects of intelligent systems and smart applications.

Название: Kick-Start to MicroPython using ESP32 / ESP8266
Автор: Harish Kondoor
Издательство: Harish Kondoor
Год: 2020
Формат: PDF, EPUB
Страниц: 52
Размер: 10 Mb
Язык: English

MicroPython is the recreated version of Python 3 that runs in the memory restricted microcontrollers with a minimum of 256KB of ROM and 16KB of RAM. MicroPython supports chips like ESP32, ESP8266, STM32, nRF52, W600 etc. MicroPython follows Python 3 syntax which makes it easy to programme for microcontrollers.The hardware APIs are capable of handling GPIO pins in microcontrollers. In this course we discuss the ESP32 dev module as the main controller which has a high level of flexibility in connecting with sensors, on chip capabilities with onboard WiFi. In this eBook we will discuss software required,basic Python3 syntax, controllling GPIO pins and connect to internet over WiFi.

Название: Soft Computing: Theories and Applications: Proceedings of SoCTA 2019
Автор: Millie Pant, Tarun Kumar Sharma
Издательство: Springer
Год: 2020
Формат: PDF
Размер: 43 Мб
Язык: английский / English

This book focuses on soft computing and how it can be applied to solve real-world problems arising in various domains, ranging from medicine and healthcare, to supply chain management, image processing and cryptanalysis. It gathers high-quality papers presented at the International Conference on Soft Computing: Theories and Applications (SoCTA 2019), organized by the National Institute of Technology Patna, India. Offering valuable insights into soft computing for teachers and researchers alike, the book will inspire further research in this dynamic field.

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