Автор: McKean Henry, Moll Victor Название: Elliptic Curves: Function Theory, Geometry, Arithmetic ISBN: 0521658179 ISBN-13(EAN): 9780521658171 Издательство: Cambridge Academ Цена: 8712.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This 1997 book presents the subject of elliptic curves in the style of its nineteenth-century discoverers, with references to and comments about more modern developments. Requiring only a first acquaintance with complex function theory, it is an ideal introduction to the subject for students of mathematics and physics.
Автор: Broughan Kevin Название: Equivalents of the Riemann Hypothesis: Volume 1, Arithmetic ISBN: 110719704X ISBN-13(EAN): 9781107197046 Издательство: Cambridge Academ Рейтинг: Цена: 19325.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This two-volume work presents the main known equivalents to the Riemann hypothesis, perhaps the most important problem in mathematics. Volume 1 presents classical and modern arithmetic equivalents, with some analytic methods. Accompanying software is freely available online.
Published in 1996, Richard Jones 's Garbage Collection was a milestone in the area of automatic memory management. The field has grown considerably since then, sparking a need for an updated look at the latest state-of-the-art developments. The Garbage Collection Handbook: The Art of Automatic Memory Management brings together a wealth of knowledge gathered by automatic memory management researchers and developers over the past fifty years. The authors compare the most important approaches and state-of-the-art techniques in a single, accessible framework.
The book addresses new challenges to garbage collection made by recent advances in hardware and software. It explores the consequences of these changes for designers and implementers of high performance garbage collectors. Along with simple and traditional algorithms, the book covers parallel, incremental, concurrent, and real-time garbage collection. Algorithms and concepts are often described with pseudocode and illustrations.
The nearly universal adoption of garbage collection by modern programming languages makes a thorough understanding of this topic essential for any programmer. This authoritative handbook gives expert insight on how different collectors work as well as the various issues currently facing garbage collectors. Armed with this knowledge, programmers can confidently select and configure the many choices of garbage collectors.
Web Resource The book 's online bibliographic database at www.gchandbook.org includes over 2,500 garbage collection-related publications. Continually updated, it contains abstracts for some entries and URLs or DOIs for most of the electronically available ones. The database can be searched online or downloaded as BibTeX, PostScript, or PDF.
Автор: Jean-Pierre Deschamps; Gustavo D. Sutter; Enrique Название: Guide to FPGA Implementation of Arithmetic Functions ISBN: 9401784388 ISBN-13(EAN): 9789401784382 Издательство: Springer Рейтинг: Цена: 23508.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book reviews the development of Field Programmable Gate Arrays, complex systems made up of processors executing programs, memories, buses, input-output interfaces, and other peripherals of different types. Includes many examples of FPGA implementations.
Автор: S. Gelbart; G. Harder; K. Iwasawa; H. Jaquet; N.M. Название: Automorphic Forms, Representation Theory and Arithmetic ISBN: 3540106979 ISBN-13(EAN): 9783540106975 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: International Colloquium an Automorphic Forms, Representation Theory and Arithmetic. Published for the Tata Institute of Fundamental Research, Bombay
Автор: Armando Freitas Rocha; Eduardo Massad; Alfredo Per Название: The Brain: Fuzzy Arithmetic to Quantum Computing ISBN: 3642060056 ISBN-13(EAN): 9783642060052 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Quantification and Calculation in Nature.- The Cells of the Brain.- Brain: A Distributed Intelligent Processing System.- Neural Computational Mechanisms Supporting Cognitive Processes.- The Brain and Quantum Computation.- Memetics and Cognitive Mathematics.- Modeling of Arithmetic Reasoning.- Brain Maps of Arithmetic Processes in Children and Adults.- Arithmetic Learning Capability in Congenitally Injured Brains.- Learning Arithmetic: Why So Difficult?.
Автор: J.H. Silverman Название: The Arithmetic of Dynamical Systems ISBN: 1441924175 ISBN-13(EAN): 9781441924179 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides an introduction to the relatively new discipline of arithmetic dynamics. Whereas classical discrete dynamics is the study of iteration of self-maps of the complex plane or real line, arithmetic dynamics is the study of the number theoretic properties of points under repeated application of a polynomial or rational function. A principal theme of arithmetic dynamics is that many of the fundamental problems in the theory of Diophantine equations have dynamical analogs. This graduate-level text provides an entry for students into an active field of research and serves as a standard reference for researchers.
Автор: Bjorn Poonen; Yuri Tschinkel Название: Arithmetic of Higher-Dimensional Algebraic Varieties ISBN: 1461264715 ISBN-13(EAN): 9781461264712 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text offers a collection of survey and research papers by leading specialists in the field documenting the current understanding of higher dimensional varieties.
Автор: ?etin Kaya Ko?; Sihem Mesnager; Erkay Sava? Название: Arithmetic of Finite Fields ISBN: 3319162764 ISBN-13(EAN): 9783319162768 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 5th International Workshop on the Arithmetic of Finite Field, WAIFI 2014, held in Gebze, Turkey, in September 2014.
Автор: Sylvie, Boldo Название: Computer arithmetic and Formal Proofs ISBN: 1785481126 ISBN-13(EAN): 9781785481123 Издательство: Elsevier Science Рейтинг: Цена: 22570.00 р. Наличие на складе: Поставка под заказ.
Описание:
Floating-point arithmetic is ubiquitous in modern computing, as it is the tool of choice to approximate real numbers. Due to its limited range and precision, its use can become quite involved and potentially lead to numerous failures. One way to greatly increase confidence in floating-point software is by computer-assisted verification of its correctness proofs.
This book provides a comprehensive view of how to formally specify and verify tricky floating-point algorithms with the Coq proof assistant. It describes the Flocq formalization of floating-point arithmetic and some methods to automate theorem proofs. It then presents the specification and verification of various algorithms, from error-free transformations to a numerical scheme for a partial differential equation. The examples cover not only mathematical algorithms but also C programs as well as issues related to compilation.
Автор: Lou van den Dries; Jochen Koenigsmann; H. Dugald M Название: Model Theory in Algebra, Analysis and Arithmetic ISBN: 3642549357 ISBN-13(EAN): 9783642549359 Издательство: Springer Рейтинг: Цена: 6288.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presenting recent developments and applications, the book focuses on four main topics in current model theory: 1) the model theory of valued fields; Young researchers in model theory will particularly benefit from the book, as will more senior researchers in other branches of mathematics.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
