Design and Implementation of Symbolic Computation Systems, Alfonso Miola

Автор: Norbert Kajler; D.S. Scott
Название: Computer - Human Interaction in Symbolic Computation
ISBN: 3211828435 ISBN-13(EAN): 9783211828434
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Concentrating on interactive books, computer-aided instruction, and visualization, the contributions range from a description of a framework for authoring and browsing mathematical books to the presentation of techniques. It is aimed at students, researchers, and developers involved in the design and implementation of scientific software.

Автор: Hoai An Le Thi; Tao Pham Dinh; Ngoc Thanh Nguyen
Название: Modelling, Computation and Optimization in Information Systems and Management Sciences
ISBN: 3319181602 ISBN-13(EAN): 9783319181608
Издательство: Springer
Рейтинг:
Цена: 167700.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Combinatorial Optimization and Applications.- DC Programming and DCA: Thirty Years of Developments.- Dynamic Optimization.- Modelling and Optimization in Nancial Engineering.- Multiobjective Programming.- Numerical Optimization.- Spline Approximation and Optimization.- Variational Principles and Applications.

Автор: Jacques Calmet; Carla Limongelli
Название: Design and Implementation of Symbolic Computation Systems
ISBN: 3540616977 ISBN-13(EAN): 9783540616979
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text contains four invited contributions surveying the state of the art in a particular subfield or pointing to new research directions, together with 31 revised full papers from a total of some 70 submissions. Many current aspects of mathematical software systems are addressed.

Автор: John Fitch
Название: Design and Implementation of Symbolic Computation Systems
ISBN: 3540572724 ISBN-13(EAN): 9783540572725
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A series of papers that explores the design and implementation issues of computer algebra. A general theme of the text is the need for interconnections between systems, as no individual system incorporates the range of facilities that users require.

Автор: Alfonso Miola
Название: Design and Implementation of Symbolic Computation Systems
ISBN: 3540525319 ISBN-13(EAN): 9783540525318
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: DISCO `90 focuses mainly on the most innovative methodological and technological aspects of hardware and software system design and implementation for Symbolic and Algebraic Computation, Automated Reasoning, Software Environments, and Automatic Programming.

Автор: Jacques Calmet; John A. Campbell
Название: Integrating Symbolic Mathematical Computation and Artificial Intelligence
ISBN: 3540601562 ISBN-13(EAN): 9783540601562
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains versions of selected papers presented at the Second Artificial Intelligence and Sympolic Mathematical Computation, held in Cambridge, 1994. It explores the interaction between mathematical computation and indicates further topics that may be concentrated upon.

Автор: Thomas A. Henzinger; Shankar Sastry
Название: Hybrid Systems: Computation and Control
ISBN: 3540643583 ISBN-13(EAN): 9783540643586
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This work constitutes the refereed proceedings of the First International Workshop on Hybrid Systems: Computation and Control. The 27 papers focus on mathematical methods for the rigorous and systematic design and analysis of hybrid systems.

Автор: Wolfgang Bibel; P.H. Schmitt
Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
ISBN: 0792351290 ISBN-13(EAN): 9780792351290
Издательство: Springer
Рейтинг:
Цена: 266470.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building.

Автор: Wolfgang Bibel; P.H. Schmitt
Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
ISBN: 0792351304 ISBN-13(EAN): 9780792351306
Издательство: Springer
Рейтинг:
Цена: 234790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques.

Автор: Rae Earnshaw
Название: Art, Design and Technology: Collaboration and Implementation
ISBN: 3319581201 ISBN-13(EAN): 9783319581200
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book examines how digital technology is being used to assist the artists and designers. Augmented and virtual reality techniques can be used to preview designs before they are finalized and implemented. Art and design have shaped the values, social structures, communications, and the culture of communities and civilisations.

Автор: Jaques Calmet; John A. Campbell; Jochen Pfalzgraf
Название: Artificial Intelligence and Symbolic Mathematical Computation
ISBN: 3540617329 ISBN-13(EAN): 9783540617327
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 19 papers presented in this text were selected by the programme committee of the Third International Conference on Artificial Intelligence and Symbololic Mathematical Computation. Topics addressed include theorem proving, rewriting systems, symbolic computation, and spatial reasoning.

Автор: Jacques Calmet; Jan Plaza
Название: Artificial Intelligence and Symbolic Computation
ISBN: 3540649603 ISBN-13(EAN): 9783540649601
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers in this volume address aspects of symbolic computation and formal reasoning such as: inductive logic programming; context reasoning; computer algebra; proof theory and theorem proving; algebraic manipulation; formal verification; constraint solving; and knowledge discovery.