Formal Methods in Computer-Aided Design, Mandayam Srivas; Albert Camilleri
Автор: Andy Dong; Andrew Vande Moere; Asko Riitahuhta Название: Computer-Aided Architectural Design Futures (CAADFutures) 2007 ISBN: 9401780765 ISBN-13(EAN): 9789401780766 Издательство: Springer Рейтинг: Цена: 22354.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Internationally refereed papers present the state of the art in computer-aided architectural design research. These papers reflect the theme of the 12th International Conference of CAADFutures, Integrating Technologies for Computer-Aided Design.
Автор: Shaker A. Meguid Название: Integrated Computer-Aided Design of Mechanical Systems ISBN: 9401080240 ISBN-13(EAN): 9789401080248 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: 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)
Автор: Ga?lle Calvary; Costin Pribeanu; Giuseppe Santucci Название: Computer-Aided Design of User Interfaces V ISBN: 9401784876 ISBN-13(EAN): 9789401784870 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book gathers the latest experience of experts, research teams and leading organizations involved in computer-aided design of user interfaces of interactive applications. In particular, it stresses how the design activity could be better understood for different types of advanced interactive systems.
Автор: Victor Lopez Jaquero; Francisco Montero Simarro; J Название: Computer-Aided Design of User Interfaces VI ISBN: 1849968268 ISBN-13(EAN): 9781849968263 Издательство: Springer Рейтинг: Цена: 29209.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Investigates how it is desirable and possible to support, to facilitate and to speed up the development life cycle of any interactive system of computer-aided design: requirements engineering, early-stage design, detailed design, development, deployment, evaluation, and maintenance.
Автор: Warren A. Jr. Hunt; Steven D. Johnson Название: Formal Methods in Computer-Aided Design ISBN: 3540412190 ISBN-13(EAN): 9783540412199 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: 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.
Автор: Davies Название: Computer-aided Drawing and Design ISBN: 0412342308 ISBN-13(EAN): 9780412342301 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Aims to give a basic understanding of the principles of computer graphics and show how these affect the process of engineering drawing. The book aims to develop understanding through the medium of computer graphics and by the use of a number of computer graphics exercises.
Описание: This text addresses the design methodologies and CAD tools available for the systematic design and design automation of analogue integrated circuits. Two complementary approaches discussed increase analogue design productivity, demonstrated throughout using design times of the different design experiments undertaken.
Автор: Hirz Mario; Wilhelm Dietrich; Anton Gfrerrer; Joha Название: Integrated Computer-Aided Design in Automotive Development ISBN: 3642444555 ISBN-13(EAN): 9783642444555 Издательство: Springer Рейтинг: Цена: 18284.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: It is targeted not only towards professional project and design engineers, but also to students and to anyone who is interested in state-of-the-art computer-aided development.The book begins with an overview of automotive development processes and the principles of virtual product development.
Автор: Asko Riitahuhta; Fay Sudweeks Название: Advances in Formal Design Methods for CAD ISBN: 0412727102 ISBN-13(EAN): 9780412727108 Издательство: Springer Рейтинг: Цена: 29209.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Designing is one of the most significant of human acts. This book contains contributions which cover design methods based on evolutionary systems, generative processes, evaluation methods and analysis methods. It presents formal design methods for computer aided design.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
