淡江大學機構典藏:
English  |  正體中文  |  简体中文  |  全文筆數/總筆數 : 64185/96962 (66%)
造訪人次 : 12563035      線上人數 : 3320
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library & TKU Library IR team.
搜尋範圍 查詢小技巧:
  • 您可在西文檢索詞彙前後加上"雙引號",以獲取較精準的檢索結果
  • 若欲以作者姓名搜尋,建議至進階搜尋限定作者欄位,可獲得較完整資料
  • 進階搜尋
    期刊論文 [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%)
    檔案下載總次數: 450566(38.71%)

    最後更新時間: 2025-06-12 03:46


    上傳排行

    資料載入中.....

    下載排行

    資料載入中.....

    RSS Feed RSS Feed
    跳至:
    或輸入年份:
    由新到舊排序 由最舊的開始

    顯示項目1701-1750 / 1854. (共38頁)
    << < 29 30 31 32 33 34 35 36 37 38 > >>
    每頁顯示[10|25|50]項目

    日期題名作者
    1994-12 Constructing the Planer Convex Hulls by Quadrilateral Devour Algorithm 趙榮耀; Chao, Louis R.;
    1994-12 A new verification mechanism on the server-aided secret computation protocols for the modular exponentiation 黃心嘉; Hwang, shin-jia;
    1994-12 Extracting Multi-thread with localities for vector computers 張志勇; Chang, Chin-yung
    1994-11-09 Tools cooperation in an integration environment by message-passing mechanism Chung, Chi-ming; Wang, Ying-hong;
    1994-11 A new dynamic approach for finding the contour of bi-level images Chow, Louis R.; 劉虎城;
    1994-09-15 一種線條畫比對的有效方法 林慧珍; Lin, Hwei-jen
    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-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.

    顯示項目1701-1750 / 1854. (共38頁)
    << < 29 30 31 32 33 34 35 36 37 38 > >>
    每頁顯示[10|25|50]項目

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