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

    子类别

    期刊論文 [955/1129]
    會議論文 [935/1849]
    專書 [66/87]
    專書之單篇 [19/60]
    研究報告 [106/470]
    學位論文 [957/958]
    專利 [16/31]
    視聽著作 [0/1]
    其他 [4/5]

    社群统计


    近3年内发表的文件: 95(2.07%)
    含全文笔数: 3057(66.62%)

    文件下载次数统计
    下载大于0次: 3052(99.84%)
    下载大于10次: 3020(98.79%)
    全文下载总次数: 977059(5.28%)

    最后更新时间: 2024-04-30 17:28

    上传排行

    数据加载中.....

    下载排行

    数据加载中.....

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

    显示项目251-300 / 4588. (共92页)
    << < 1 2 3 4 5 6 7 8 9 10 > >>
    每页显示[10|25|50]项目

    日期题名作者
    1992-01 Intelligence backstracking and controls based on a deduction status representation in logic programming 施國琛; Shih, Timothy K.
    1992-01 Verification of systolic architecture designs. Additiional info : systolic approach 施國琛; Shih, T.;
    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 A Neural Network Approach to Design an Intelligent Computer Aided- Instruction System 趙榮耀; Chow, Louis R.
    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 continuation-based language embedded in scheme 王慶林; Wang, Ching-lin
    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.
    1992-02 Design of optimal pump-and-treat strategies for contaminated groundwater remediation using the simulated annealing algorithm Kuo, Chin-Hwa; Michel, Anthony N.;
    1992-02 Dynamic Adaptation of Competitive Technology Strategies under Information--Fuzzified Management of Technology 趙榮耀; Chow, Louis R.;
    1992-03 Sharing a circular storage area for multiple stacks 張真誠; Chang, Chin‐Chen;
    1992-03 An example of modeling and evaluation of a concurrent program using colored stochastic Petri nets: Lamport's fast mutual exclusion algorithm Balbo, Giafranco; Chiola, Giovanni;
    1992-04 Sharing a dynamic secret Chang, C. C.; 黃心嘉;
    1992-05 Cryptographic key assignment scheme for access control in a hierarchy Chang, Chin Chen; Hwang, Ren-junn;
    1992-05 Sensor placement for state estimation in contaminated groundwater systems Kuo, C. H.; Michel, A. N.;
    1992-06 Strategic Dynamics of Research and Development under Competitive Environment with Fuzziness 趙榮耀; Chow, Louis R.;
    1992-06 A New Algorithm for Structured Program Design 趙榮耀; Chow, Louis R.;
    1992-06-20 Object-oriented programming testing methodology Chung, Chi-ming; Lee, Ming-chi;
    1992-07 Speedcode的設計和實作--一個C++物件導向應用程式架構 葛煥昭
    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-08-11 A quantitative measurement of testing methodologies 莊淇銘; Chung, Chi-ming;
    1992-09 Closure properties of isometric regular array languages 林慧珍; Lin, Hwei-jen
    1992-09 Inheritance-Based Metric for Complexity Analysis in Object-Oriented Design 莊淇銘; Chung, Chi-ming;
    1992-09 Inheritance-based metric for complexity analysyis in object-oriented design 莊淇銘; 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-10 Fault-tolerant sorting algorithm on hypercube multiprocessors 張志勇; Chang, Chih-yung;
    1992-10-05 A quantitative analysis between all-p-uses some-c-usese and all-p-uses criteria 莊淇銘; 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-11-02 A quantitative analysis of testing methodologies 莊淇銘; Chung, Chi-ming
    1992-11-11 A quantitative measurement for different testing methodologies 莊淇銘; Chung, Chi-ming;
    1992-12 多媒体同步協調與高階層發展環境 趙榮耀; 徐郁輝
    1992-12 分散式資料庫平行擷取的新安排演繹法 唐順明; Tang, S. M.;
    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-12-01 Parallel Simulation and its Performance Evaluation Chou, Chien-chun; 周建群
    1992-12-07 An investigation for different testingcriteria 莊淇銘; Chung, Chi-ming
    1992-12-13 Petri-net-based object-oriented modeling of graphical direct-manipulation user interface systems 葛煥昭
    1993 International journal of information management & engineering 劉虎城; Liu, Hoo-cheng

    显示项目251-300 / 4588. (共92页)
    << < 1 2 3 4 5 6 7 8 9 10 > >>
    每页显示[10|25|50]项目

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