ASIA unversity:
English  |  正體中文  |  简体中文  |  全文笔数/总笔数 : 90074/105197 (86%)
造访人次 : 7150753      在线人数 : 43
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
搜寻范围 查询小技巧:
  • 您可在西文检索词汇前后加上"双引号",以获取较精准的检索结果
  • 若欲以作者姓名搜寻,建议至进阶搜寻限定作者字段,可获得较完整数据
  • 进阶搜寻
    其他研究計畫 [0/2]
    博碩士論文 [1642/1704]
    專書 [0/21]
    期刊論文 [921/1587]
    科技部大專學生研究計畫 [0/5]
    科技部研究計畫 [68/70]

    类别统计

    近3年内发表的文件:0(0.00%)
    含全文笔数:302(28.46%)

    文件下载次数统计
    下载大于0次:302(100.00%)
    下载大于100次:129(42.72%)
    全文下载总次数:45334(7.34%)

    最后更新时间: 2020-03-30 15:03


    上传排行

    数据加载中.....

    下载排行

    数据加载中.....

    RSS Feed RSS Feed
    跳至:
    或输入年份:
    由新到旧排序 由最旧的开始

    显示项目1051-1061 / 1061. (共43页)
    << < 34 35 36 37 38 39 40 41 42 43 
    每页显示[10|25|50]项目

    日期题名作者
    1992 A Specification Processing Environment for Making Well Engineered Logic Programs Timothy K. Shih; Ruth Davis; Rob Langsner
    1992 Intelligence Backtracking and Controls Based on a Deduction Status Representation in Logic Programming Timothy K. Shih; Ruth Davis
    1992 Verification of Systolic Architecture Designs Fuyau Lin; Timothy K. Shih
    1992 Inductive Techniques for Formal Verification of Systolic Array Designs in DSP Applications Nam Ling; Timothy K. Shih; Jonathan Huang
    1992 Using Prolog as a Tool for Systolic Array Designs Fuyau Lin; Timothy K. Shih; Nam Lin; Ruth Davis
    1992 Disciplined Exceptions in Logic Programming, Timothy K. Shih; Ruth E. Davis; Fuyau Lin
    1992 An Automatic Design Specification and Verification Tool for Systolic Architecture Timothy K. Shih; Nam Ling; Ruth Davis; Fuyau Lin
    1991 Verification Tools for Systolic Array Design Fuyau Lin; Timothy K. Shih; Nam Ling
    1991 Axiomatic Approach for Systolic Array Design Fuyau Lin; Timothy K. Shih; Nam Ling
    1991 Automatic Formal Verification of Systolic Array Designs Nam Ling; Fuyau Lin; Timothy K. Shih; Ruth Davis
    1990 A CASE for Logic Programming R. E. Davis; Timothy K. Shih

    显示项目1051-1061 / 1061. (共43页)
    << < 34 35 36 37 38 39 40 41 42 43 
    每页显示[10|25|50]项目

    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library IR team Copyright ©   - 回馈