1.
Research on Constraint Programming Based Petri Net s Reachability Problem;
基于约束程序的Petri网可达问题的研究
2.
binding dispute-settlement procedures
有约束力解决争端程序
3.
The ICAD System of Binding Programming Paradigm
基于约束型程序设计风范的ICAD系统
4.
Are the ambient conditions controlled for the bonding process?
周围是情况吗受约束的为会接程序?
5.
Add code in your application to enforce these constraints.
在应用程序中添加代码来实施这些约束。
6.
A Study of Concurrent Program Testing Method Based on Event Sequencing Constraints;
基于事件约束的并发程序测试方法研究
7.
On the procedure system design of Judge s Free Criminal Discretion;
论法官刑事自由裁量权程序约束机制之构建
8.
Verification of business process constraints based on temporal logic
基于时序逻辑的业务过程约束建模及验证
9.
Algorithm for the Generation of Unconstrained Edges Based on the Decision-to-Decision Graph
一种基于程序DD图的无约束边生成算法
10.
SUMT (Sequential Unconstrained Minimization Technique)
顺序无约束极小化技术
11.
sequential unconstrained minimization technique
序贯无约束极小化方法
12.
You need to add code in your application to enforce these constraints.
需要在您的应用程序中添加代码，才能实施这些约束。
13.
A project for creating an application for resource-constrained mobile devices
用于为受资源约束的移动设备创建应用程序的项目
14.
Free of restraints or rules in organization, methods, or procedure.
不受约束的在组织、方法或程序上没有限制或规则的
15.
A New Fast Convergent SSLE Algorithm for Inequality Constrained Optimization without Strict Complementarity;
约束优化无严格互补的快速收敛序列线性方程组算法
16.
A Superlinearly Convergent SSLE Algorithm for Optimization Problem with Linear Complementarity Constraints;
线性互补约束优化问题一个超线性收敛的序列线性方程组算法
17.
The Research on Automatic Generation of Functional Verification Program for Microprocessor Based on Constraint Solving;
基于约束求解的微处理器功能验证程序自动生成技术研究
18.
A Program Verification and Testing Tool Based on Symbolic Execution and Constraint Solving;
基于符号执行和约束求解的程序验证与测试工具