English  |  正體中文  |  简体中文  |  全文笔数/总笔数 : 62805/95882 (66%)
造访人次 : 3944452      在线人数 : 679
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library & TKU Library IR team.
搜寻范围 查询小技巧：
  • 您可在西文检索词汇前后加上"双引号"，以获取较精准的检索结果
  • 若欲以作者姓名搜寻，建议至进阶搜寻限定作者字段，可获得较完整数据
    •  进阶搜寻
    邻近类别
    期刊論文 [955/1129]
    專書 [66/87]
    專書之單篇 [19/60]
    研究報告 [106/470]
    學位論文 [957/958]
    專利 [16/31]
    視聽著作 [0/1]
    其他 [4/5]

    类别统计

    近3年内发表的文件: 49(2.65%)
    含全文笔数: 935(50.57%)

    文件下载次数统计
    下载大于0次: 935(100.00%)
    下载大于10次: 927(99.14%)
    全文下载总次数: 371920(38.43%)

    最后更新时间: 2024-04-19 20:57


    上传排行

    数据加载中.....

    下载排行

    数据加载中.....

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

    显示项目1701-1750 / 1849. (共37页)
    << < 28 29 30 31 32 33 34 35 36 37 > >>
    每页显示[10|25|50]项目

    日期题名作者
    1994-09 財務比率評估與診斷之模糊知識系統 李鴻璋; 鄭啟明
    1994-09 Switching-Type Fuzzy Controller Design Wong, Ching-Chang; Feng, Shyuan-Ming;
    1994-06-27 A knowledge-based approach to supervised incremental learning Fu, Li-min; Hsu, Hui-huang;
    1994-03 GPS汽車導航系統之應用 蔣定安; Chiang, Ding-an
    1994-03 C++之物體導向應用程式架構 An Object-Oriented Application Framework in C++ 葛煥昭
    1993-12-03 Closure properties of isometric context-free array languages 林慧珍; Lin, Hwei-jen
    1993-12-02 Logic programs with conflict resolution 洪文斌; Horng, Wen-bing;
    1993-12 Class hierarchy testing for object-oriented design 莊淇銘; Chung, Chi-ming
    1993-12 Logic programs with conflict resolution = 邏輯程式中之矛盾解決 Horng, Wen-bing; 洪文斌;
    1993-08 The use of fixed point induction in verifying systolic array designs : An applicative approach 施國琛; Shih, Timothy K.
    1993-08 VSTA : a prolog-based formal verifier for systolic array designs Ling, Nam; 施國琛;
    1993-04-18 Conflict resolution in commonsense reasoning 洪文斌; Horng, Wen-bing;
    1993-04 Vectorizing do loops and improving data Reuse for shared memory vector procesing 張志勇; Chang, Chin-yung
    1993-02 A new approach for transitive closure matriz algorithm 莊淇銘; Chung, Chi-ming
    1993-02 Testing object-iented design modelled by finite state control 莊淇銘; Chung, Chi-ming
    1993-01 Object-oriented design metric based on inheritance 葛煥昭
    1993 公共科技專案投資評估的折現率選擇問題 梁馨科; 趙榮耀;
    1992-12-13 Petri-net-based object-oriented modeling of graphical direct-manipulation user interface systems 葛煥昭
    1992-12-07 An investigation for different testingcriteria 莊淇銘; Chung, Chi-ming
    1992-12 Petri-Net-Based Object-Oriented Modeling of Graphical Direct-Manipulation User Interface Systems Keh, Huan-Chao; Chiang, Ding-An;
    1992-12 Petri-net-based object-oriented modeling of graphical direct-manipulation systems 蔣定安; Chiang, Ding-an
    1992-11-11 A quantitative measurement for different testing methodologies 莊淇銘; Chung, Chi-ming;
    1992-11-02 A quantitative analysis of testing methodologies 莊淇銘; Chung, Chi-ming
    1992-11 Inheritance-based object-oriented software metrics Chung, Chi-ming; Lee, Ming-Chi;
    1992-11 Cyclic inheritance detection for object-oriented database Chiang, Ding-an; Lee, Ming-chi
    1992-11 A quantitative measurement for different testing metodologies 莊淇銘; Chung, chi-ming
    1992-11 CIIS-An Efficient Package for Obtaining Critical Items of Complex Systems Hwang, Y. J.; 趙榮耀;
    1992-10-05 A quantitative analysis between all-p-uses some-c-usese and all-p-uses criteria 莊淇銘; Chung, Chi-ming
    1992-10 Methodologies for quality assurance 陳瑞發; Chen, Jui-fa
    1992-10 The specification and verification of synchronous concurrent computation Lin, F.; 施國琛;
    1992-10 Loop-once path complexity for software measurement 王英宏; Wang, Ying-hong
    1992-10 The quantitative analysis of control flow software testing criteria 王英宏; Wang, Ying-hong
    1992-09 Closure properties of isometric regular array languages 林慧珍; Lin, Hwei-jen
    1992-08-11 A quantitative measurement of testing methodologies 莊淇銘; Chung, Chi-ming;
    1992-08 An Efficient Method for Following the Contours of Bi-level Images 趙榮耀; 劉虎城;
    1992-08 Fault-tolerant sorting algorithm on hypercube multiprocessors 張志勇; Chang, Chin-yung
    1992-06-20 Object-oriented programming testing methodology Chung, Chi-ming; Lee, Ming-chi;
    1992-05 Sensor placement for state estimation in contaminated groundwater systems Kuo, C. H.; Michel, A. N.;
    1992-04 Sharing a dynamic secret Chang, C. C.; 黃心嘉;
    1992-02 Dynamic Adaptation of Competitive Technology Strategies under Information－－Fuzzified Management of Technology 趙榮耀; Chow, Louis R.;
    1992-01 Intelligence backstracking and controls based on a deduction status representation in logic programming 施國琛; Shih, Timothy K.
    1992-01 Program generation and controls in a specification processing environment 施國琛; Shih, Timothy K.
    1992-01 A back-end CASE environment 陳瑞發; Chen, jui-fa
    1992-01 A cryptographic key management scheme for access control in a tree structure Hwang, yen-junn; 黃仁俊
    1992-01 Using prolog as a tool for systolic array designs 施國琛; Shih, Timothy K.
    1992-01 Coping with failure : disciplined exception handling in logic programming 施國琛; Shih, Timothy K.
    1992-01 英漢字典壓縮研究 張真誠; 黃仁俊;
    1992-01 A specification processing environment for making well engineered logic programs 施國琛 = Shih, Timothy K.
    1992-01 A temporal rule-based expert system for systolic array designs 施國琛; Shih, timothy K.
    1992-01 Inductive techniques for formal verification of systolic array designs in DSP applications approach 施國琛; Shih, Timothy K.

    显示项目1701-1750 / 1849. (共37页)
    << < 28 29 30 31 32 33 34 35 36 37 > >>
    每页显示[10|25|50]项目

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