Siblings 其他研究計畫 [0/2] 博碩士論文 [657/662] 專書 [0/23] 期刊論文 [749/1233] 科技部大專學生研究計畫 [29/42] 科技部研究計畫 [57/62] Collection Statistics 近3年內發表的文件:0(0.00%) 含全文筆數:101(28.94%) 文件下載次數統計 下載大於0次:101(100.00%) 下載大於100次:101(100.00%) 檔案下載總次數:62632(9.02%) 最後更新時間: 2024-11-28 06:41 Top Upload Loading... Top Download Loading... Recent Submissions The epidemiology and progression ti... Phylogenetic Analysis using Nuclear... Local Alignment of Protein Structur... Subcellular Localization Prediction... Potential Function Optimization usi... Object Relational Programming of Bi... Timing Errors of Real-Time Software... A Hybrid Knowledge Representation f... Non-Monotonic Logic as a Basis for ... A Logic-Based Requirements Language...

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 176-200 of 349. (14 Page(s) Totally) << < 3 4 5 6 7 8 9 10 11 12 > >> View [10|25|50] records per page

Date	Title	Authors
1996-02	A Logic-Based Requirements Language for the Specification and Analysis of Real-Time Systems	蔡進發; Jeffrey, J.P.Tsai
1996-02	A Logic-Based Requirements Language for the Specification and Analysis of Real-Time Systems	Jeffrey J. P. Tsai;
1996-02	A Logic-Based Requirements Language for the Specification and Analysis of Real-Time Systems	蔡進發; Jeffrey, J.P.Tsai; T.Weigert; T.Weigert
2002-11	Machine Learning and Software Engineering	蔡進發; Jeffrey, J.P.Tsai
2002-11	Machine Learning and Software Engineering	Jeffrey J. P. Tsai; D. Zhang
2002-11	Machine Learning and Software Engineering	D.Zhang; D.Zhang; 蔡進發; Jeffrey, J.P.Tsai
2012-04	A Measurement System for Human Face Orientation Estimation Based on Coefficients of Karhunen-Lo?ve Transformation	李正宇; Lee, Cheng-Yu
2012-04	A Measurement System for Human Face Orientation Estimation Based on Coefficients of Karhunen-Lo?ve Transformation	李正宇; Lee, Cheng-Yu
2010-11	The Measurements of Biomolecular Interactions by Surface Plasmon Resonance Techniques	胡文品; Hu, Wen-Pin
2002-05	Modeling a Secure Mobile Agent System with Petri Nets Scheme	蔡進發; Jeffrey, J.P.Tsai
2002-05	Modeling a Secure Mobile Agent System with Petri Nets Scheme	L.Ma; L.Ma; 蔡進發; Jeffrey, J.P.Tsai; T.Murata; T.Murata
2006-05	Modeling an E-Auctioning System using Formal Method with a Trusted Agent Proxy	蔡進發; Jeffrey, J.P.Tsai
2006-05	Modeling an E-Auctioning System using Formal Method with a Trusted Agent Proxy	P.S.; P.Srinivasan; 蔡進發; Jeffrey, J.P.Tsai; L.Ma; L.Ma
2002-08	Modeling and Heuristic Technique for Efficient Verification of Component-Based Software Systems	蔡進發; Jeffrey, J.P.Tsai
2002-08	Modeling and Heuristic Technique for Efficient Verification of Component-Based Software Systems	蔡進發; Jeffrey, J.P.Tsai; E.Juan; E.Juan
1994-11	Modeling and Parallel Evaluation of Non-Functional Requirements Using FRORL Requirements Language	蔡進發; Jeffrey, J.P.Tsai; B.Li; B.Li; A.Liu; A.Liu
1994-11	Modeling and Parallel Evaluation of Non-Functional Requirements Using FRORL Requirements Language	蔡進發; Jeffrey, J.P.Tsai
2002-06	Modeling and Simulation of Routing Protocol for Mobile Ad Hoc Networks Using Colored Petri Nets	蔡進發; Jeffrey, J.P.Tsai
2002-06	Modeling and Simulation of Routing Protocol for Mobile Ad Hoc Networks Using Colored Petri Nets	Jeffrey J. P. Tsai; C. Xiong, T. Murata
2002-06	Modeling and Simulation of Routing Protocol for Mobile Ad Hoc Networks Using Colored Petri Nets	C.Xiong; C.Xiong; T.Murata; T.Murata; 蔡進發; Jeffrey, J.P.Tsai
2008-08	Modeling of Secure Sensor Networks Using an Extended Elementary Object System	蔡進發; Jeffrey, J.P.Tsai
2008-08	Modeling of Secure Sensor Networks Using an Extended Elementary Object System	V.D.; V.Devarashetty; 蔡進發; Jeffrey, J.P.Tsai; L.Ma; L.Ma; D.Zhang; D.Zhang
2005-11	Modular Structure of Protein-Protein Interaction	蔡進發; Jeffrey, J.P.Tsai
2005-11	Modular Structure of Protein-Protein Interaction	C.H.Huang; C.H.Huang; P.H.Lee; P.H.Lee; 蔡進發; Jeffrey, J.P.Tsai; 吳家樂; Ng, Ka-Lok
2011-10	Molecular Modeling Studies of AmpR Mediated AmpC beta-Lactamase Repression	Hecht, David; Hecht, David; C.N.Wang; Charles, C.N.Wang; 胡若梅; Hu, Rouh-Mei; 蔡進發; Jeffrey, J.P.Tsai

Showing items 176-200 of 349. (14 Page(s) Totally) << < 3 4 5 6 7 8 9 10 11 12 > >> View [10|25|50] records per page