淡江大學機構典藏

Menu Search
查询小技巧：
  • 您可在西文检索词汇前后加上"双引号"，以获取较精准的检索结果
  • 若欲以作者姓名搜寻，建议至进阶搜寻限定作者字段，可获得较完整数据
    •  进阶搜寻

    功能/链接

    邻近类别
    期刊論文 [1057/1143]
    專書 [65/83]
    專書之單篇 [19/60]
    研究報告 [106/448]
    學位論文 [958/960]
    專利 [16/31]
    視聽著作 [0/1]
    其他 [4/5]

    类别统计

    近3年内发表的文件: 58(3.13%)
    含全文笔数: 929(50.11%)

    文件下载次数统计
    下载大于0次: 929(100.00%)
    下载大于10次: 929(100.00%)
    全文下载总次数: 451271(38.70%)

    最后更新时间: 2025-06-14 16:45


    上传排行

    数据加载中.....

    下载排行

    数据加载中.....

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

    显示项目1751-1800 / 1854. (共38页)
    << < 29 30 31 32 33 34 35 36 37 38 > >>
    每页显示[10|25|50]项目

    日期题名作者
    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.
    1991-12-18 Inheritance-based object-oriented software testing 莊淇銘; Chung, Chi-ming;
    1991-12-18 Reasoning in relational databases with null values 蔣定安; Chiang, Ding-an;
    1991-12 A quantitative analysis for different software testing criteria 莊淇銘; 王英宏;
    1991-12 Parsing strong LL(k) languages with a modified LL(1) parsing table and a lookahead table 劉虎城; 林尤;
    1991-11 An automatic design specification and verification tool for systolic array designe Lin, Fu-yau; 施國琛;
    1991-10 Extended structured development technique 莊淇銘; Chung, Chi-ming
    1991-10 Object-oriented programming and analysis 莊淇銘; Chung, Chi-ming
    1991-10 Testing methodologies development and selection 莊淇銘; Chung, Chi-ming
    1991-10 An expert CASE system 莊淇銘; Chung, Chi-ming;
    1991-10 On the design of image databases for concurrent spatial match retrieval Chang, C. C.; 黃心嘉;
    1991-10 競爭環境下資訊模糊化企業研究發展策略調適的解析架構 趙榮耀; Chao, Louis R.;
    1991-10 Cryptographic authentication of passwords Chang, C. C.; 黃心嘉;
    1991-10 An expert software cost estimation system 莊淇銘
    1991-08 A Comparative Study of Dispatching Rules in An Assembly Shop 趙榮耀; Chow, Louis R.;
    1991-06 Managing a parallel heap efficiently Das, Sajal K.; Horng, Wen-bing;
    1991-06 Robabilistic deductive and abductive reasoning by using probabilistic deduction graphs and Integer programming Li, Han-lin; Yang, Chao-chih;
    1991-06 A Prototype of An ICAI System -- Inferring Student Learning State with A Neural Network Approach 趙榮耀; Chow, Louis R.;
    1991-04 Design of an inference engine for reasoning with imprecise linguistic information Chung, H. T.; Schwartz, D. Z.
    1991-03 Direct-manipulation user interface modeling with high-level petri nets 葛煥昭; Keh, H. C.;
    1991-01 A strategy to transform public key cryptosystems to ID-based public key cryptosystems Hwang, Ren-junn; 黃仁俊
    1991 Automatic formal verification of systolic array designs 施國琛
    1991 Aximatic approach for sysolic array designs 施國琛
    1991 Verification tools for systolic array designs 施國琛
    1991 Query processing for relational databases with null values 蔣定安; Chiang, Ding-an;
    1990-12 環境有關資料資料源現況調查 廖述良; 趙榮耀
    1990-12 環境資料源資料庫系統設計之研究 趙榮耀; 莊淇銘;
    1990-11 Completeness of logic programs under megaton as failure 汪柏; Wang, Bal
    1990-09-24 Software development techniques-Combining testing and metrics Chung, Chi-ming
    1990-07 Ploynominal metrics 莊淇銘; Chung, Chi-ming;
    1990-07 Readability metrics 莊淇銘; Chung, Chi-ming;
    1990-06 Object-oriented testing and programming techniques 莊淇銘; Chung, Chi-ming;
    1990-05 Object-oriented testing 莊淇銘
    1990-04 LR/1, A Prolog-like System for Reasoning with Imprecise Linguistic Information Chung, H. T.; Schwartz, D. G.
    1990-01 Tranformation from data flow diagram to design 莊淇銘
    1990-01 Help pe2 : colored-retvi-net-bassed hypermedia help system designer 葛煥昭
    1990 Software testing methodologies for object-oriented programming 莊淇銘; Chung, Chi-ming
    1990 A software development methodology combining metrics and testing 莊淇銘; Chung, Chi-ming;
    1990 A CASE for logic programming 施國琛
    1989-12 Algorithms for finding the most complicated loop-free and loop-once paths 莊淇銘; Chung, Chi-ming;
    1989-12 Object-oriented concurrent programming from testing view 莊淇銘; Chung, Chi-ming;
    1989-12 Alternative methods for incorporating non-exponential distributions into stochastic timed petri nets Chen, Po-zung; 陳伯榮;
    1989-12 A Real-Time Model-Based Decision Support System for Solving Job Shop Scheduling Problem 趙榮耀; Chow, Louis R.;
    1989-11 Applying software matrics life cycle 莊淇銘
    1989-05-26 Testing-specific metrics 莊淇銘; Chung, Chi-ming;
    1989 A note on the computer coroutines with continuations 王慶林; Wang, Ching-lin

    显示项目1751-1800 / 1854. (共38页)
    << < 29 30 31 32 33 34 35 36 37 38 > >>
    每页显示[10|25|50]项目
    DSpace Software Copyright © 2002-2004  MIT &  HP  /   Enhanced by   NTU Library IR team Copyright ©   - 回馈