Constructive Methods in Computing Science, F.L. Bauer; Manfred Broy; M. Broy; E.W. Dijkstra;

Автор: Andr? M. van Tilborg; Gary M. Koob
Название: Foundations of Real-Time Computing: Formal Specifications and Methods
ISBN: 1461367964 ISBN-13(EAN): 9781461367963
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains a selection of papers that focus on the state-of- the-art in formal specification and verification of real-time computing systems.

Автор: Leonardo Franco; Jos? M. Jerez
Название: Constructive Neural Networks
ISBN: 3642045111 ISBN-13(EAN): 9783642045110
Издательство: Springer
Рейтинг:
Цена: 194730.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constructive neural networks and other incremental learning algorithms are discussed in this volume as alternatives to methods for assessing adequate architectures. A valuable overview of the field is presented, in addition to useful applications.

Автор: Leonardo Franco; Jos? M. Jerez
Название: Constructive Neural Networks
ISBN: 3642261086 ISBN-13(EAN): 9783642261084
Издательство: Springer
Рейтинг:
Цена: 194730.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constructive neural networks and other incremental learning algorithms are discussed in this volume as alternatives to methods for assessing adequate architectures. A valuable overview of the field is presented, in addition to useful applications.

Автор: Nicolas Clerbout; Shahid Rahman
Название: Linking Game-Theoretical Approaches with Constructive Type Theory
ISBN: 3319190628 ISBN-13(EAN): 9783319190624
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. The fifth chapter develops the algorithm from CTT-demonstrations to dialogical strategies.

Автор: T.M. Welsh; Thomas M. Duffy; Joost Lowyck; David H
Название: Designing Environments for Constructive Learning
ISBN: 3642780717 ISBN-13(EAN): 9783642780714
Издательство: Springer
Рейтинг:
Цена: 97820.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the NATO Advanced Research Workshop on The Design of Constructivist Learning Environments: Implications for Instructional Design and the Use of Technology, held at the Catholic University Leuven, Belgium, May 14-18, 1991

Автор: 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.

Автор: Narendra Chauhan; Machavaram Kartikeyan; Ankush Mi
Название: Soft Computing Methods for Microwave and Millimeter-Wave Design Problems
ISBN: 3642437605 ISBN-13(EAN): 9783642437601
Издательство: Springer
Рейтинг:
Цена: 104480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This compendium of soft computing methods reflects the explosion of interest in and opportunities for the design and development of microwave components. It shows how to develop and use soft computing methods for tackling challenging microwave design problems.

Автор: D.E. Grierson; P. Hajela
Название: Emergent Computing Methods in Engineering Design
ISBN: 3642082394 ISBN-13(EAN): 9783642082399
Издательство: Springer
Рейтинг:
Цена: 231990.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the text of papers presented at the NATO Advanced Research Workshop on Emergent Computing Methods in Engineering Design, held in Nafplio, Greece, August 25-27, 1994. The workshop convened together some thirty or so researchers from Canada, France, Germany, Greece, Israel, Taiwan, The Netherlands, United Kingdom and the United States of America, to address issues related to the application of such emergent computing methods as genetic algorithms, neural networks and simulated annealing in problems of engineering design. The volume is essentially organized into three parts, with each part having some theoretical papers and other papers of a more practical nature. The frrst part, which comprises the largest number of papers, deals with genetic algorithms and evolutionary computing and presents subject matter ranging from proposed improvements to the computing methodology to specific applications in engineering design. The second part deals with neural networks and considers such topics as their application as approximation tools in design, their adaptation in control system design and theoretical issues of interpretation. The third part of the volume presents a collection of papers that examine such diverse topics as the combined use of genetic algorithms and neural networks, the application of simulated annealing techniques, problem decomposition techniques and the computer recognition and interpretation of emerging objects in engineering design.

Автор: Walter Kr?mer; J?rgen Wolff von Gudenberg
Название: Scientific Computing, Validated Numerics, Interval Methods
ISBN: 144193376X ISBN-13(EAN): 9781441933768
Издательство: Springer
Рейтинг:
Цена: 153720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: D.E. Grierson; P. Hajela
Название: Emergent Computing Methods in Engineering Design
ISBN: 3540608737 ISBN-13(EAN): 9783540608738
Издательство: Springer
Рейтинг:
Цена: 231990.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Includes papers that show the tremendous potential of emerging computing paradigms such as genetic algorithms, evolutionary computing, and neural networks for solving problems of engineering design.

Автор: Alireza Hajian; Peter Styles
Название: Application of Soft Computing and Intelligent Methods in Geophysics
ISBN: 3319665316 ISBN-13(EAN): 9783319665313
Издательство: Springer
Рейтинг:
Цена: 149060.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides a practical guide to applying soft-computing methods to interpret geophysical data. It discusses the design of neural networks with Matlab for geophysical data, as well as fuzzy logic and neuro-fuzzy concepts and their applications. In addition, it describes genetic algorithms for the automatic and/or intelligent processing and interpretation of geophysical data.