Computational Intelligence Engineering of Hybrid Systems

Fuzzy Systems Engineering Theory and Practice

Trustworthy systems through quantitative software engineering

Engineering Self-Organising Systems Methodologies and Applications

Computer aided design, engineering, and manufacturing systems techniques and applications

Computer aided design, engineering, and manufacturing systems techniques and applications

Computer aided design, engineering, and manufacturing systems techniques and applications

Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers

Advanced Information Systems Engineering 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005. Proceedings

Web Information Systems Engineering – WISE 2005 6th International Conference on Web Information Systems Engineering, New York, NY, USA, November 20-22, 2005. Proceedings

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Innovations in Applied Artificial Intelligence 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005. Proceedings

Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings

Knowledge-Based Intelligent Information and Engineering Systems 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part I

Knowledge-Based Intelligent Information and Engineering Systems 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part II

Knowledge-Based Intelligent Information and Engineering Systems 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part III

Knowledge-Based Intelligent Information and Engineering Systems 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part IV

Software Engineering for Multi-Agent Systems III Research Issues and Practical Applications

Web Information Systems Engineering – WISE 2005 Workshops WISE 2005 International Workshops, New York, NY, USA November 20-22, 2005. Proceedings

Agent-Mediated Electronic Commerce VI. Theories for and Engineering of Distributed Mechanisms and Systems AAMAS 2004 Workshop, AMEC 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

Biodegradable systems in tissue engineering and regenerative medicine

Joint cognitive systems foundations of cognitive systems engineering

Competitive engineering a handbook for systems engineering, requirements engineering, and software engineering using Planguage

Knowledge and Skill Chains in Engineering and Manufacturing Information Infrastructure in the Era of Global Communications Proceedings of the IFIP TC5/WG5.3, WG5.7, WG5.12 Fifth International Working Conference of Information Infrastructure Systems for Manufacturing 2002 (DIIDM2002), November 18–20, 2002 in Osaka, Japan

Process systems risk management

Managing complex systems thinking outside the box

Tech mining exploiting new technologies for competitive advantage

Verification and validation for quality of UML 2.0 models

Organizational simulation

Constraint Theory Multidimensional Mathematical Model Management

Web Content Delivery

Semistructured Database Design

Project management : processes, methodologies, and economics

Computational Intelligence Principles, Techniques and Applications

Control of Nonlinear and Hybrid Process Systems Designs for Uncertainty, Constraints and Time-Delays

Control and Observer Design for Nonlinear Finite and Infinite Dimensional Systems

New Directions and Applications in Control Theory

RoboCup 2004: Robot Soccer World Cup VIII

The Designer’s Guide to High-Purity Oscillators

Transient Analysis of Electric Power Circuits Handbook

Digital Synthesizers and Transmitters for Software Radio

Design of Wireless Autonomous Datalogger IC’s

Dynamic and Robust Streaming in and between Connected Consumer-Electronic Devices

Interconnect-Centric Design for Advanced SoC and NoC

Circuits and Systems Based on Delta Modulation Linear, Nonlinear, and Mixed Mode Processing

Identification of Nonlinear Systems Using Neural Networks and Polynomial Models A Block-Oriented Approach

Requirements engineering

CPU Design: Answers to Frequently Asked Questions

Dynamic Characterisation of Analogue-to-Digital Converters

Statistical Analysis and Optimization for VLSI: Timing and Power

Design of Embedded Control Systems

High-Frequency Oscillator Design for Integrated Transceivers

Mixed-Signal Layout Generation Concepts

Digital Self-tuning Controllers Algorithms, Implementation and Applications

Receding Horizon Control Model Predictive Control for State Models

Explicit Stability Conditions for Continuous Systems A Functional Analytic Approach

Turbo Code Applications A Journey from a Paper to Realization

Digital Design and Implementation with Field Programmable Devices

Assertion-Based Design

Direct Transistor-level Layout for Digital Blocks

Clock Generators for SOC Processors Circuits and Architectures

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

Switched Linear Systems Control and Design

System-level Test and Validation of Hardware/Software Systems

PID Control New Identification and Design Methods

Subspace Methods for System Identification

Control Systems Design A New Framework

H∞-Control and Estimation of State-multiplicative Linear Systems

Advanced Topics in Control Systems Theory Lecture Notes from FAP 2004

VLSI-Design of Non-Volatile Memories

Physik der Halbleiterbauelemente Einführendes Lehrbuch für Ingenieure und Physiker

Liapunov Functions and Stability in Control Theory

Real-Time Management of Resource Allocations Systems A Discrete Event Systems Approach

Taxonomies for the Development and Verification of Digital Systems

RF System Design of Transceivers for Wireless Communications

Matching Properties of Deep Sub-Micron MOS Transistors

Advanced BDD Optimization

Fault Diagnosis of Analog Integrated Circuits

UML for SOC Design

System Level Design of Reconfigurable Systems-on-Chip

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays

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

A Practical Guide for SystemVerilog Assertions

Data Mining and Diagnosing IC Fails

Functional Verification of Programmable Embedded Architectures A Top-Down Approach

Advances in Control, Communication Networks, and Transportation Systems In Honor of Pravin Varaiya

Reaction-diffusion computers