1、

The partial weakest precondition is another way to represent the over-approximated program semantics, and its definition is also based on variable abstraction.

部分最弱前置条件是程序保守近似语义的另一种表示方法,同样基于变量抽象定义。

互联网摘选

2、

We then present the partial strongest post-condition, which represents the over-approximated program semantics.

基于变量抽象,我们定义了部分最强后置条件,进而定义了程序的保守近似语义。

互联网摘选

3、

However to continue with the gains you must learn to manage your diet once off the program.

然而,继续与收益你必须学会管理程序关闭您的饮食一次。

互联网摘选

4、

Illustrated by a program case, the main function of the PowerPoint components and the method of operating Microsoft PowerPoint through these components are introduced, the solution of direct edit presentation document in Delphi are also analyzed and discussed.

结合编程实例介绍了Delphi7.0中的PowerPoint组件的功能,以及利用这些组件完成在Delphi中操作Microsoft PowerPoint的方法,就实现Delphi对演示文稿直接操作进行了探讨和分析。

互联网摘选

5、

The program of predicting temperature and humidity in deep coalmine

高温矿井风流温度和湿度预测及其程序编制

互联网摘选

6、

Even then, you'd need to build different versions a program for AMD and NVIDIA platforms.

即使到那时, 你需要建立不同版本的程序为AMD和NVIDIA平台.

互联网摘选

7、

Firstly, computer program to solve the dimensional non-dimensional Enluer equation is developed.

首先, 编制计算机程序求解二维、无量纲化欧拉方程.

互联网摘选

8、

With a first round of requirements analysis complete, the narrative notes you have in hand will make design of your program's exception-handling far more rational and rewarding.

在完成了第一轮需求分析后,您手中拥有的这些叙述性说明会使程序的异常处理设计更为合理且更有价值。

互联网摘选

9、

Have fun with this program, joke around with your friends or fool some persons around.

唱歌有此计划, 笑话,周围与您的朋友或欺骗一些人左右.

期刊摘选

10、

In our country we have a junior development program for players aged from seven to eleven.

我国有少年培养(发展)计划,年龄从7岁到11岁。

互联网摘选

11、

On Design and Realization of Modular Structure of Turbocharged Diesel Engine Cycle Simulation Program

涡轮增压柴油机循环模拟程序模块化结构的设计与实现

互联网摘选

12、

The modular structure design and realization for turbocharged diesel engine cycle simulation program have been studied and stated in detail in this paper.

对涡轮增压柴油机循环模拟程序模块化结构的设计与实现进行了详细的研究和论述。

互联网摘选

13、

The program will also help producers meet the dietary standards of the halal market.

该计划还将帮助生产者满足饮食标准的清真市场。

互联网摘选

14、

" With Jeff, what you see is what you get," says Gerald Hawkins, director emeritus of the Caldwell Fellows program at North Carolina State and a friend of Williams's.

霍金斯是北卡州考德威尔伙伴计划(Caldwell Fellows program)的名誉理事,同时也是威廉姆斯的朋友。

互联网摘选

15、

A simple program that can send a file through a serial port.

一个简单的串口文件发送接受程序.

期刊摘选

16、

I know it sounds funny, but that is what I learned in a summer camp converted into a training program called Leadershape.Yes, we've got a few out there.Their slogan is to have a "healthy disregard for the impossible"

听起来有点扯,但我确实从“塑造领导力”夏令营中得到了启发。看,真的有人参加过的吧。我们的口号是“世上无难事只怕有心人

互联网摘选

17、

The IOC says it will also undertake a wider re-testing program of medalists from the Beijing and London games.

国际奥委会表示,还将对北京和伦敦奥运会的获奖运动员们进行更广泛的重新测试。

互联网摘选

18、

I asked Tim to install an antivirus software program on my computer.

我要求提姆帮我计算机安装一套防毒软件.

互联网摘选

19、

See also initial program load.

可参阅初始化程序的装入.

互联网摘选

20、

I am never able to get through to the hot-line of this program.

这个栏目的热线电话一直打不通.

互联网摘选

  • 今日热词
  • 热门搜索

简答网英语词典(dict.jiandongshicai.cn)为您提供在线翻译、英语词典、单词大全、英译汉、汉译英等英语服务!可按单词头尾、字数和词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:(如需回复请填写联系方式)
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈