Mathematics of Program Construction, Graham Hutton
Автор: Graham Ronald L. Название: Concrete Mathematics ISBN: 0201558025 ISBN-13(EAN): 9780201558029 Издательство: Pearson Education Рейтинг: Цена: 5266.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Introduces the mathematics that supports advanced computer programming and the analysis of algorithms. This book includes more than 500 exercises, divided into six categories. Complete answers are provided for all exercises, except research problems. It is useful for computer scientists and also for users of mathematics in various disciplines.
Research and development in the pioneering field of quantum computing involve just about every facet of science and engineering, including the significant areas of mathematics and physics. Based on the firm understanding that mathematics and physics are equal partners in the continuing study of quantum science, Mathematics of Quantum Computation and Quantum Technology explores the rapid mathematical advancements made in this field in recent years.
Novel Viewpoints on Numerous Aspects of Quantum Computing and Technology Edited by a well-respected team of experts, this volume compiles contributions from specialists across various disciplines. It contains four main parts, beginning with topics in quantum computing that include quantum algorithms and hidden subgroups, quantum search, algorithmic complexity, and quantum simulation. The next section covers quantum technology, such as mathematical tools, quantum wave functions, superconducting quantum computing interference devices (SQUIDs), and optical quantum computing. The section on quantum information deals with error correction, cryptography, entanglement, and communication. The final part explores topological quantum computation, knot theory, category algebra, and logic. The Tools You Need to Tackle the Next Generation of Quantum Technology This book facilitates both the construction of a common quantum language and the development of interdisciplinary quantum techniques, which will aid efforts in the pursuit of the ultimate goal-a real scalable quantum computer.
Автор: White, Robert E. (north Carolina State University, Raleigh, Usa) Название: Computational linear algebra ISBN: 1032302461 ISBN-13(EAN): 9781032302461 Издательство: Taylor&Francis Рейтинг: Цена: 6889.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This unique textbook presents a course on computational linear algebra. Offers many unique applications. MATLAB is used throughout.
Автор: C. Ding; T. Helleseth; H. Niederreiter Название: Sequences and their Applications ISBN: 1852331968 ISBN-13(EAN): 9781852331962 Издательство: Springer Рейтинг: Цена: 22563.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A collection of survey papers and research papers by experts on sequences and their applications. This text discusses both the theory of sequences and their applications in cryptography, coding theory, communications systems, numerical computation and computer simulation.
Автор: Hermann Haken Название: Synergetics ISBN: 3642883400 ISBN-13(EAN): 9783642883408 Издательство: Springer Рейтинг: Цена: 14635.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Sec- ond, because the methods of synergetics are penetrating such fields as eco- nomics, I have included an economic model on the transition from full employ- ment to underemployment in which I use the concept of nonequilibrium phase transitions developed elsewhere in the book.
This book provides the mathematical fundamentals of linear algebra to practicers in computer vision, machine learning, robotics, applied mathematics, and electrical engineering. By only assuming a knowledge of calculus, the authors develop, in a rigorous yet down to earth manner, the mathematical theory behind concepts such as: vectors spaces, bases, linear maps, duality, Hermitian spaces, the spectral theorems, SVD, and the primary decomposition theorem. At all times, pertinent real-world applications are provided. This book includes the mathematical explanations for the tools used which we believe that is adequate for computer scientists, engineers and mathematicians who really want to do serious research and make significant contributions in their respective fields.
Автор: 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.
Автор: 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.
Автор: Eerke A. Boiten; Bernhard M?ller Название: Mathematics of Program Construction ISBN: 3540438572 ISBN-13(EAN): 9783540438571 Издательство: Springer Рейтинг: Цена: 8537.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the 6th International Conference on Mathematics of Program Construction, held in Germany in 2002. The 11 papers cover programming methodology, program specification, program transformation, programming paradigms, programming calculi and programming language semantics.
Автор: 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.
Автор: 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.
Автор: Komendantskaya Название: Mathematics of Program Construction ISBN: 3031169115 ISBN-13(EAN): 9783031169113 Издательство: Springer Рейтинг: Цена: 7073.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
