Integrated circuits - Congresses. - Very large scale integration - Computer-aided design

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: (Language materials, printed)

Correct Hardware Design and Verification Methods : = 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005, Proceedings by: (Language materials, printed)

Software Engineering.

Integrated circuits

Electronic and Computer Engineering.

Artificial Intelligence (incl. Robotics)

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

Logic Design.

Computer Science.

Computer Hardware.

Processor Architectures.

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Arithmetic and Logic Structures.

Performance and Reliability.