Formal Methods in Computer-Aided Design, Warren A. Jr. Hunt; Steven D. Johnson

Автор: Mandayam Srivas; Albert Camilleri
Название: Formal Methods in Computer-Aided Design
ISBN: 3540619372 ISBN-13(EAN): 9783540619376
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Covering computer-aided systems design, this text deals with topics including verification, synthesis and testing.

Автор: Ganesh Gopalakrishnan; Phillip Windley
Название: Formal Methods in Computer-Aided Design
ISBN: 3540651918 ISBN-13(EAN): 9783540651918
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Автор: Onwubolu Godfrey
Название: Computer Aided Engineering Design with Solidworks
ISBN: 1848166656 ISBN-13(EAN): 9781848166653
Издательство: World Scientific Publishing
Рейтинг:
Цена: 12830.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Computer-Aided Engineering Design with SolidWorks is designed for students taking SolidWorks courses at college and university, and also for engineering designers involved or interested in using SolidWorks for real-life applications in manufacturing processes, mechanical systems, and engineering analysis. The course material is divided into two parts. Part I covers the principles of SolidWorks, simple and advanced part modeling approaches, assembly modeling, drawing, configurations/design tables, and surface modeling. Part II covers the applications of SolidWorks in manufacturing processes, mechanical systems, and engineering analysis. The manufacturing processes applications include mold design, sheet metal parts design, die design, and weldments. The mechanical systems applications include: routing, piping and tubing, gears, pulleys and chains, cams and springs, mechanism design and analysis, threads and fasteners, hinges, and universal joints. The sections on engineering analysis also include finite element analysis.This textbook is unique because it is one of the very few to thoroughly cover the applications of SolidWorks in manufacturing processes, mechanical systems, and engineering analysis, as presented in Part II.It is written using a hands-on approach in which students can follow the steps described in each chapter to: model and assemble parts, produce drawings, and create applications on their own with little assistance from their instructors during each teaching session or in the computer laboratory. There are pictorial descriptions of the steps involved in every stage of part modeling, assembly modeling, drawing details, and applications presented in this textbook.Supplementary Material(s)For Users (2 MB)

Автор: Hirz
Название: Integrated Computer-Aided Design in Automotive Development
ISBN: 3642119395 ISBN-13(EAN): 9783642119392
Издательство: Springer
Рейтинг:
Цена: 23757.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The automotive industry faces constant pressure to reduce development costs and time while still increasing vehicle quality. This book provides an overview of the development tools and methods of today and tomorrow. It begins with an overview of automotive development processes and the principles of virtual product development.

Автор: Ryan
Название: Computer-Aided Graphics and Design, Third Edition,
ISBN: 0824791649 ISBN-13(EAN): 9780824791643
Издательство: Taylor&Francis
Рейтинг:
Цена: 17609.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text, now in its third edition, presents all common methods of computer/automated graphical construction most helpful to the engineering student, draftsperson or designer, describing, in easy-to-understand terms, a wide range of hardware platforms that will run a single set of software options from the Autodesk Corporation.