|
Principles of Asynchronous Circuit Design
|
Jens Spars©ı |
Principles of Asynchronous Circuit Design - A Systems Perspective addresses the need for an introductory text on asynchronous circuit design. Part I is an 8-chapter tutorial which addresses the most … |
OL16963216W |
|
Algebraic Computing in Control
|
Gérard Jacob |
Some algebraic, combinatorial and algebraic-differential me- thods have beenused in recent years in order to solve many problems in control theory, by effective algorithms. Imple- mentation of these … |
OL19825379W |
|
Analog and Mixed-Signal Hardware Description Language
|
Alain Vachoux |
Hardware description languages (HDL) such as VHDL and Verilog have found their way into almost every aspect of the design of digital hardware systems. Since their inception they gradually proved to b… |
OL19826124W |
|
Auxiliary Signal Design in Fault Detection and Diagnosis
|
Xue Jun Zhang |
The object of this book is to present a systematic method for auxiliary signal design in fault detection and diagnosis. It covers systems that can be represented by linear or linearised multiple-inpu… |
OL19829414W |
|
Behavioral Synthesis and Component Reuse with VHDL
|
Ahmed A. Jerraya |
Improvement in the quality of integrated circuit designs and a designer's productivity can be achieved by a combination of two factors: Using more structured design methodologies for extensive reuse … |
OL19830318W |
|
Discrete Event Systems: Models and Applications
|
Pravin Varaiya |
Research in discrete systems is expanding rapidly, and specialized languages are proliferating. This book is a remarkable attempt to bring together researchers from a diverse range of application are… |
OL19843562W |
|
DV-Projektrecht
|
Claus-Dieter Müller-Hengstenberg |
Komplexe DV-Projekte sind mit Vorgehensmodellen oder Phasenkonzepten ökonomischer und präziser durchzuführen. Die Autoren, beide Juristen, greifen auf vielfältige Erfahrungen aus der Praxis mit Großp… |
OL19844335W |
|
Expert Systems in Structural Safety Assessment
|
Aleksandar S. Jovanović |
The volume combines tutorials covering basic elements of expert (or knowledge based) systems and practical building of the expert systems to be applied in structural engineering, with the lecture dea… |
OL19849097W |
|
Formal Semantics for VHDL
|
Carlos Delgado Kloos |
It is recognized that formal design and verification methods are an important requirement for the attainment of high quality system designs. The field has evolved enormously during the last few years… |
OL19850848W |
|
Hierarchical Annotated Action Diagrams
|
E. Cerny |
Standardization of hardware description languages and the availability of synthesis tools has brought about a remarkable increase in the productivity of hardware designers. Yet design verification me… |
OL19855217W |
|
High-Level System Modeling
|
Jean-Michel Bergé |
The process of modeling hardware involves a certain duality: a model may specify and represent the desires and constraints of the designer, or it may imitate something that already exists, and can en… |
OL19855291W |
|
Identification of Multivariable Industrial Processes
|
Yucai Zhu |
Identification of Multivariable Industrial Processes presents a unified approach to multivariable industrial process identification. It concentrates on industrial processes with reference to model ap… |
OL19856649W |
|
Industrial Applications of Fuzzy Technology
|
Kaoru Hirota |
The application of fuzzy technology is widely known as a technological revolution. Shortly after it appeared, its value has rapidly become appreciated. It is absolutely indispensable for introducing … |
OL19857195W |
|
Introduction to Robotics
|
Miomir Vukobratović |
This book provides a general introduction to robot technology with an emphasis on robot mechanisms and kinematics. It is conceived as a reference book for students in the field of robotics. |
OL19859221W |
|
Lecture Notes in Engineering
|
Ghodratollah Karami |
This book is an attempt to demonstrate the power and versatility of Boundary Element Method (BEM) in solving the complicated contact problem. The basic concepts of contact are explained followed by t… |
OL19882769W |
|
Logic for Applications
|
Anil Nerode |
This book is a rigorous introduction to classical and nonclassical logics which emphasizes deduction as a form of computation. It can be used to teach classical, modal, and intuitistic predicate logi… |
OL19884512W |
|
Model Generation in Electronic Design
|
Jean-Michel Bergé |
Model Generation in Electronic Design covers a wide range of model applications and research. The book begins by describing a model generator to create component models. It goes on to discuss ASIC de… |
OL19888565W |
|
Modeling in Analog Design
|
Jean-Michel Bergé |
Modeling in Analog Design highlights some of the most pressing issues in the use of modeling techniques for design of analogue circuits. Using models for circuit design gives designers the power to e… |
OL19888568W |
|
Nuclear Simulation
|
Moshe R. Heller |
This book is a state-of-the-art presentation in the area of nuclear simulation. In this area the mathematical modelling is the most important part. Then the question is: how is this model solved to c… |
OL19891422W |
|
Practical Knowledge-Based Systems in Conceptual Design
|
John C. Miles |
Conceptual Design is one of the few areas of Engineering Design where computers have yet to make an impact. With the development of Knowledge Based Systems it is now possible to rectify this situatio… |
OL19896066W |