Computer-Aided Engineering (CAD, CAE) and Design.
概要
| 作品: | 219 作品在 219 項出版品 219 種語言 | |
|---|---|---|
書目資訊
SystemC Kernel Extensions for Heterogeneous System Modeling = A framework for Multi-MoC Modeling & Simulation /
by:
(書目-電子資源)
High-level verification = methods and tools for verification of system-level designs /
by:
(書目-電子資源)
Embedded software design and programming of multiprocessor system-on-chip = Simulink and System C Case Studies /
by:
(書目-電子資源)
Advanced test methods for SRAMs = effective solutions for dynamic fault detection in nanoscaled technologies /
by:
(書目-電子資源)
Analysis and design of resilient VLSI circuits = mitigating soft errors and process variations /
by:
(書目-電子資源)
Global Design to Gain a Competitive Edge = An Holistic and Collaborative Design Approach based on Computational Tools /
by:
(書目-電子資源)
Dependability in electronic systems = mitigation of hardware failures, soft errors, and electro-magnetic disturbances /
by:
(書目-電子資源)
Manufacturing simulation with plant simulation and simtalk = usage and programming with examples and solutions /
by:
(書目-電子資源)
Structural analysis with the finite element method. = linear statics /. Volume 1,. Basis and solids
by:
(書目-電子資源)
Multi-objective design space exploration of multiprocessor SoC architectures = the MULTICUBE Approach /
by:
(書目-電子資源)
Designing embedded systems with the SIGNAL programming language = synchronous, reactive specification /
by:
(書目-電子資源)
Designing inclusive interactions = inclusive interactions between people and products in their contexts of use /
by:
(書目-電子資源)
3D Manufacturing Innovation = Revolutionary Change in Japanese Manufacturing with Digital Data /
by:
(書目-電子資源)
Smart Graphics = 9th International Symposium, SG 2008, Rennes, France, August 27-29, 2008. Proceedings /
by:
(書目-電子資源)
Synthesis of embedded software = frameworks and methodologies for correctness by construction /
by:
(書目-電子資源)
Systemverilog for verification = a guide to learning the testbench language features /
by:
(書目-電子資源)
Advances in self-organizing maps = 8th international workshop, WSOM 2011, Espoo, Finland, June 13-15, 2011 : proceedings /
by:
(書目-電子資源)
SystemVerilog for verification = a guide to learning the testbench language features /
by:
(書目-電子資源)
ESL models and their application = electronic system level design and verification in practice /
by:
(書目-電子資源)
Virtual reality and animation for MATLAB and Simulink users = visualization of dynamic models and control simulations /
by:
(書目-電子資源)
Reanalysis of Structures = A Unified Approach for Linear, Nonlinear, Static and Dynamic Systems /
by:
(書目-電子資源)
Reliability of nanoscale circuits and systems = methodologies and circuit architectures /
by:
(書目-電子資源)
Dynamic modelling for supply chain management = dealing with front-end, back-end and integration issues /
by:
(書目-電子資源)
Advances in Design and Specification Languages for SoCs = Selected Contributions from FDL'04 /
by:
(書目-電子資源)
Computer vision and action recognition = a guide for image processing and computer vision community for action understanding /
by:
(書目-電子資源)
Design computing and cognition '08 = proceedings of the third International Conference on Design Computing and Cognition /
by:
(書目-電子資源)
VLSI design for video coding = H.264/AVC encoding from standard specification to chip /
by:
(書目-電子資源)
Functional Verification of Programmable Embedded Architectures = A Top-Down Approach /
by:
(書目-電子資源)
Tutorials on Emerging Methodologies and Applications in Operations Research = Presented at Informs 2004, Denver, CO /
by:
(書目-電子資源)
Design and analysis of biomolecular circuits = engineering approaches to systems and synthetic biology /
by:
(書目-電子資源)
Curves and surfaces = 7th International Conference, Avignon, France, June 24 - 30, 2010 : revised selected papers /
by:
(書目-電子資源)
CMOS Active Inductors and Transformers = Principle, Implementation, and Applications /
by:
(書目-電子資源)
Understanding and using the controller area network communication protocol = theory and practice /
by:
(書目-電子資源)
Interactive Curve Modeling = With Applications to Computer Graphics, Vision and Image Processing /
by:
(書目-電子資源)
Computer aided surgery = 7th Asian Conference on Computer Aided Surgery, Bangkok, Thailand, August 2011 : proceedings /
by:
(書目-電子資源)
Formal development of a network-centric RTOS = software engineering for reliable embedded systems /
by:
(書目-電子資源)
Low-power high-resolution analog to digital converters = design, test and calibration /
by:
(書目-電子資源)
Production Planning in Production Networks = Models for Medium and Short-term Planning /
by:
(書目-電子資源)
Regular nanofabrics in emerging technologies = design and fabrication methods for nanoscale digital circuits /
by:
(書目-電子資源)
更多
較少的
主題