Proceedings, first ACM and IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '03 : 24-26 June 2003, Mont Saint-Michel, France

• • ACM & IEEE International Conference on Formal Methods and Models for Co-Design
• • IEEE Computer Society. Design Automation Technical Committee
• • IEEE Circuits and Systems Society
• • ACM Special Interest Group on Design Automation

• • ACM & IEEE International Conference on Formal Methods and Models for Co-Design
• • IEEE Computer Society. Design Automation Technical Committee
• • IEEE Circuits and Systems Society
• • ACM Special Interest Group on Design Automation

Proceedings, first ACM and IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '03 : 24-26 June 2003, Mont Saint-Michel, France

sponsored by IEEE Computer Society Design Automation Technical Committee (DATC), IEEE Circuits and Systems Society, ACM Special Interest Group on Design Automation

IEEE Computer Society, c2003

大学図書館所蔵 件 / 全1件

• 東京科学大学 大岡山図書館

  I10625/1923130921051

  OPAC

• 該当する所蔵館はありません
• すべての絞り込み条件を解除する

• カーリル
• WorldCat

"IEEE Computer Society order number: PRO1923" -- T. p. verso

Includes bibliographical references and index

内容説明

「Nielsen BookData」 より