Title: Formal Semantics and Proof Techniques for Optimizing VHDL Models, Author: Kothanda Umamageswaran
Title: Intelligence for Embedded Systems: A Methodological Approach, Author: Cesare Alippi
Title: Piton: A Mechanically Verified Assembly-Level Language, Author: J Strother Moore
Title: Linear and Nonlinear Multivariable Feedback Control: A Classical Approach / Edition 1, Author: Oleg Gasparyan
Title: System Design with SystemCT, Author: Thorsten Grötker
Title: Communication Systems / Edition 1, Author: Marcelo S. Alencar
Title: Intelligentized Methodology for Arc Welding Dynamical Processes: Visual Information Acquiring, Knowledge Modeling and Intelligent Control / Edition 1, Author: Shan-Ben Chen
Title: Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation - SAMOS, Author: Ed F. Deprettere
Title: Digital Signal Processing and Statistical Classification, Author: George J. Miao
Title: Embedded Systems Circuits and Programming, Author: Julio Sanchez
Title: Mobile Intelligent Autonomous Systems, Author: Jitendra R. Raol
Title: Advances in Intelligent Autonomous Systems, Author: S.G. Tzafestas
Title: Hardware Component Modeling, Author: Jean-Michel Bergï
Title: Optimal Reference Shaping for Dynamical Systems: Theory and Applications, Author: Tarunraj Singh
Title: Assertion-Based Design / Edition 2, Author: Harry D. Foster
Title: System Level Design of Reconfigurable Systems-on-Chip, Author: Nikolaos Voros
Title: Real-Time Digital Signal Processing from MATLAB to C with the TMS320C6x DSPs, Author: Thad B. Welch
Title: Quantum Computing and Communications: An Engineering Approach, Author: Sandor Imre
Title: Embedded Systems Circuits and Programming / Edition 1, Author: Julio Sanchez
Title: Real-Time Digital Signal Processing from MATLAB to C with the TMS320C6x DSPs / Edition 3, Author: Thad B. Welch

Pagination Links