Constructive Methods for the Practical Treatment of Integral Equations, G. H?mmerlin; K.H. Hoffmann
Автор: F.L. Bauer; Manfred Broy; M. Broy; E.W. Dijkstra; Название: Constructive Methods in Computing Science ISBN: 3642748864 ISBN-13(EAN): 9783642748868 Издательство: Springer Рейтинг: Цена: 97820.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Proceedings of the NATO Advanced Study Institute on Constructive Methods in Computing Science held at Marktoberdorf, Federal Republic of Germany, July 24 - August 5, 1988
Автор: Buragga & Zaman Название: Software Development Techniques For Constructive Information Systems Desig ISBN: 1466636793 ISBN-13(EAN): 9781466636798 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 189420.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Software development and information systems design have a unique relationship, but are often discussed and studied independently. However, meticulous software development is vital for the success of an information system.<br><br><em>Software Development Techniques for Constructive Information Systems Design</em> focuses the aspects of information systems and software development as a merging process. This reference source pays special attention to the emerging research, trends, and experiences in this area which is bound to enhance the reader’s understanding of the growing and ever-adapting field. Academics, researchers, students, and working professionals in this field will benefit from this publication’s unique perspective.
Автор: Johnson Название: Constructive Controversy ISBN: 1107461502 ISBN-13(EAN): 9781107461505 Издательство: Cambridge Academ Рейтинг: Цена: 35910.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Using the social psychological theory of `constructive controversy`, this book analyses the nature of disagreement among members of decision-making groups. It addresses questions such as: do differences of opinion enhance or obstruct creative thinking? And why do people make decisions based only on their own perspective without considering alternative viewpoints?
Автор: Harold M. Edwards Название: Essays in Constructive Mathematics ISBN: 1489990186 ISBN-13(EAN): 9781489990181 Издательство: Springer Рейтинг: Цена: 102480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Contents and treatment are fresh and very different from the standard treatmentsPresents a fully constructive version of what it means to do algebraThe exposition is not only clear, it is friendly, philosophical, and considerate even to the most naive or inexperienced reader
Автор: G. Fayolle , V. A. Malyshev , M. V. Menshikov Название: Topics in the Constructive Theory of Countable Markov Chains ISBN: 0521461979 ISBN-13(EAN): 9780521461979 Издательство: Cambridge Academ Рейтинг: Цена: 116160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The main point of the present book is to provide methods of analysing Markov chains based on Lyapunov functions. The authors provide not only a self-contained introduction to the theory but also details of how the required Lyapunov functions are constructed in various situations.
Автор: Pierre Grisvard; Wolfgang L. Wendland; John R. Whi Название: Singularities and Constructive Methods for Their Treatment ISBN: 3540152199 ISBN-13(EAN): 9783540152194 Издательство: Springer Рейтинг: Цена: 32560.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: R.P. Gilbert Название: Constructive Methods for Elliptic Equations ISBN: 354006690X ISBN-13(EAN): 9783540066903 Издательство: Springer Рейтинг: Цена: 32560.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Gohberg; Kaashoek Название: Constructive Methods of Wiener-Hopf Factorization ISBN: 3034874200 ISBN-13(EAN): 9783034874205 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: A E r* J J J J J where Aj is a square matrix of size nj x n* say. B and C are j j j matrices of sizes n. J x J J and Aj = Aj - BjC have no eigenvalues on r . 1) the functions j j Wj are normalized to I at infinity.
Автор: M.J. Beeson Название: Foundations of Constructive Mathematics ISBN: 364268954X ISBN-13(EAN): 9783642689543 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book is about some recent work in a subject usually considered part of "logic" and the" foundations of mathematics", but also having close connec- tions with philosophy and computer science. Namely, the creation and study of "formal systems for constructive mathematics". The general organization of the book is described in the" User's Manual" which follows this introduction, and the contents of the book are described in more detail in the introductions to Part One, Part Two, Part Three, and Part Four. This introduction has a different purpose; it is intended to provide the reader with a general view of the subject. This requires, to begin with, an elucidation of both the concepts mentioned in the phrase, "formal systems for constructive mathematics". "Con- structive mathematics" refers to mathematics in which, when you prove that l a thing exists (having certain desired properties) you show how to find it. Proof by contradiction is the most common way of proving something exists without showing how to find it - one assumes that nothing exists with the desired properties, and derives a contradiction. It was only in the last two decades of the nineteenth century that mathematicians began to exploit this method of proof in ways that nobody had previously done; that was partly made possible by the creation and development of set theory by Georg Cantor and Richard Dedekind.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
