Embedded System Design

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

A Roadmap for Formal Property Verification

Differential Evolution A Practical Approach to Global Optimization

An Introduction to Meshfree Methods and Their Programming

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

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

New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design IFIP TC10 Working Conference: EduTech 2005, October 20–21, Perth, Australia

System-Level Design Techniques for Energy-Efficient Embedded Systems

Distributed Network Systems From Concepts to Implementations

Functional Verification of Programmable Embedded Architectures A Top-Down Approach

Design of Embedded Control Systems