Advances in Formal Design Methods for CAD, Asko Riitahuhta; Fay Sudweeks

Автор: Seonho Cho, Kyung K. Choi, Youn D. Ha
Название: Isogeometric Optimal Design: Geometrically Exact S hape Optimization with Seamless Integration of CAD and CAE
ISBN: 1118732057 ISBN-13(EAN): 9781118732052
Издательство: Wiley
Рейтинг:
Цена: 121440.00 T
Наличие на складе: Невозможна поставка.
Описание: Presents a unified approach for combining CAD, CAE, sensitivity analysis, and optimization, helping readers to understand the theories of the isogeometric finite element method and shape optimization systematically and accurately.

Автор: J. Encarnacao
Название: Computer Aided Design Modelling, Systems Engineering, CAD-Systems
ISBN: 3540102426 ISBN-13(EAN): 9783540102427
Издательство: Springer
Рейтинг:
Цена: 32600.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Ganesh Gopalakrishnan; Phillip Windley
Название: Formal Methods in Computer-Aided Design
ISBN: 3540651918 ISBN-13(EAN): 9783540651918
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Taken from a conference on formal methods in computer-aided design, the papers in this volume present the state-of-the-art in formal verification methods for digital circuits and systems, including processors, custom VLSI circuits, microcode, and reactive software.

Автор: P. Brunet; C. Hoffmann; D. Roller
Название: CAD Tools and Algorithms for Product Design
ISBN: 3642085482 ISBN-13(EAN): 9783642085482
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A look at important new tools and algorithms for future product modeling systems, based on a seminar at the International Conference and Research Center for Computer Science, Schloss Dagstuhl, Germany, presented by internationally recognised experts in CAD technology.

Автор: P. Brunet; C. Hoffmann; D. Roller
Название: CAD Tools and Algorithms for Product Design
ISBN: 3540662049 ISBN-13(EAN): 9783540662044
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A look at important new tools and algorithms for future product modeling systems, based on a seminar at the International Conference and Research Center for Computer Science, Schloss Dagstuhl, Germany, presented by internationally recognised experts in CAD technology.

Автор: Piet Wambacq; Georges Gielen; John Gerrits
Название: Low-Power Design Techniques and CAD Tools for Analog and RF Integrated Circuits
ISBN: 1475783965 ISBN-13(EAN): 9781475783964
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This unique book provides an overview of the current state of the art and very recent research results that have been achieved as part of the Low-Power Initiative of the European Union, in the field of analogue, RF and mixed-signal design methodologies and CAD tools.

Автор: Warren A. Jr. Hunt; Steven D. Johnson
Название: Formal Methods in Computer-Aided Design
ISBN: 3540412190 ISBN-13(EAN): 9783540412199
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This title reviews computer-aided design. Topics covered are formal verification, formal specification, systems analysis, program analysis, model checking, automated modelling, program semantics, theorem proving, symbolic simulation, and transition systems.

Автор: Mandayam Srivas; Albert Camilleri
Название: Formal Methods in Computer-Aided Design
ISBN: 3540619372 ISBN-13(EAN): 9783540619376
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Covering computer-aided systems design, this text deals with topics including verification, synthesis and testing.