Computer-Aided Engineering (CAD, CAE) and Design.

VLSI physical design = from graph partitioning to timing closure / by: (書目-電子資源)

Assertion-Based Design by: (書目-電子資源)

Embedded software design and programming of multiprocessor system-on-chip = Simulink and System C Case Studies / by: (書目-電子資源)

Advances in Design and Specification Languages for SoCs = Selected Contributions from FDL'04 / by: (書目-電子資源)

ESL models and their application = electronic system level design and verification in practice / by: (書目-電子資源)

Large-scale scientific computing = 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009 : revised papers / by: (書目-電子資源)

Motivated reinforcement learning = curious characters for multiuser games / by: (書目-電子資源)

On-chip instrumentation = design and debug for systems on chip / by: (書目-電子資源)

Ultra-thin chip technology and applications by: (書目-電子資源)

Multi-objective evolutionary optimisation for product design and manufacturing by: (書目-電子資源)

Error control for network-on-chip links by: (書目-電子資源)

Mathematical methods for curves and surfaces = 7th International Conference, MMCS 2008, Tonsberg, Norway, June 26-July 1, 2008 : revised selected papers / by: (書目-電子資源)

High-level verification = methods and tools for verification of system-level designs / by: (書目-電子資源)

Standardized functional verification by: (書目-電子資源)

Power-aware testing and test strategies for low power devices by: (書目-電子資源)

Collaborative design in virtual environments by: (書目-電子資源)

Computer-aided design of user interfaces VI = proceedings of the Seventh International Conference on Computer-Aided Design of User Interfaces (CADUI 2008) / by: (書目-電子資源)

Power-efficient system design by: (書目-電子資源)

Principles of VLSI RTL design = a practical guide / by: (書目-電子資源)

The language of design = theory and computation / by: (書目-電子資源)

Processor and system-on-chip simulation by: (書目-電子資源)

Low power hardware synthesis from concurrent action-oriented specifications by: (書目-電子資源)

Large-scale scientific computing = 6th international conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007 : revised papers / by: (書目-電子資源)

Reconfigurable computing = from FPGAs to hardware/software codesign / by: (書目-電子資源)

Extreme low-power mixed signal IC design = subthreshold source-coupled circuits / by: (書目-電子資源)

Clocking in modern VLSI systems by: (書目-電子資源)

Guide to computational geometry processing = foundations, algorithms, and methods / by: (書目-電子資源)

Model predictive control system design and implementation using MATLAB by: (書目-電子資源)

Focal-plane sensor-processor chips by: (書目-電子資源)

Guide to geometric algebra in practice by: (書目-電子資源)

Analog layout synthesis = a survey of topological approaches / by: (書目-電子資源)

Nanoscale memory repair by: (書目-電子資源)

Low-power high-resolution analog to digital converters = design, test and calibration / by: (書目-電子資源)

Curves and surfaces = 7th International Conference, Avignon, France, June 24 - 30, 2010 : revised selected papers / by: (書目-電子資源)

Correct Hardware Design and Verification Methods : = 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005, Proceedings by: (書目-電子資源)

Field Models in Electricity and Magnetism by: (書目-電子資源)

Production systems and supply chain management in emerging countries = best practices : selected papers from the International Conference on Production Research (ICPR) / by: (書目-電子資源)

Computer aided systems theory - EUROCAST 2011 = 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011 : revised selected papers.. Part I / by: (書目-電子資源)

Formal development of a network-centric RTOS = software engineering for reliable embedded systems / by: (書目-電子資源)

Tutorials on Emerging Methodologies and Applications in Operations Research = Presented at Informs 2004, Denver, CO / by: (書目-電子資源)

Digitally-assisted analog and RF CMOS circuit design for software-defined radio by: (書目-電子資源)

DRM, a design research methodology by: (書目-電子資源)

Advances on modeling in tissue engineering by: (書目-電子資源)

3D Manufacturing Innovation = Revolutionary Change in Japanese Manufacturing with Digital Data / by: (書目-電子資源)

Introduction to Geometric Computing by: (書目-電子資源)

Cloud connectivity and embedded sensory systems by: (書目-電子資源)

Voltage regulators for next generation microprocessors by: (書目-電子資源)

Low-power variation-tolerant design in nanometer silicon by: (書目-電子資源)

Growth and development of computer aided innovation = third IFIP WG 5.4 working conference, CAI 2009, Harbin, China, August 20-21, 2009 : proceedings / by: (書目-電子資源)

Subdivision surfaces by: (書目-電子資源)

Ultra low-power integrated circuit design for wireless neural interfaces by: (書目-電子資源)

Playing with the past by: (書目-電子資源)

Computer aided systems theory - EUROCAST 2009 = 12th international conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009 : revised selected papers / by: (書目-電子資源)

Product engineering = tools and methods based on virtual reality / by: (書目-電子資源)

Evolutionary optimization = the [mu]GP toolkit / by: (書目-電子資源)

Global product development = proceedings of the 20th CIRP Design Conference, Ecole Centrale de Nantes, Nantes, France, 19th-21st April 2010 / by: (書目-電子資源)

Rigid Body Dynamics Algorithms by: (書目-電子資源)

Programming many-core chips by: (書目-電子資源)

Computer-aided nonlinear control system design = using describing function models / by: (書目-電子資源)

Automated configuration problem solving by: (書目-電子資源)

Hardware acceleration of EDA algorithms = custom ICs, FPGAs and GPUs / by: (書目-電子資源)

System-Level Design Techniques for Energy-Efficient Embedded Systems by: (書目-電子資源)

Power Distribution Networks with On-Chip Decoupling Capacitors by: (書目-電子資源)

Computer aided surgery = 7th Asian Conference on Computer Aided Surgery, Bangkok, Thailand, August 2011 : proceedings / by: (書目-電子資源)

Line drawing interpretation by: (書目-電子資源)

Nanometer technology designs = high-quality delay tests / by: (書目-電子資源)

Rapid one-of-a-kind product development = strategies, algorithms and tools / by: (書目-電子資源)

Computer Aided Architectural Design Futures 2005 = Proceedings of the 11th International CAAD Futures Conference held at the Vienna University of Technology, Vienna, Austria, on June 20-22, 2005 / by: (書目-電子資源)

Systems Modeling and Simulation: Theory and Applications = Third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers / by: (書目-電子資源)

Functional Verification of Programmable Embedded Architectures = A Top-Down Approach / by: (書目-電子資源)

Digital Design and Implementation with Field Programmable Devices by: (書目-電子資源)

Embedded system design = modeling, synthesis and verification / by: (書目-電子資源)

Designing embedded systems with the SIGNAL programming language = synchronous, reactive specification / by: (書目-電子資源)

Design creativity 2010 by: (書目-電子資源)

Computational surface and roundness metrology by: (書目-電子資源)

Open verification methodology cookbook by: (書目-電子資源)

Analysis and design of univariate subdivision schemes by: (書目-電子資源)

Fundamentals of digital manufacturing science by: (書目-電子資源)

Advances in self-organizing maps = 8th international workshop, WSOM 2011, Espoo, Finland, June 13-15, 2011 : proceedings / by: (書目-電子資源)

Distributed, embedded and real-time Java systems by: (書目-電子資源)

Designing inclusive systems = designing inclusion for real-world applications / by: (書目-電子資源)

All-embracing manufacturing = roadmap system / by: (書目-電子資源)

Computational Intelligence for Modelling and Prediction by: (書目-電子資源)

3D TCAD simulation for semiconductor processes, devices and optoelectronics by: (書目-電子資源)

Design computing and cognition '10 by: (書目-電子資源)

Analysis, architectures and modelling of embedded systems = Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009 : Proceedings / by: (書目-電子資源)

SystemVerilog for verification = a guide to learning the testbench language features / by: (書目-電子資源)

The MPEG representation of digital media by: (書目-電子資源)

Evolvable Systems : = From Biology to Hardware: 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings by: (書目-電子資源)

Interactive Curve Modeling = With Applications to Computer Graphics, Vision and Image Processing / by: (書目-電子資源)

Geometric algebra computing = in engineering and computer science / by: (書目-電子資源)

Regular nanofabrics in emerging technologies = design and fabrication methods for nanoscale digital circuits / by: (書目-電子資源)

Mixed reality and human-robot interaction by: (書目-電子資源)

Statistical performance analysis and modeling techniques for nanometer VLSI designs by: (書目-電子資源)

Low power design with high-level power estimation and power-aware synthesis by: (書目-電子資源)

Classification and Clustering for Knowledge Discovery by: (書目-電子資源)

Advanced techniques in logic synthesis, optimizations and applications by: (書目-電子資源)

On-chip interconnect with aelite = composable and predictable systems / by: (書目-電子資源)

Computational science and its appilcations, ICCSA 2009 = international conference, Seoul, Korea, June 29-July 2, 2009 : proceedings.. Part II / by: (書目-電子資源)

Nanosystems design and technology by: (書目-電子資源)

Information modeling for interoperable dimensional metrology by: (書目-電子資源)

Computational techniques for structural health monitoring by: (書目-電子資源)

Rapid Prototyping of Digital Systems by: (書目-電子資源)

New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design = IFIP TC10 Working Conference: EduTech 2005, October 20-21, Perth, Australia / by: (書目-電子資源)

Reverse Engineering = An Industrial Perspective / by: (書目-電子資源)

Computational science and its appilcations, ICCSA 2009 = international conference, Seoul, Korea, June 29-July 2, 2009 : Proceedings.. Part I / by: (書目-電子資源)

Understanding and using the controller area network communication protocol = theory and practice / by: (書目-電子資源)

Memory-based logic synthesis by: (書目-電子資源)

Composing software components = a software-testing perspective / by: (書目-電子資源)

Post-silicon and runtime verification for modern processors by: (書目-電子資源)

On and off-chip crosstalk avoidance in VLSI design by: (書目-電子資源)

VLSI design for video coding = H.264/AVC encoding from standard specification to chip / by: (書目-電子資源)

Minimizing and exploiting leakage in VLSI design by: (書目-電子資源)

Multiprocessor system-on-chip = hardware design and tool integration / by: (書目-電子資源)

Cartesian genetic programming by: (書目-電子資源)

Collaborative design and planning for digital manufacturing by: (書目-電子資源)

OntoCAPE = a re-usable ontology for chemical process engineering / by: (書目-電子資源)

CMOS circuits for passive wireless microsystems by: (書目-電子資源)

Design of image processing embedded systems using multidimensional data flow by: (書目-電子資源)

Practical aspects of design science = European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011 : revised selected papers / by: (書目-電子資源)

Differential Evolution = A Practical Approach to Global Optimization / by: (書目-電子資源)

Structural optimization with uncertainties by: (書目-電子資源)

Research and Education in Robotics - EUROBOT 2008 = International Conference, Heidelberg, Germany, May 22-24, 2008 : revised selected papers / by: (書目-電子資源)

Holonic and multi-agent systems for manufacturing = 4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2009, Linz, Austria, August 31 - September 2, 2009 : proceedings / by: (書目-電子資源)

Mixed-Signal Layout Generation Concepts by: (書目-電子資源)

Complexity metrics in engineering design = managing the structure of design processes / by: (書目-電子資源)

Static timing analysis for nanometer designs = a practical approach / by: (書目-電子資源)

Solid modelling and CAD systems = how to survive a CAD system / by: (書目-電子資源)

Geometric algebra with applications in engineering by: (書目-電子資源)

Scalable multi-core architectures = design methodologies and tools / by: (書目-電子資源)

Enabling manufacturing competitiveness and economic sustainability = proceedings of the 4th International Conference on Changeable, Agile, Reconfigurable and Virtual production (CARV2011), Montreal, Canada, 2-5 October 2011 / by: (書目-電子資源)

Synthesis of embedded software = frameworks and methodologies for correctness by construction / by: (書目-電子資源)

Advanced manufacturing and sustainable logistics = 8th International Heinz Nixdorf Symposium, IHNS 2010, Paderborn, Germany, April 21-22, 2010 : proceedings / by: (書目-電子資源)

Design computing and cognition '08 = proceedings of the third International Conference on Design Computing and Cognition / by: (書目-電子資源)

Simulation methods for reliability and availability of complex systems by: (書目-電子資源)

E-maintenance by: (書目-電子資源)

A practical introduction to hardware/software codesign by: (書目-電子資源)

Dependability in electronic systems = mitigation of hardware failures, soft errors, and electro-magnetic disturbances / by: (書目-電子資源)

High performance fiber reinforced cement composites 6 = HPFRCC 6 / by: (書目-電子資源)

Structural analysis with the finite element method. = linear statics /. Volume 1,. Basis and solids by: (書目-電子資源)

Numerical methods and applications = 7th international conference, NMA 2010, Borovets, Bulgaria, August 20-24, 2010 : revised papers / by: (書目-電子資源)

Low power networks-on-chip by: (書目-電子資源)

Distributed Network Systems = From Concepts to Implementations / by: (書目-電子資源)

Interconnect-Centric Design for Advanced SoC and NoC by: (書目-電子資源)

Timing optimization through clock skew scheduling by: (書目-電子資源)

Designing inclusive interactions = inclusive interactions between people and products in their contexts of use / by: (書目-電子資源)

Computer-Aided Innovation (CAI) = IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy / by: (書目-電子資源)

Reconfigurable field programmable gate arrays for mission-critical applications by: (書目-電子資源)

SystemC Kernel Extensions for Heterogeneous System Modeling = A framework for Multi-MoC Modeling & Simulation / by: (書目-電子資源)

Energy harvesting systems = principles, modeling and applications / by: (書目-電子資源)

Spotlight on modern transformer design by: (書目-電子資源)

Writing mental ray shaders = A Perceptual Introduction / by: (書目-電子資源)

Creating Assertion-Based IP by: (書目-電子資源)

SystemC = from the ground up / by: (書目-電子資源)

Design for Manufacturability and Statistical Design = A Constructive Approach / by: (書目-電子資源)

Cooperative design, visualization, and engineering = 9th International Conference, CDVE 2012, Osaka, Japan, September 2-5, 2012 : proceedings / by: (書目-電子資源)

Process variations and probabilistic integrated circuit design by: (書目-電子資源)

Distributed large-scale dimensional metrology = new insights / by: (書目-電子資源)

Computer vision and action recognition = a guide for image processing and computer vision community for action understanding / by: (書目-電子資源)

Computer supported cooperative work in design IV = 11th international conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. revised selected papers / by: (書目-電子資源)

Robust Control Design with MATLAB by: (書目-電子資源)

Design of Embedded Control Systems by: (書目-電子資源)

Holonic and Multi-Agent Systems for Manufacturing = Second International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2005, Copenhagen, Denmark, August 22-24, 2005, Proceedings / by: (書目-電子資源)

Production Planning in Production Networks = Models for Medium and Short-term Planning / by: (書目-電子資源)

Control and automation = international conference, CA 2009. Held as part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009 : Proceedings / by: (書目-電子資源)

Holonic and multi-agent systems for manufacturing = 5th international conference on industrial applications of holonic and multi-agent systems, HoloMAS 2011, Toulouse, France, August 29-31, 2011 : proceedings / by: (書目-電子資源)

Advanced design and manufacturing based on STEP by: (書目-電子資源)

Building innovation pipelines through computer-aided innovation = 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 - July 1, 2011. Proceedings / by: (書目-電子資源)

Computer Supported Cooperative Work in Design I : = 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers by: (書目-電子資源)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : = 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings by: (書目-電子資源)

FPGA design = best practices for team-based design / by: (書目-電子資源)

The simple art of SoC design = closing the gap between RTL and ESL / by: (書目-電子資源)

Similarity and modeling in science and engineering by: (書目-電子資源)

Computer-aided design in power engineering = application of software tools / by: (書目-電子資源)

Ontologies in urban development projects by: (書目-電子資源)

Euclidean shortest paths = exact or approximate algorithms / by: (書目-電子資源)

Dynamic modelling for supply chain management = dealing with front-end, back-end and integration issues / by: (書目-電子資源)

Software automatic tuning = from concepts to state-of-the-art results / by: (書目-電子資源)

Heterogeneous multicore processor technologies for embedded systems by: (書目-電子資源)

Reanalysis of Structures = A Unified Approach for Linear, Nonlinear, Static and Dynamic Systems / by: (書目-電子資源)

Hardware software co-design of a multimedia SOC platform / by: (書目-電子資源)

Evolvable systems = from biology to hardware: 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings / by: (書目-電子資源)

The Universal Generating Function in Reliability Analysis and Optimization by: (書目-電子資源)

Introduction to mixed-signal, embedded design by: (書目-電子資源)

Wearable monitoring systems by: (書目-電子資源)

Fault location on power networks by: (書目-電子資源)

Manufacturing simulation with plant simulation and simtalk = usage and programming with examples and solutions / by: (書目-電子資源)

Computer aided systems theory - EUROCAST 2011 = 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011 : revised selected papers.. Part II / by: (書目-電子資源)

Computer Aided Systems Theory - EUROCAST 2005 : = 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers by: (書目-電子資源)

Virtual reality and animation for MATLAB and Simulink users = visualization of dynamic models and control simulations / by: (書目-電子資源)

CMOS Active Inductors and Transformers = Principle, Implementation, and Applications / by: (書目-電子資源)

Management of knowledge imperfection in building intelligent systems by: (書目-電子資源)

Multi-objective design space exploration of multiprocessor SoC architectures = the MULTICUBE Approach / by: (書目-電子資源)

Innovation in product design = from CAD to virtual prototyping / by: (書目-電子資源)

Shape interrogation for computer aided design and manufacturing by: (書目-電子資源)

The Art of Artificial Evolution = A Handbook on Evolutionary Art and Music / by: (書目-電子資源)

Smart Graphics = 9th International Symposium, SG 2008, Rennes, France, August 27-29, 2008. Proceedings / by: (書目-電子資源)

Advanced Design and Manufacture to Gain a Competitive Edge = New Manufacturing Techniques and their Role in Improving Enterprise Performance / by: (書目-電子資源)

Design and verification of microprocessor systems for high-assurance applications by: (書目-電子資源)

Reliability, availability and serviceability of networks-on-chip by: (書目-電子資源)

Taxonomies for the Development and Verification of Digital Systems by: (書目-電子資源)

C compilers for ASIPs = automatic compiler generation with LISA / by: (書目-電子資源)

New Algorithms, Architectures and Applications for Reconfigurable Computing by: (書目-電子資源)

Reliability of nanoscale circuits and systems = methodologies and circuit architectures / by: (書目-電子資源)

Complex sciences = First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009 : revised papers, part 1 / by: (書目-電子資源)

Run-time adaptation for reconfigurable embedded processors by: (書目-電子資源)

Direct Transistor-level Layout for Digital Blocks by: (書目-電子資源)

The future of design methodology by: (書目-電子資源)

Large-scale scientific computing = 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised selected papers / by: (書目-電子資源)