1.
The Research of Modeling in Model Checking Java Program;
Java程序模型验证中的程序建模问题研究
2.
Windows2000Device Drivers Model WD M Analysis;
WINDOWS2000设备驱动程序模型WDM分析
3.
Program Implementation of Grey Model for Non-equidistant Sequence;
非等间距序列的灰色模型的程序实现
4.
Markov-Grey Simulating Model and Its Function Realizing;
马尔可夫灰色模拟模型及其程序实现
5.
How does the object-oriented model of computation differ from the process-state model?
如何程序状况模型数值和物件导向模型的不同？
6.
Model Extraction and Model Checking Research for Java Concurrent Programs
Java并发程序的模型提取与模型检测技术研究
7.
E-WDM Enhanced Windows Driver Model
增强型视窗驱动程序模块
8.
disk operating system module tester
磁盘操作系统模型试验程序
9.
An Object-based Model tor resting Web Applications
一种用于Web应用程序测试的对象模型
10.
Connects the add-in to the extensibility object model.
将外接程序连接到扩展性对象模型。
11.
IMP Program Diagnosis Based on Operator Component Matrix Model;
基于算子分量矩阵模型的IMP程序诊断
12.
The Research of APLA Abstract Parallel Programs in DPAPD Model;
DPAPD模型中的APLA抽象并行程序的研究
13.
The Research of Re-Evaluation in Feature Modeling System and Irrespection of Course Sepuence;
特征模型重构与历程顺序无关的研究
14.
Progran Implementation of GM(1,1)Grey Model;
GM(1,1)灰色模型的程序实现
15.
Function Sequence Optimization Model and Its Application in Value Engineering;
功能优序模型及在价值工程中的应用
16.
A Study on the Javelin Skill Teaching Models of Teaching Moves;
掷标枪最佳程序教学步骤模型的研究
17.
Gray Forecast of GM(1,1)Model Calculate Procedure in Visual Foxpro;
GM(1,1)模型灰色预测法Visual Foxpro计算程序
18.
A OOA Analyse to Deal with the Model of Account;
帐务处理程序OOA模型分析(二)