1.
The Research of Modeling in Model Checking Java Program;
Java程序模型验证中的程序建模问题研究
2.
Research and Implementation of FBD Program Model and Optimization Technology
FBD程序建模优化技术研究及实现
3.
The Model and Verification of MPI Parallal Programs Based on Petri Net;
基于Petri网的MPI并行程序建模与正确性验证
4.
Establishment and application of process simulation program package for p-xylene complex
PX装置流程模拟程序包的建立和应用
5.
Set application level database modeling options.
设置应用程序级数据库建模选项。
6.
Modeling BPEL4WS Program with Pi Calculus and Case Study;
Pi演算建模BPEL4WS程序及实例研究
7.
Research on Intrusion Model Reconstruction from Execution-Trace
基于程序执行流构建入侵模型的研究
8.
analog-digital automatic program tester
模数自动程序测试程序
9.
Modeling and Programming of Some Engineering Structures by Finite Element Method;
若干工程问题的有限元建模及程序设计
10.
Research on the hybrid multibody systems model applicance for the wind turbines programmed modeling
适用于程序化建模的风力机混合多体模型研究
11.
On stylized process and actualizing of construction partnering;
建筑业伙伴合作模式化程序与实施建议
12.
modular PL/1 program
模块式ＰＬ／１程序
13.
2.6 Building a Java program
2.6 构建Java程序
14.
Conversion Algorithm from Business Process Model to BPEL Program in BPEL Modeling Tool
BPEL建模工具中业务流程模型到BPEL程序的转换算法
15.
Moving right along, we're going to create a layout for all of our application templates.
下面我们为应用程序的模板创建一个布局。
16.
Design of Template Based on Built-in Self Test and Bench Mark Program
基于软件内建自测试的模板和基准程序设计
17.
Parametric Modeling Program Development of the Chassis Structure Components of the Truck Crane;
汽车起重机底盘结构件参数化建模程序开发
18.
Automatic Modeling of Dynamic Analysis and Programming 0f Belt Conveyor;
带式输送机动态分析的自动建模与程序开发