您要查找的是不是：
- Abstract: The development of Bruner＇s curriculum theory experienced the change from structural curriculum to humanitarian curriculum. 文章摘要: 布魯納課程理論的發(fā)展經(jīng)歷了由結構課程理論向人本主義課程觀(guān)的轉向。
- K.L. McMillan. Symbolic Model Checking: an approach to the State explosion problem. 邵明;李光輝;李曉維.;模型檢驗中遷移關(guān)系的分組策略
- 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. 給出了使用符號化模型檢測來(lái)驗證對弈必勝策略的一般方法，并給出了一個(gè)井字棋必勝策略驗證的實(shí)例。
- This result shows that it is effective to analyse and check the new property of E-commerce protocols by symbol model checker. 結果表明利用符號模型檢驗方法分析檢驗電子商務(wù)協(xié)議的新特性是行之有效的。
- The play’s symbolism jarred with the realism of its setting. 該劇的象征主義與其舞臺背景的現實(shí)主義不協(xié)調。
- 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. 經(jīng)過(guò)限帶濾波后的QDPSK信號的碼元波形可分為穩定區與過(guò)渡區，根據這一特點(diǎn)可以利用DFT方法來(lái)實(shí)現信號的解調和位同步。
- 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平臺，研究、設計與開(kāi)發(fā)出一個(gè)系統穩定、功能完善的通用地圖符號編輯器，有效地實(shí)現對通用地圖符號庫的操作和管理。
- Symbolic Model Checking the SET Protocol SET協(xié)議支付過(guò)程的符號模型檢驗
- Bruner's symbolic model 布魯納象征性模式
- Verification of PIC Based on Symbolic Model Checking 基于符號模型檢驗的硬件驗證
- Symbolic model checking analysis for cryptographic protocol 密碼協(xié)議的符號模型檢測及分析
- SYMBOLIC MODEL CHECKING OF DISCRETE DURATION CALCULUS 離散時(shí)段演算的符號模型驗證
- The Symbol Model and Bible Allusion on the Sound and the Fury 論《喧嘩與騷動(dòng)》的象征模式和圣經(jīng)隱喻
- They spend the winter(s) in a warmer climate. 他們在氣候較暖的地方過(guò)冬。
- Most plural nouns in English end in "s". 英語(yǔ)的復數名詞多以“s”結尾。
- The sweater had shrunk after repeated washing(s). 這件套頭毛衣洗過(guò)多次已縮水了。
- Some old folk(s) have peculiar tastes. 有些老人有特殊的愛(ài)好。
- Answer the following question(s). 回答下列問(wèn)題。
- Most plural nouns in English end in s'. 英語(yǔ)的復數名詞多以s結尾。
- The drug affects one's power(s) of concentration. 這種藥影響人精神不能集中。
