Word Equations and Related Topics, Habib Abdulrab; Jean-Pierre Pecuchet

Автор: Andre Haefliger; Raghavan Narasimhan
Название: Essays on Topology and Related Topics
ISBN: 3642491995 ISBN-13(EAN): 9783642491993
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: K. Gopalsamy
Название: Stability and Oscillations in Delay Differential Equations of Population Dynamics
ISBN: 0792315944 ISBN-13(EAN): 9780792315940
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: An overview of recent advances in the stability and oscillation of autonomous delay differential equations. Topics covered include linear and nonlinear delay and integrodifferential equations, which have potential applications in biological and physical dynamic processes.

Автор: Peter Baumgartner; Reiner H?hnle; Joachim Posegga
Название: Theorem Proving with Analytic Tableaux and Related Methods
ISBN: 3540593381 ISBN-13(EAN): 9783540593386
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU `95, held at Schlos Rheinfels, St Goar, Germany in May 1995. This book includes sections on extensions, modal logic, intuitionistic logic, the connection method and model elimination, linear logic, and applications.

Автор: Klaus U. Schulz
Название: Word Equations and Related Topics
ISBN: 3540551247 ISBN-13(EAN): 9783540551249
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains papers presented at the first international workshop on word equations and related topics. The annual workshop is a forum for researchers interested in associative unification and list processing.

Автор: Renzo A. Piccinini
Название: Groups of Self-Equivalences and Related Topics
ISBN: 3540526587 ISBN-13(EAN): 9783540526582
Издательство: Springer
Рейтинг:
Цена: 4884.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Reviews progress in the subject of groups of self-equivalences.

Автор: Giovanni Falcone
Название: Lie Groups, Differential Equations, and Geometry
ISBN: 3319621807 ISBN-13(EAN): 9783319621807
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This work is a collection of contributions related to the scientific project Marie Curie Actions - IRSES 317721"Lie groups, Differential equations and Geometry."The book is intended as a reference for students who want to approach the many aspects of the Lie theory, and begin a collaboration with one or more authors.

Автор: V. Kolmanovskii; A. Myshkis
Название: Applied Theory of Functional Differential Equations
ISBN: 0792320131 ISBN-13(EAN): 9780792320135
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Provides an introduction to the properties of functional differential equations and their applications in diverse fields such as immunology, nuclear power generation, heat transfer, signal processing, medicine and economics. This book deals with problems and methods relating to systems having a memory (hereditary systems).

Автор: Jose Garcia-Cuerva
Название: Harmonic Analysis and Partial Differential Equations
ISBN: 3540514600 ISBN-13(EAN): 9783540514602
Издательство: Springer
Рейтинг:
Цена: 6288.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The programme of the Conference at El Escorial included 4 main courses of 3-4 hours. This title shows their content in the four survey papers. It includes the ten 45-minute lectures of a specialized nature.

Автор: A.A. Samarskij; E.S. Nikolaev
Название: Numerical Methods for Grid Equations
ISBN: 3034899238 ISBN-13(EAN): 9783034899239
Издательство: Springer
Рейтинг:
Цена: 11173.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: A.A. Samarskij; E.S. Nikolaev
Название: Numerical Methods for Grid Equations
ISBN: 3034899726 ISBN-13(EAN): 9783034899727
Издательство: Springer
Рейтинг:
Цена: 23479.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Pierangelo Miglioli; Ugo Moscato; Daniele Mundici;
Название: Theorem Proving with Analytic Tableaux and Related Methods
ISBN: 3540612084 ISBN-13(EAN): 9783540612087
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These conference proceedings present state-of-the-art results in this dynamic area of research. Besides more traditional aspects of tableaux reasoning, the book also contains several papers dealing with other approaches to automated reasoning.