English  |  正體中文  |  简体中文  |  Items with full text/Total items : 91709/106932 (86%)
Visitors : 18208529      Online Users : 440
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTU 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

    Please use this identifier to cite or link to this item: http://asiair.asia.edu.tw/ir/handle/310904400/77748

    Title: Modeling an E-Auctioning System using Formal Method with a Trusted Agent Proxy
    Authors: P.S.;P.Srinivasan;蔡進發;Jeffrey, J.P.Tsai;L.Ma;L.Ma
    Contributors: 生物與醫學資訊學系
    Date: 2006.05
    Issue Date: 2013-12-26 17:19:57 (UTC+8)
    Relation: Proceedings of Workshop on Advances in Computer Science and Engineering
    Appears in Collections:[生物資訊與醫學工程學系 ] 會議論文

    Files in This Item:

    There are no files associated with this item.

    All items in ASIAIR are protected by copyright, with all rights reserved.

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