This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
اقرأ المزيد
This book presents for the first time comprehensively the Theory of Alfred Puck on failure in Fiber Polymer Laminates. After ...
اقرأ المزيد
In the competitive world of modern engineering, rigorous and definite design methodologies are needed. However, many parts ...
اقرأ المزيدDiscusses how to include artificial intelligence (AI) systems in the early stages of the design process. Today designers ...
اقرأ المزيد
The book by Professors is an impressive and in-depth treatment of the essence of the case–based reasoning strategy and ...
اقرأ المزيد
Design is the essential component of engineering. Design Matters demonstrates the need to understand the context, process ...
اقرأ المزيد
Intended for business leaders who want to understand the role of design management as a driver for commercial success; design ...
اقرأ المزيد
This book was stimulated by the third CWUAAT workshop, held in Cambridge, England in April 2006; the contributors representing ...
اقرأ المزيد
Offers practical support here. Based on current research from neuroscience and psychology, the book presents tools for systematically ...
اقرأ المزيدDigital video for user-centred co-design is an emerging field of design, gaining increasing interest in both industry and ...
اقرأ المزيد
Effective Functional Verification is organized into 4 parts. The first part contains 3 chapters designed appeal to newcomers ...
اقرأ المزيدEngineering Design (3rd edition) describes a systematic approach to engineering design. The authors argue that such an approach, ...
اقرأ المزيد
Finite Element Analysis (FEA) has been widely implemented by the automotive industry as a productivity tool for design engineers ...
اقرأ المزيد
High Performance Energy Efficient Microprocessor Design is intended to be a useful companion book for every design engineer ...
اقرأ المزيد
Many decisions are required throughout the software development process. These decisions, and to some extent the decision-making ...
اقرأ المزيد
Simplifies 140 complex theories into 8 categories, supplemented with diagrams, tables, and illustrations Offers a comprehensive ...
اقرأ المزيد
SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based ...
اقرأ المزيد
Statistical Analysis and Optimization for VLSI: Timing and Power is the first book summarizing the state-of-the-art in the ...
اقرأ المزيد
This book illustrates true cross-disciplinary electronic system-level design with examples in algorithm-architecture co-design, ...
اقرأ المزيد