Algebraic System Specification and Development, Michel Bidoit; Hans-J?rg Kreowski; Pierre Lescanne
Автор: Marco A. C. Pacheco; Marley M. B. R. Vellasco Название: Intelligent Systems in Oil Field Development under Uncertainty ISBN: 3642100961 ISBN-13(EAN): 9783642100963 Издательство: Springer Рейтинг: Цена: 23508.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The decision to invest in oil field development is an extremely complex problem. This book is a result of about four years of research in this area. It presents applications of intelligent decision support systems to oil field development under uncertainty.
Introduction.- Governing Equations.- Numerical schemes.- The validations of the numerical methodology.- The argon bubble rising in the liquid GaInSn under the influence of a vertical magnetic field.- The argon bubble rising in the liquid GaInSn under the influence of a horizontal magnetic field.
Автор: Hartmut Ehrig; Bernd Mahr Название: Fundamentals of Algebraic Specification 2 ISBN: 3642647766 ISBN-13(EAN): 9783642647765 Издательство: Springer Рейтинг: Цена: 9776.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Since the early seventies concepts of specification have become central in the whole area of computer science. The fundamentals of algebraic specification lay a basis for teaching, research, and development in all those fields of computer science where algebraic techniques are the subject or are used with advantage on a conceptual level.
Автор: Hartmut Ehrig; Bernd Mahr Название: Fundamentals of Algebraic Specification 1 ISBN: 3642699642 ISBN-13(EAN): 9783642699641 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The aim of this book is to present fundamentals of algebraicspecifications with respect to the following three aspects:fundamentals in the sense of a carefully motivatedintroduction to algebraic specifications, which is easy tounderstand for computer scientists and mathematicians;
Автор: Francesco Parisi-Presicce Название: Recent Trends in Algebraic Development Techniques ISBN: 3540642994 ISBN-13(EAN): 9783540642992 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed post-workshop proceedings of the 12th International Workshop on Algebraic Development Techniques, WADT `98, held in Italy, in June 1997. This book presents the state-of-the-art in the area of algebraic software development.
Автор: Friedrich L. Bauer; Wilfried Brauer; Helmut Schwic Название: Logic and Algebra of Specification ISBN: 3540558136 ISBN-13(EAN): 9783540558132 Издательство: Springer Рейтинг: Цена: 36197.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This NATO volume presents a selection of leading research aimed at giving a foundation for combining logic and algebra for the purpose of specification under the aspects of automated deduction, proving techniques, concurrency and logic, abstract data types and operational semantics, and constructive methods.
Описание: Current research into formal methods for hardware design is presented in the papers in this volume. The goal of research in this area is to develop methods of improving the design process and the quality of the resulting designs.
Автор: Friedrich L. Bauer; Wilfried Brauer; Helmut Schwic Название: Logic and Algebra of Specification ISBN: 3642634486 ISBN-13(EAN): 9783642634482 Издательство: Springer Рейтинг: Цена: 26552.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991
Описание: Simulation-Based Engineering and Science (SBE&S) cuts across disciplines, showing tremendous promise in areas from storm prediction and climate modeling. This title concludes that while the US remains the quantitative leader in SBE&S research and development, it is very much in danger of losing that edge to Europe and Asia.
Описание: This book presents state-of-the-art research on forming processes and formed metal product development aided by the Finite Element Method (FEM). Using extensive and informative illustrations, tables and photographs, it systematically presents real-life case studies and established findings regarding various forming processes and methods aided by FEM simulation, and addresses various issues related to metal formed part design, process determination, die design and die service life analysis and prolongation, as well as product quality assurance and improvement.Metal forming has been widely used in many industries. This traditional manufacturing process, however, has long been linked to many years of apprenticeship and skilled craftsmanship, and its conventional design and development paradigm appeared to involve more know-how and trial-and-error than in-depth scientific calculation, analysis and simulation. The design paradigm for forming processes and metal formed product development thus cannot meet the current demands for short development lead-times, low production costs and high product quality. With the advent of numerical simulation technologies, the design and development of forming processes and metal formed products are carried out with the aid of FEM simulation, allowing all the potential design spaces to be identified and evaluated, and the best design to ultimately be determined and implemented. Such a design and development paradigm aims at ensuring “designing right the first time” and reducing the need for trial-and-error in the workshop. This book provides postgraduates, manufacturing engineers and professionals in this field with an in-depth understanding of the design process and sufficient knowledge to support metal formed part design, forming process determination, tooling design, and product quality assurance and control via FEM simulation.<
Автор: Hartmut Ehrig; Bernd Mahr Название: Fundamentals of Algebraic Specification 2 ISBN: 3540517995 ISBN-13(EAN): 9783540517993 Издательство: Springer Рейтинг: Цена: 9776.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Since the early seventies concepts of specification have become central in the whole area of computer science. The fundamentals of algebraic specification lay a basis for teaching, research, and development in all those fields of computer science where algebraic techniques are the subject or are used with advantage on a conceptual level.
Описание: The proceedings of TAPSOFT `91 are organized into three parts: Colloquium on Trees in Algebra and Programming (CAAP), contained in Vol. 1, and Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD), both contained in Vol. 2. The proceedings are published in two volumes.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
