Mathematics of Program Construction, Komendantskaya
Автор: Yves Bertot; G. Huet; Pierre Cast?ran; C. Paulin-M Название: Interactive Theorem Proving and Program Development ISBN: 3642058809 ISBN-13(EAN): 9783642058806 Издательство: Springer Рейтинг: Цена: 10480.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.
Автор: Wang Brydon, Timothy Wang, Chien Ming Название: Automating Cities: Design, Construction, Operation and Future Impact ISBN: 9811586691 ISBN-13(EAN): 9789811586699 Издательство: Springer Рейтинг: Цена: 12856.00 р. 16070.00-20% Наличие на складе: Есть (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.
Описание: 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.
Without mathematics no science would survive. This especially applies to the engineering sciences which highly depend on the applications of mathematics and mathematical tools such as optimization techniques, finite element methods, differential equations, fluid dynamics, mathematical modelling, and simulation. Neither optimization in engineering, nor the performance of safety-critical system and system security; nor high assurance software architecture and design would be possible without the development of mathematical applications.
De Gruyter Series on the Applications of Mathematics in Engineering and Information Sciences (AMEIS) focusses on the latest applications of engineering and information technology that are possible only with the use of mathematical methods. By identifying the gaps in knowledge of engineering applications the AMEIS series fosters the international interchange between the sciences and keeps the reader informed about the latest developments.
Автор: 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 Рейтинг: Цена: 39130.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 Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A Construction Manual for Robots` Ethical Systems
Автор: Keith B. Oldham; Jan Myland; Jerome Spanier Название: An Atlas of Functions ISBN: 1493950584 ISBN-13(EAN): 9781493950584 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book comprehensively covers several hundred functions or function families. In chapters that progress by degree of complexity, it starts with simple, integer-valued functions then moves on to polynomials, Bessel, hypergeometric and hundreds more.
Автор: Aslak Tveito; Hans Petter Langtangen; Bj?rn Freder Название: Elements of Scientific Computing ISBN: 3642265197 ISBN-13(EAN): 9783642265198 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The computational approach to understanding nature and technology is currently flowering in many fields such as physics, geophysics, astrophysics, chemistry, biology, and most engineering disciplines. It is our goal to teach principles and ideas that carry over from field to field.
Название: Computational diffusion mri ISBN: 3030058301 ISBN-13(EAN): 9783030058302 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume gathers papers presented at the Workshop on Computational Diffusion MRI (CDMRI`18), which was held under the auspices of the International Conference on Medical Image Computing and Computer Assisted Intervention in Granada, Spain on September 20, 2018.
Автор: Dehaan, Lex Koppelaars, Toon Название: Applied mathematics for database professionals ISBN: 1430211849 ISBN-13(EAN): 9781430211846 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book touches on an area seldom explored: the mathematical underpinnings of the relational database. It is the first book to explain the underlying math in a way that`s accessible to database professionals.
Описание: This book enables readers to understand, model, and predict complex dynamical systems using new methods with stochastic tools. The author presents a unique combination of qualitative and quantitative modeling skills, novel efficient computational methods, rigorous mathematical theory, as well as physical intuitions and thinking. An emphasis is placed on the balance between computational efficiency and modeling accuracy, providing readers with ideas to build useful models in practice. Successful modeling of complex systems requires a comprehensive use of qualitative and quantitative modeling approaches, novel efficient computational methods, physical intuitions and thinking, as well as rigorous mathematical theories. As such, mathematical tools for understanding, modeling, and predicting complex dynamical systems using various suitable stochastic tools are presented. Both theoretical and numerical approaches are included, allowing readers to choose suitable methods in different practical situations. The author provides practical examples and motivations when introducing various mathematical and stochastic tools and merges mathematics, statistics, information theory, computational science, and data science. In addition, the author discusses how to choose and apply suitable mathematical tools to several disciplines including pure and applied mathematics, physics, engineering, neural science, material science, climate and atmosphere, ocean science, and many others. Readers will not only learn detailed techniques for stochastic modeling and prediction, but will develop their intuition as well. Important topics in modeling and prediction including extreme events, high-dimensional systems, and multiscale features are discussed.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
