Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Mathematics of Program Construction, Komendantskaya


Варианты приобретения
Цена: 8104.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Komendantskaya
Название:  Mathematics of Program Construction
ISBN: 9783031169113
Издательство: Springer
Классификация:



ISBN-10: 3031169115
Обложка/Формат: Soft cover
Страницы: 269
Вес: 0.44 кг.
Дата издания: 06.10.2022
Серия: Lecture Notes in Computer Science
Язык: English
Издание: 1st ed. 2022
Иллюстрации: 7 illustrations, color; 20 illustrations, black and white; xv, 269 p. 27 illus., 7 illus. in color.
Размер: 235 x 155
Читательская аудитория: Professional & vocational
Основная тема: Computer Science
Подзаголовок: 14th international conference, mpc 2022, tbilisi, georgia, september 26-28, 2022, proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book constitutes the refereed proceedings of the 14th International Conference on Mathematics of Program Construction, MPC 2022, held in Tbilisi, Georgia, in September 2022. The 9 revised full papers presented together with three invited papers were carefully reviewed and selected from 14 submissions. The papers deal with mathematical principles and techniques for constructing computer programs.
Дополнительное описание: Breadth-First Traversal Via Staging.- Subtyping without Reduction.- Calculating datastructures.- Flexibly Graded Monads and Graded Algebras.- Folding over Neural Networks.- Towards a Practical Library for Monadic Equational Reasoning in Coq.- Semantic pre



An Invitation to Applied Category Theory: Seven Sketches in Compositionality

Автор: Brendan Fong, David I. Spivak
Название: An Invitation to Applied Category Theory: Seven Sketches in Compositionality
ISBN: 1108711820 ISBN-13(EAN): 9781108711821
Издательство: Cambridge Academ
Рейтинг:
Цена: 7286.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Interactive Theorem Proving and Program Development

Автор: 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.

Automating Cities: Design, Construction, Operation and Future Impact

Автор: 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.

Modern Cryptography: Applied Mathematics for Encryption and Information Security

Автор: William Easttom
Название: Modern Cryptography: Applied Mathematics for Encryption and Information Security
ISBN: 3031123034 ISBN-13(EAN): 9783031123030
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Artificial Intelligence for Signal Processing and Wireless Communication

Автор: Abhinav Sharma et al.
Название: Artificial Intelligence for Signal Processing and Wireless Communication
ISBN: 3110738821 ISBN-13(EAN): 9783110738827
Издательство: Walter de Gruyter
Рейтинг:
Цена: 26024.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

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.

Noise Filtering for Big Data Analytics

Автор: 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.

Construction manual for robots` ethical systems

Название: Construction manual for robots` ethical systems
ISBN: 3319215477 ISBN-13(EAN): 9783319215471
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A Construction Manual for Robots` Ethical Systems

Computational diffusion mri

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

Stochastic Methods for Modeling and Predicting Complex Dynamical Systems

Автор: Chen
Название: Stochastic Methods for Modeling and Predicting Complex Dynamical Systems
ISBN: 3031222482 ISBN-13(EAN): 9783031222481
Издательство: Springer
Рейтинг:
Цена: 5589.00 р.
Наличие на складе: Поставка под заказ.

Описание: 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.

Computational Diffusion MRI: MICCAI Workshop, Shenzhen, China, October 2019

Автор: Bonet-Carne Elisenda, Hutter Jana, Palombo Marco
Название: Computational Diffusion MRI: MICCAI Workshop, Shenzhen, China, October 2019
ISBN: 3030528952 ISBN-13(EAN): 9783030528959
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

L`ouvrage porte sur la « trajectivite », un terme emprunte a la mesologie d`Augustin Berque et qui se definit comme un mouvement d`aller-retour entre les « moments » de la reception et de la creation. Posant les rapports a la litterature sous l`angle phenomenologique, il ouvre une perspective nouvelle aux etudes litteraires et traductologiques.

An Atlas of Functions

Автор: 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.

Elements of Scientific Computing

Автор: 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.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия