1.
Developing Trend of Popularization of Competitive Events;
竞技运动项目“软式化”的发展趋势
2.
On “Softenlization” of Events of Competitive Sports in the College;
关于学校体育竞技项目“软式化”的探讨
3.
On Z Notation-based Formalization of Software Engineering
基于Z语言的软件工程形式化研究
4.
Research on Formal Methods for Safe Software Architecture;
安全软件体系结构的形式化方法研究
5.
Formal Analysis and Verification for Component-based Embedded Software Designs;
构件化嵌入式软件设计的分析与验证
6.
Improving the Performance of Software DSM Systems;
软件分布式共享存储系统的性能优化
7.
The Research on Methods of Formal Software Developing Based on Petri Nets;
基于Petri网的形式化软件开发方法研究
8.
The Softening Development of China s Rhythmic Gymnastics;
我国艺术体操软化式发展的初步研究
9.
Applied Method and Software Model of Computer Aided Finance Management;
财务管理信息化实现方式及软件模型
10.
Overview of the General Approaches of Testing Embedded Software;
“嵌入式软件结构化测试”的一般原理
11.
Ossification patterns of costal cartilages in men and women;
男女肋软骨骨化方式判定性别的研究
12.
Cultivar Comparative Trial of Water Dropwort (Oenanthe decumbens) Under Different Intenerate Methods
不同软化方式下的水芹品种比较试验
13.
Z Language and Formalization of Software Architecture Style
Z语言与软件体系结构风格的形式化
14.
Internationalization of Chinese Software in Platform/Plug-in Model
平台+插件模式下的中文软件国际化
15.
Modeling and Verification of Embedded Real-time Software by Combination of Visual Method and Formal Method;
形式化与可视化相结合的嵌入式实时软件建模和验证
16.
Please insert a formatted floppy disk and press OK
请插入一张经过格式化的软盘并按“确定”
17.
Insert a formatted disk into your selected floppy disk drive.
请将格式化的磁盘插入选定的软盘驱动器。
18.
Optimization of compounding zoom cam curve design with OZSAD
用OZSAD软件实现复合式变焦凸轮曲线优化设计