儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
作者 (1-3 之 3)
Borrione, Dominique
1
book jacket

Advances in design methods from modeling languages for embedded systems and SoC's selected contributions on specification, design, and verification from FDL 2009

Dordrecht : Springer Science+Business Media B.V., 2010
2010
電子書

館藏地: 資訊服務處
2
book jacket

Correct Hardware Design and Verification Methods : 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005, Proceedings
CHARME 2005 (2005 : Saarbrucken, Germany)
Berlin Heidelberg : Springer-Verlag GmbH., 2005
2005
電子書

館藏地: 中央研究院
3
book jacket

Correct hardware design and verification methods : 13th IFIP WG10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : proceedings
Advanced Research Working Conference on Correct Hardware Design and Verification Methods (13th : 2005 : Saarbrücken, Germany)
Berlin ; New York : Springer, 2005
2005
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro B2.2 C824 2005  LNCS 3725    館內使用    30330000178843
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄