淡江大學機構典藏:
English  |  正體中文  |  简体中文  |  Items with full text/Total items : 64185/96959 (66%)
Visitors : 11469172      Online Users : 8718
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library & TKU Library IR team.
Scope Tips:
  • please add "double quotation mark" for query phrases to get precise results
  • please goto advance search for comprehansive author search
  • Adv. Search
    HomeLoginUploadHelpAboutAdminister Goto mobile version

    Collection

    Journal Article [1057/1143]
    Proceeding [929/1854]
    Monograph [65/83]
    Chapter [19/60]
    Research Paper [106/448]
    Thesis [958/960]
    Patent [16/31]
    Audio Visual Work [0/1]
    Others [4/5]

    Community Statistics


    Item counts issued in 3 years: 118(2.57%)
    Items With Fulltext: 3154(68.79%)

    Download counts of the item
    Download times greater than 0: 3149(99.84%)
    Download times greater than 10: 3135(99.40%)
    Total Bitstream Download Counts: 1160334(5.04%)

    Last Update: 2025-06-07 03:55

    Top Upload

    Loading...

    Top Download

    Loading...

    RSS Feed RSS Feed

    Jump to: [Chinese Items]   [0-9]   [ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z ]
    or enter the first few letters:   

    Showing items 1491-1500 of 4583. (459 Page(s) Totally)
    << < 145 146 147 148 149 150 151 152 153 154 > >>
    View [10|25|50] records per page

    DateTitleAuthors
    1997-07-01 Formal model of temporal properties underlying multimedia presentations Shih, Timothy K.; Hwang, Lain-jinn;
    1995-01 Formal specification and verification in Z for syncchronous concurrent compution Lin, Fuyau; 施國琛;
    1998-11-23 Formal Specification in Software Reuse Designs: an Object-Oriented Database Example 葛煥昭; Keh, Huan-chao;
    1997-04 Formal specification of a graph-based object-oriented software testing Chung, Chi-ming , Shih, Timothy K.; Wang, Chun-chia
    1996-03 Formal specification of multimedia authoring Shih, Timothy K.; Chiang, Ding-an;
    1997-01 Formal specification of multimedia database modeling with Z notations Shih, Timothy K.; Lin, Nancy P.;
    1995-09-16 Formalizing commonsense knowledge by using logic progroms 洪文斌; Horng, Wen-bing
    1994-12 Formalizing Inheritance Hierarchies with Exceptions by Using Logic Programs Horng, Wen-Bing; Yang, Chao-Chih
    1994-12-12 Formalizing inheritance with exception by using logic programs 洪文斌; Horng, Wen-bing;
    1994-01 Formalizing the design of systolic array designs 施國琛; Shih, Timothy K.

    Showing items 1491-1500 of 4583. (459 Page(s) Totally)
    << < 145 146 147 148 149 150 151 152 153 154 > >>
    View [10|25|50] records per page

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