Leakage in Nanometer CMOS Technologies

Embedded System Design

Interconnect Noise Optimization in Nanometer Technologies

Constraint-Based Verification

A Practical Introduction to PSL

Hardware Verification with C++ A Practitioner’s Handbook

Innovation in Life Cycle Engineering and Sustainable Development

A Roadmap for Formal Property Verification

Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms

Innovations in Design & Decision Support Systems in Architecture and Urban Planning

Practical Grey-box Process Identification Theory and Applications

Boundary Representation Modelling Techniques

Transformations and Projections in Computer Graphics

Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierung

Wissenschaftstheoretische Grundlagen für die rechnerunterstützte Konstruktion

Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers

Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits

Visualisierung digitaler Gelände- und Landschaftsdaten

Konstruieren von Pkw-Karosserien Grundlagen, Elemente und Baugruppen, Vorschriftenübersicht, Beispiele mit CATIA V4 und V5

Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers

Intelligent Computing in Engineering and Architecture 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers

CATIA V5 Workbook, releases 16

Advanced CATIA V5 workbook : release 16

Verification Methodology Manual for SystemVerilog

Electromagnetic Compatibility of Integrated Circuits Techniques for low emission and susceptibility

Systemverilog for Verification A Guide to Learning the Testbench Language Features

Curves and Surfaces for Computer Graphics

Rapid Prototyping of Digital Systems

Thermal and Power Management of Integrated Circuits

Scalable Hardware Verification with Symbolic Simulation

Writing Testbenches using System Verilog

Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China

Abstraction Refinement for Large Scale Model Checking

The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™

SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling

Design Computing and Cognition ’06

Assembly Line Design The Balancing of Mixed-Model Hybrid Assembly Lines with Genetic Algorithms

Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction

Condition Monitoring and Control for Intelligent Manufacturing

Large-scale 3D data integration

Feature Extraction Foundations and Applications

Learning MicroStation VBA

Large-scale 3D data integration

The electrical engineering handbook. Third edition, Broadcasting and optical communication technology

GIS for sustainable development

The occupational ergonomics handbook. Interventions, controls, and applications in occupational ergonomics

EDA for IC system design, verification, and testing

Low-power CMOS circuits : technology, logic design and CAD tools

EDA for IC implementation, circuit design, and process technology

Mixed-Signal Layout Generation Concepts

System-Level Design Techniques for Energy-Efficient Embedded Systems

Tutorials on Emerging Methodologies and Applications in Operations Research Presented at Informs 2004, Denver, CO

Distributed Network Systems From Concepts to Implementations

Taxonomies for the Development and Verification of Digital Systems

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04

Functional Verification of Programmable Embedded Architectures A Top-Down Approach

Design of Embedded Control Systems

Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings

Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers

Differential Evolution A Practical Approach to Global Optimization

Computer-aided intelligent recognition techniques and applications

An Introduction to Meshfree Methods and Their Programming

Interconnect-Centric Design for Advanced SoC and NoC

Digital Design and Implementation with Field Programmable Devices

Assertion-Based Design

Direct Transistor-level Layout for Digital Blocks

SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation

The Universal Generating Function in Reliability Analysis and Optimization

Computer Supported Cooperative Work in Design I 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers

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

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

Computational Intelligence for Modelling and Prediction

Classification and Clustering for Knowledge Discovery

CATIA for design and engineering : Version 5 Releases 14 & 15

Catia CAD/CAM = programı ile tasarım

Conference for computer aided engineering and system modeling: Swissotel the Bosphorus İstanbul December 09-10, 2004.