Analysis for Computer Scientists, Oberguggenberger

Автор: Wazwaz Abdul-Majid
Название: First Course In Integral Equations, A (Second Edition)
ISBN: 9814675121 ISBN-13(EAN): 9789814675123
Издательство: World Scientific Publishing
Рейтинг:
Цена: 42240.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This second edition integrates the newly developed methods with classical techniques to give both modern and powerful approaches for solving integral equations.

Автор: O`Donnell
Название: Analysis of Boolean Functions
ISBN: 1107038324 ISBN-13(EAN): 9781107038325
Издательство: Cambridge Academ
Рейтинг:
Цена: 76030.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This graduate-level text gives a thorough overview of the field, beginning with the most basic definitions and proceeding to advanced topics such as hypercontractivity and isoperimetry. Each chapter includes a `highlight application` such as Arrow`s theorem, the Goldreich-Levin algorithm, hardness of approximation, and `sharp threshold` theorems for random graphs.

Автор: Swartzlander Earl E. Jr.
Название: Computer Arithmetic: Volume I
ISBN: 9814651567 ISBN-13(EAN): 9789814651561
Издательство: World Scientific Publishing
Цена: 135170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book provides many of the basic papers in computer arithmetic. These papers describe the concepts and basic operations (in the words of the original developers) that would be useful to the designers of computers and embedded systems.

Автор: Kiusalaas
Название: Numerical Methods in Engineering with MATLAB
ISBN: 1107120578 ISBN-13(EAN): 9781107120570
Издательство: Cambridge Academ
Рейтинг:
Цена: 92930.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The third edition of this text describes a range of widely used numerical methods, with an emphasis on problem solving. Every method is discussed thoroughly and illustrated with problems involving both hand computation and programming. MATLAB (R) M-files accompany each method and are available online, as are solutions to the problems.

Автор: Swartzlander Earl E. Jr.
Название: Computer Arithmetic: Volume III
ISBN: 9814651133 ISBN-13(EAN): 9789814651134
Издательство: World Scientific Publishing
Рейтинг:
Цена: 158400.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Computer Arithmetic Volume III is a compilation of key papers in computer arithmetic on floating-point arithmetic and design.

Автор: Pinkus
Название: Ridge Functions
ISBN: 1107124395 ISBN-13(EAN): 9781107124394
Издательство: Cambridge Academ
Рейтинг:
Цена: 121440.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The first book devoted to ridge functions presents the state of the art and provides a solid theoretical foundation for researchers who encounter ridge functions in approximation theory or data science. It includes an extensive bibliography and discusses some of the unresolved questions in the field.

Автор: Holzman
Название: Mathematical Programming for Operations Researchers and Computer Scientists
ISBN: 0824714997 ISBN-13(EAN): 9780824714994
Издательство: Taylor&Francis
Рейтинг:
Цена: 255200.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book covers the fundamentals of linear programming, extension of linear programming to discrete optimization methods, multi-objective functions, quadratic programming, geometric programming, and classical calculus methods for solving nonlinear programming problems.

Автор: Arieh Iserles
Название: Acta Numerica 2018: Volume 27
ISBN: 1108470521 ISBN-13(EAN): 9781108470520
Издательство: Cambridge Academ
Рейтинг:
Цена: 149950.00 T
Наличие на складе: Невозможна поставка.
Описание: Acta Numerica is an annual publication containing invited survey papers by leading researchers in numerical mathematics and scientific computing. The papers present overviews of recent developments in their area and provide state-of-the-art techniques and analysis.

Автор: G?nter Mayer
Название: Interval Analysis: and Automatic Result Verification
ISBN: 3110500639 ISBN-13(EAN): 9783110500639
Издательство: Walter de Gruyter
Рейтинг:
Цена: 148700.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

This self-contained text is a step-by-step introduction and a complete overview of interval computation and result verification, a subject whose importance has steadily increased over the past many years. The author, an expert in the field, gently presents the theory of interval analysis through many examples and exercises, and guides the reader from the basics of the theory to current research topics in the mathematics of computation.

Автор: Thomas Huckle, Tobias Neckel
Название: Bits and Bugs: A Scientific and Historical Review of Software Failures in Computational Science
ISBN: 1611975557 ISBN-13(EAN): 9781611975550
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 38450.00 T
Наличие на складе: Невозможна поставка.
Описание: In scientific computing (also known as computational science), advanced computing capabilities are used to solve complex problems. This self-contained book describes and analyzes reported software failures related to the major topics within scientific computing: mathematical modeling of phenomena; numerical analysis (number representation, rounding, conditioning); mathematical aspects and complexity of algorithms, systems, or software; concurrent computing (parallelization, scheduling, synchronization); and numerical data (such as input of data and design of control logic).Readers will find lists of related, interesting bugs, MATLAB examples, and ""excursions"" that provide necessary background, as well as an in-depth analysis of various aspects of the selected bugs. Illustrative examples of numerical principles such as machine numbers, rounding errors, condition numbers, and complexity are also included.This book is intended for students, teachers, and researchers in scientific computing, computer science, and applied mathematics. It is also an entertaining and motivating introduction for those with a minimum background in mathematics or computer science. Bits and Bugs can be used for courses in numerical analysis, numerical methods in linear algebra/ODEs/PDEs, introductory software engineering, introductory scientific computing, and parallel programming.

Автор: Jacobs
Название: Introduction to Coalgebra
ISBN: 1107177898 ISBN-13(EAN): 9781107177895
Издательство: Cambridge Academ
Рейтинг:
Цена: 155230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is the first mature and accessible introduction to coalgebra, providing clear mathematical explanations, with many examples and exercises involving deterministic and non-deterministic automata, transition systems, streams, Markov chains and weighted automata. It will be of interest to mathematicians, computer scientists, mathematical physicists and even economists.

Автор: Mauricio Ayala Rincon
Название: Applied logic for computer scientists. Computational Deduction and formal Proofs
ISBN: 3319516515 ISBN-13(EAN): 9783319516516
Издательство: Springer
Рейтинг:
Цена: 41920.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems.