Integrated circuits - Congresses. - Verification

Computer Aided Verification = 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings / 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: (書目-語言資料,印刷品)

Software Engineering.

Integrated circuits

Artificial Intelligence (incl. Robotics)

Computer Science.

Computer Hardware.

Logics and Meanings of Programs.

Electronic digital computers

Mathematical Logic and Formal Languages.

Computer software

Logic Design.

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