淡江大學機構典藏:Item 987654321/45442
English  |  正體中文  |  简体中文  |  全文筆數/總筆數 : 62797/95867 (66%)
造訪人次 : 3731968      線上人數 : 533
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library & TKU Library IR team.
搜尋範圍 查詢小技巧:
  • 您可在西文檢索詞彙前後加上"雙引號",以獲取較精準的檢索結果
  • 若欲以作者姓名搜尋,建議至進階搜尋限定作者欄位,可獲得較完整資料
  • 進階搜尋
    請使用永久網址來引用或連結此文件: https://tkuir.lib.tku.edu.tw/dspace/handle/987654321/45442


    題名: On the construction of a prolog-based verifier for systolic array designs
    作者: 施國琛;Shih, Timothy K.;Ling, Nam;Davis, Ruth;Lin, Fuyau
    貢獻者: 淡江大學資訊工程學系
    日期: 1995-02-01
    上傳時間: 2010-03-26 19:20:27 (UTC+8)
    出版者: Wiley-Blackwell
    關聯: Computational intelligence 11(1), pp.172-221
    DOI: 10.1111/j.1467-8640.1995.tb00027.x
    顯示於類別:[資訊工程學系暨研究所] 期刊論文

    文件中的檔案:

    沒有與此文件相關的檔案.

    在機構典藏中所有的資料項目都受到原著作權保護.

    TAIR相關文章

    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library & TKU Library IR teams. Copyright ©   - 回饋