Descent Construction for GSpin Groups, Joseph Hundley, Eitan Sayag

Автор: Karl K. Sabelfeld, Irina A. Shalimova
Название: Spherical and Plane Integral Operators for PDEs: Construction, Analysis, and Applications
ISBN: 3110315297 ISBN-13(EAN): 9783110315295
Издательство: Walter de Gruyter
Рейтинг:
Цена: 185890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book presents integral formulations for partial differential equations, with the focus on spherical and plane integral operators. The integral relations are obtained for different elliptic and parabolic equations, and both direct and inverse mean value relations are studied. The derived integral equations are used to construct new numerical methods for solving relevant boundary value problems, both deterministic and stochastic based on probabilistic interpretation of the spherical and plane integral operators.

Автор: Mahmuda Ahmed; Sophia Karagiorgou; Dieter Pfoser;
Название: Map Construction Algorithms
ISBN: 3319251643 ISBN-13(EAN): 9783319251646
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book provides an overview of the state-of-the-art of map construction algorithms, which use tracking data in the form of trajectories to generate vector maps.

Автор: Ad Meskens; Paul Tytgat
Название: Exploring Classical Greek Construction Problems with Interactive Geometry Software
ISBN: 3319428624 ISBN-13(EAN): 9783319428628
Издательство: Springer
Рейтинг:
Цена: 37260.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this book the classical Greek construction problems are explored in a didactical, enquiry based fashion using Interactive Geometry Software (IGS).

Автор: W. Rance Cleaveland
Название: Tools and Algorithms for the Construction of Analysis of Systems
ISBN: 3540657037 ISBN-13(EAN): 9783540657033
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text presents the proceedings of the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. The papers are organized into topical sections on areas such as real time systems, compositionality and abstraction, symbolic analysis and process algebras.