This book provides a comprehensive overview of flow-based, microfluidic VLSI. The authors describe and solve in a comprehensive and holistic manner practical challenges such as control synthesis, wash
The integration of virtual engineering methods into 3D-CAD based development processes in the automotive industry leads to increased requirements, concerning the software packages as well as regarding
This textbooks demonstrates the application of software tools in solving a series of problems from the field of designing power system structures and systems. It contains four chapters: The first chap
The recent revolution in the biological sciences and bioengineering, along with the advancements of modern design and manufacturing, biomaterials, biology, and biomedicine, have brought about the new
A systematic computer-aided approach provides a versatile setting for the control engineer to overcome the complications of controller design for highly nonlinear systems. Computer-aided Nonlinear Con
In this book, the author has presented an introduction to the practical application of some of the essential technical topics related to computer-aided engineering (CAE). These topics include interact
This book is intended for engineers, computer scientists, managers and all those concerned with computer graphics, computer-aided design and computer-aided manufacture. While it is primarily intended
This book constitutes the refereed proceedings of the 16th International Conference on Computer-Aided Architectural Design Futures, CAAD Futures 2015, held in Sao Paulo, Brazil, in July 2015. The 33 r
This book consists of three parts: Part One is composed of two introductory chapters. The first chapter provides an instrumental varible interpretation of the state space time series algorithm origina
This book presents a paradigm for designing new generation resilient and evolving computer systems, including their key concepts, elements of supportive theory, methods of analysis and synthesis of IC
This book offers insights into the methods and techniques required to implement a consumer-focused product design philosophy. It does this by integrating capabilities for intelligent information suppo
This proceedings volume consists of papers presented at the Seventh International Workshop on Computer-Aided Scheduling of Pllblic Transport, which was held at th th the Massachusetts Institute of Tec
This textbook covers digital design, fundamentals of computer architecture, and assembly language. The book starts by introducing basic number systems, character coding, basic knowledge in digital des
This textbook provides semester-length coverage of computer architecture and design, providing a strong foundation for students to understand modern computer system architecture and to apply these ins
This book addresses the question of how system software should be designed to account for faults, and which fault tolerance features it should provide for highest reliability. The authors first show h
Providing a step-by-step guide for the implementation of virtual manufacturing using Creo Parametric software (formerly known as Pro-Engineer), this book creates an engaging and interactive learning e
This book details the analysis and design of high rise buildings for gravity and seismic analysis. It provides the knowledge structural engineers need to retrofit existing structures in order to meet
A new advanced textbook/reference providing a comprehensive survey of hardware and software architectural principles and methods of computer systems organization and design. The book is suitable for a
This text presents basic implementation strategies for arithmetic datapath designs and methodologies utilized in the digital system. The author implements various datapath designs for addition, subtra
Developing educational software requires thinking, problematizing, representing, modeling, implementing and analyzing pedagogical objectives and issues, as well as conceptual models and software archi
This book describes methods for designing and analyzing experiments conducted using computer code in lieu of a physical experiment. It discusses how to select the values of the factors at which to run
This book presents state-of-the-art research on forming processes and formed metal product development aided by the Finite Element Method (FEM). Using extensive and informative illustrations, tables a
This book provides a comprehensive overview of key technologies being used to address challenges raised by continued device scaling and the extending gap between memory and central processing unit per
This introductory book discusses how to plan and build useful, reliable, maintainable and cost efficient computer systems for automated engineering design. The book takes a user perspective and seeks
This book provides a comprehensive overview of key technologies being used to address challenges raised by continued device scaling and the extending gap between memory and central processing unit per
The two-volume set LNCS 8111 and LNCS 8112 constitute the papers presented at the 14th International Conference on Computer Aided Systems Theory, EUROCAST 2013, held in February 2013 in Las Palmas de
The two-volume set LNCS 8111 and LNCS 8112 constitute the papers presented at the 14th International Conference on Computer Aided Systems Theory, EUROCAST 2013, held in February 2013 in Las Palmas de
This book introduces the reader to a novel method of mathematical description, analysis and design of digital control systems, which makes it possible to take into account, in the most complete form,
This volume constitutes the refereed proceedings of the 4th IFIP WG 5.4. Working Conference on Computer- Aided Innovation, CAI 2011, held in Strasbourg, France, in June/July 2011. The 14 revised paper
Unique work on structure-based drug design, covering multiple aspects of drug discovery and development. Fully colored, many images, computer animations of 3D structures (these only in electronic form
Focusing on the manipulation and representation of geometrical objects, this book explores the application of geometry to computer graphics and computer-aided design (CAD). Over 300 exercises are incl
This book has been designed for a first course on digital design for engineering and computer science students. It offers an extensive introduction on fundamental theories, from Boolean algebra and bi
This volume gives an overview on recent developments for various applications of modern engineering design. Different engineering disciplines such as mechanical, materials, computer and process engine
This book represents an invaluable and up-to-date international exchange of research, case studies and best practice to tackle the challenges of digital technology, computer-aided design, 3D modeling,
This book connects the different topics and professions involved in information technology approaches to architectural design, ranging from computer-aided design, building information modeling and pro
The 3-volume set LNCS 9169, 9170, 9171 constitutes the refereed proceedings of the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Los Angeles, CA, USA, in August 2015.
Logic design of digital devices is a very important part of the Computer Science. It deals with design and testing of logic circuits for both data-path and control unit of a digital system. Design met
The four-volume set LNCS 8513-8516 constitutes the refereed proceedings of the 8th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2014, held as part of the 16th Inte
"Modeling and planning of manufacturing processes" provides the reader with detailed information about the different kinds of numerical modeling methods for the manufacturing processes forming, cuttin
This book is intended to be used as a textbook for graduate students studying theoretical computer science. It can also be used as a reference book for researchers in the area of design and analysis o
