This new graduate textbook in computer engineering offers a modern, up-to-date look at computer aided design of VLSI circuits at the functional and logic level by addressing an interesting topic in CAD for digital circuits: design synthesis of detailed specifications from abstract models. Topics covered include hardware modeling, compilation...

"This book is intended for a general scientifically interested audience . The author develops a generative theory of shape along two principles fundamental to intelligence maximization of transfer and maximization of recoverability. He proceeds by using an algebraically flavoured approach characterizing features as...

There's a reason why Mastering AutoCAD is so popular year after year. Loaded with concise explanations, step-by-step instructions, and hands-on projects, this comprehensive reference and tutorial from award-winning author George Omura has everything you...

Objects, Components, and Frameworks with UML: The Catalysis Approach is where you will...

Embedded System Design: Modeling, Synthesis and Verification introduces a model-based approach to system level design. It presents modeling techniques for both computation and communication at different levels of abstraction, such as specification, transaction level and cycle-accurate level. It discusses synthesis methods for system level...