English  |  正體中文  |  简体中文  |  全文笔数/总笔数 : 54451/89232 (61%)
造访人次 : 10569729      在线人数 : 33
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library & TKU Library IR team.
搜寻范围 查询小技巧:
  • 您可在西文检索词汇前后加上"双引号",以获取较精准的检索结果
  • 若欲以作者姓名搜寻,建议至进阶搜寻限定作者字段,可获得较完整数据
  • 进阶搜寻


    jsp.display-item.identifier=請使用永久網址來引用或連結此文件: http://tkuir.lib.tku.edu.tw:8080/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 ©   - 回馈