Описание: This expanded textbook, now in its second edition, is a practical yet in depth guide to cryptography and its principles and practices. Now featuring a new section on quantum resistant cryptography in addition to expanded and revised content throughout, the book continues to place cryptography in real-world security situations using the hands-on information contained throughout the chapters. Prolific author Dr. Chuck Easttom lays out essential math skills and fully explains how to implement cryptographic algorithms in today's data protection landscape. Readers learn and test out how to use ciphers and hashes, generate random keys, handle VPN and Wi-Fi security, and encrypt VoIP, Email, and Web communications. The book also covers cryptanalysis, steganography, and cryptographic backdoors and includes a description of quantum computing and its impact on cryptography. This book is meant for those without a strong mathematics background with only just enough math to understand the algorithms given. The book contains a slide presentation, questions and answers, and exercises throughout. * Presents new and updated coverage of cryptography including new content on quantum resistant cryptography; * Covers the basic math needed for cryptography - number theory, discrete math, and algebra (abstract and linear); * Includes a full suite of classroom materials including exercises, Q&A, and examples.
Автор: Wang Brydon, Timothy Wang, Chien Ming Название: Automating Cities: Design, Construction, Operation and Future Impact ISBN: 9811586691 ISBN-13(EAN): 9789811586699 Издательство: Springer Рейтинг: Цена: 9818.00 р. 14025.00-30% Наличие на складе: Есть (1 шт.) Описание: This book highlights the latest advancements in the use of automated systems in the design, construction, operation and future of the built environment and its occupants.
Автор: Koushik Ghosh, Souvik Bhattacharyya Название: Noise Filtering for Big Data Analytics ISBN: 3110697092 ISBN-13(EAN): 9783110697094 Издательство: Walter de Gruyter Рейтинг: Цена: 26024.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book explains how to perform data de-noising, in large scale, with a satisfactory level of accuracy. Three main issues are considered. Firstly, how to eliminate the error propagation from one stage to next stages while developing a filtered model.
Secondly, how to maintain the positional importance of data whilst purifying it. Finally, preservation of memory in the data is crucial to extract smart data from noisy big data. If, after the application of any form of smoothing or filtering, the memory of the corresponding data changes heavily, then the final data may lose some important information.
This may lead to wrong or erroneous conclusions. But, when anticipating any loss of information due to smoothing or filtering, one cannot avoid the process of denoising as on the other hand any kind of analysis of big data in the presence of noise can be misleading. So, the entire process demands very careful execution with efficient and smart models in order to effectively deal with it.
Автор: Gomes Correia Название: Trends on Construction in the Digital Era ISBN: 3031202406 ISBN-13(EAN): 9783031202407 Издательство: Springer Рейтинг: Цена: 34150.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These proceedings address the latest developments in the broad area of intelligent construction integrated in the mission of the International Society for Intelligent Construction (ISIC) which aims to promote intelligent construction technologies applications from the survey, design, construction, operation, and maintenance/rehabilitation by adapting to changes of environments and minimizing risks. Its goals are to improve the quality of construction, cost-saving, and safety, exploring fundamental issues related to the application and use of Artificial Intelligence (AI) and Machine Learning techniques and technology. ISIC 2022 is the 3rd ISIC international conference, held in Guimar?es, Portugal on September 6–9, 2022, and follows the previous successful instalments of the conference series in China (2019) and USA (2017). It took a holistic approach to integrate civil engineering, construction machinery, electronic sensor technology, survey/testing technologies, information technology/computing, and other related fields in the broad area of intelligent construction. The respective contributions cover the following topics: Artificial Intelligence for Design and the Built Environment, Building Information Modelling (BIM) and Construction Automation and Robotics, Intelligent Construction, Sustainable Construction, and Sustainable and Smart Infrastructures. Given its broad range of coverage, the book will benefit students, educators, researchers and professionals practitioners alike, encouraging these readers to help the intelligent construction community into the digital era and with a vision on societal issues.
Название: Construction manual for robots` ethical systems ISBN: 3319215477 ISBN-13(EAN): 9783319215471 Издательство: Springer Рейтинг: Цена: 13415.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A Construction Manual for Robots` Ethical Systems
Описание: Category theory reveals commonalities between structures of all sorts. This self-contained tour of applied category theory shows its potential in science, engineering, and beyond. Each chapter discusses a real-world application using category-theoretic tools, all of which are introduced in an accessible way with many examples and exercises.
Автор: Johan Jeuring Название: Mathematics of Program Construction ISBN: 3540645918 ISBN-13(EAN): 9783540645917 Издательство: Springer Рейтинг: Цена: 9756.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A collection of papers devoted to the use of clear mathematics in the discovery and design of algorithms and the development of corresponding software and hardware. Various approaches to formal methods for systems design and analysis are covered.
Автор: Graham Hutton Название: Mathematics of Program Construction ISBN: 3030336352 ISBN-13(EAN): 9783030336356 Издательство: Springer Рейтинг: Цена: 6097.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book constitutes the refereed proceedings of the 13th International Conference on Mathematics of Program Construction, MPC 2019, held in Porto, Portugal, in October 2019. The 15 revised full papers presented together with an invited paper were carefully reviewed and selected from 22 submissions. The papers deal with mathematical principles and techniques for constructing computer programs. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.
Автор: Claude Bolduc; Jules Desharnais; Bechir Ktari Название: Mathematics of Program Construction ISBN: 3642133207 ISBN-13(EAN): 9783642133206 Издательство: Springer Рейтинг: Цена: 10976.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 10th International Conference on Mathematics of Program Construction, MPC 2010, held in Quebec City, Canada in June 2010. In this book, the 19 revised full papers presented together with 1 invited talk and the abstracts of 2 invited talks were carefully reviewed and selected from 37 submissions.
Автор: Philippe Audebaud; Christine Paulin-Mohring Название: Mathematics of Program Construction ISBN: 3540705937 ISBN-13(EAN): 9783540705932 Издательство: Springer Рейтинг: Цена: 10610.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008. This work addresses issues ranging from algorithmics to support for program construction in programming languages and systems.
Автор: Ralf Hinze; Janis Voigtl?nder Название: Mathematics of Program Construction ISBN: 3319197967 ISBN-13(EAN): 9783319197968 Издательство: Springer Рейтинг: Цена: 6830.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Koenigswinter, Germany, in June/July 2015. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.
Автор: Yves Bertot; G. Huet; Pierre Cast?ran; C. Paulin-M Название: Interactive Theorem Proving and Program Development ISBN: 3642058809 ISBN-13(EAN): 9783642058806 Издательство: Springer Рейтинг: Цена: 9146.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
