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
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Jacques Calmet; Jan Plaza
Название: Artificial Intelligence and Symbolic Computation
ISBN: 3540649603 ISBN-13(EAN): 9783540649601
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: John Fitch
Название: Design and Implementation of Symbolic Computation Systems
ISBN: 3540572724 ISBN-13(EAN): 9783540572725
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: 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
Рейтинг:
Цена: 39970.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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
Рейтинг:
Цена: 35218.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Jacques Calmet; John A. Campbell
Название: Integrating Symbolic Mathematical Computation and Artificial Intelligence
ISBN: 3540601562 ISBN-13(EAN): 9783540601562
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Frank G. Garvan; Mourad E.H. Ismail
Название: Symbolic Computation, Number Theory, Special Functions, Physics and Combinatorics
ISBN: 1461379644 ISBN-13(EAN): 9781461379645
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These are the proceedings of the conference "Symbolic Computation, Number Theory, Special Functions, Physics and Combinatorics" held at the Department of Mathematics, University of Florida, Gainesville, from November 11 to 13, 1999.

Автор: Thomas A. Henzinger; Shankar Sastry
Название: Hybrid Systems: Computation and Control
ISBN: 3540643583 ISBN-13(EAN): 9783540643586
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: 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
Рейтинг:
Цена: 25155.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

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.

Автор: Rae Earnshaw
Название: Art, Design and Technology: Collaboration and Implementation
ISBN: 3319581201 ISBN-13(EAN): 9783319581200
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Patrizia Gianni
Название: Symbolic and Algebraic Computation
ISBN: 3540510842 ISBN-13(EAN): 9783540510840
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.