您要查找的是不是：
- Abstract: The development of Bruner＇s curriculum theory experienced the change from structural curriculum to humanitarian curriculum. 文章摘要: 布魯納課程理論的發展經歷了由結構課程理論向人本主義課程觀的轉向。
- K.L. McMillan. Symbolic Model Checking: an approach to the State explosion problem. 邵明;李光輝;李曉維.;模型檢驗中遷移關係的分組策略
- This paper presents a common method of verifying the winning strategy of games with symbolic model checking，and gives a case study of Tic-Tac-Toe. 給出了使用符號化模型檢測來驗證對弈必勝策略的一般方法，並給出了一個井字棋必勝策略驗證的實例。
- This result shows that it is effective to analyse and check the new property of E-commerce protocols by symbol model checker. 結果表明利用符號模型檢驗方法分析檢驗電子商務協議的新特性是行之有效的。
- The play』s symbolism jarred with the realism of its setting. 該劇的象徵主義與其舞台背景的現實主義不協調。
- After a bandpass filter, QDPSK signal』s symbol can be divided into steady section and transition section, so the demodulation and synchronization for the signal can be realized with DFT. 經過限帶濾波后的QDPSK信號的碼元波形可分為穩定區與過渡區，根據這一特點可以利用DFT方法來實現信號的解調和位同步。
- Through building a common GIS map symbol system, it makes GIS data』s symbolization independent from GIS inside ones, and realizes the sharing of CMSL. (2) CMSE. 不依附於現有的任何GIS平台，研究、設計與開發出一個系統穩定、功能完善的通用地圖符號編輯器，有效地實現對通用地圖符號庫的操作和管理。
- Symbolic Model Checking the SET Protocol SET協議支付過程的符號模型檢驗
- Bruner's symbolic model 布魯納象徵性模式
- Verification of PIC Based on Symbolic Model Checking 基於符號模型檢驗的硬體驗證
- Symbolic model checking analysis for cryptographic protocol 密碼協議的符號模型檢測及分析
- SYMBOLIC MODEL CHECKING OF DISCRETE DURATION CALCULUS 離散時段演算的符號模型驗證
- The Symbol Model and Bible Allusion on the Sound and the Fury 論《喧嘩與騷動》的象徵模式和聖經隱喻
- They spend the winter(s) in a warmer climate. 他們在氣候較暖的地方過冬。
- Most plural nouns in English end in "s". 英語的複數名詞多以「s」結尾。
- The sweater had shrunk after repeated washing(s). 這件套頭毛衣洗過多次已縮水了。
- Some old folk(s) have peculiar tastes. 有些老人有特殊的愛好。
- Answer the following question(s). 回答下列問題。
- Most plural nouns in English end in s'. 英語的複數名詞多以s結尾。
- The drug affects one's power(s) of concentration. 這種葯影響人精神不能集中。
