搜尋:formal

符合的藏品

Formal Specification in Softwa...

Multimedia database Object reuse Multimedia presentation Z notation Formal specification 國家圖書館.....more

46/232

Formal Description of Lexical ...

詞彙語意學 計算詞彙 形式概念分析 Lexical semantics Computational lexicon Formal concept analysis 國家圖書館 20090100 期刊.....more

47/232

Towards Quality of Software in...

Executable specifications Formal method Formal specifications Proofs Rapid prototyping Reuse.....more

48/232

A Formal Language System Suppo...

General product machine Language iterator Object-oriented technique Formal language Finite automata.....more

49/232

Formal Syntheses of ()-Methyle...

Formal synthesis Methylenomycin A Methylenomycin B Masked p-benzoquinones Photochemical.....more

50/232

Formal Specification of the In...

Formal specification Object Z Security-critical systems Intrusion-tolerant system 國家圖書館 20060100 期刊.....more

51/232

An Integrated Combination of J...

Formal specifications Informal methods Jackson System Development JSD Methods integration Z 傑克森系統 國.....more

52/232

非正規學習成就認證的理論與現況

非正規學習 學習成就認證 終身學習 社區大學 Non-formal learning Accreditation of non-formal learning achievement.....more

53/232

A Study and Survey on Formal V...

specification Formal methods Theorem proving Model checking Machine equivalence Language containment State.....more

54/232

建構我國成人非正規學習成就認證...

非正規學習 學習成就認證 非正規學習成就認證 Non-formal learning Accreditation of learning achievements Accreditation.....more

55/232

A Primary Study on the Formal ...

承擔特質 生態學取向心理學 正規化語法 Affordance Ecological approach Formal description 國家圖書館 20011100 期刊論文 游曉貞(You.....more

56/232

A Survey on Formal Theorem Pro...

設計確認 功能性規格 正規定理證明 模型核對 Design validation Functional specification Formal theorem proving Model.....more

57/232

正規規格維護性評估軟體

 Formal description techniques Formal specification 國家圖書館 20000500 期刊論文 黃世禎(Huang, Sun-jen) 正規規格維護性評估軟.....more

58/232

The Effects of Autonomous Lear...

自主學習 補救教學 英語能力低成就學生 Autonomous learning Formal instruction Low achievers' English proficiency 國家圖書館.....more

59/232

A Formal Communicating Specifi...

20060900 期刊論文 Tsai, Chen-fang A Formal Communicating Specification for the Multiple R&D Supply Chains 臺灣.....more

60/232
上一頁
第 4 頁
共 16 頁
下一頁
下十頁