查询词典 manipulation program

Topics covered include: programming and computability theory based on a term-rewriting,"substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.

其所包含的主题：程序和运算理论是基于根据算数和具有一些副作用的计划纲要的条款重写和"代入"模式之上的、关于代数学计算的算数：关于代数学计算和术语重写理论的评价方案作计划、应用程序自己和说明的自相矛盾到形式上的程序语义、关于计划Halting 问题的不可判定性、可递归可列举集合的属性、导致对于等同计划的不完整规则、对于逻辑和证明程序的规范和Hilbert的第十问题。

Software Description: About Right Click Commander, This is a file manipulation and management program.

Right Click Commander 这是一个文件处理和管理软件。

Against Excel spreadsheet file manipulation of the program, Excel to operate.

针对Excel表格文件操作的编程实现，可以对Excel进行操作。

The program is mainly in the background monitoring system key information changes, For example, the registry changes and the hard disk as file manipulation arising from the changes.

该程序主要是在后台监视系统中关键信息的变化情况，比如注册表的改变及硬盘上由于文件操作引起的改变等。

The face of a variety of different types of information, you need a reasonable database structure to store data as well as effective program structure to support the implementation of a variety of data manipulation.

面对各种不同种类的信息，需要合理的数据库结构来保存数据信息以及有效的程序结构支持各种数据操作的执行。

This program includes many manipulation functions, it looks nice and has instant viewing of your fonts as you design them.

这个程序包含许多处理功能，它的界面看起来很好，可以在设计时即时查看你的字体。

It is a graphical image, created as a Blender Render or your favorite graphical image manipulation program as a 14x22 pixel image.

它得是一个14x22像素的图像。

Goal. In case the learner had used a standard file manipulation program, his/her error in command 2 would not have been recognised and the learner would have formatted the floppy disk and would have lost useful information.

以免万一学习者已经使用标准文件操作他的/她在2命令的错误本不会一直被发现和那些学习者本将会格式化软碟和可能失去有用的讯息。

Although OOo provides many tools for working with images, for best results it is generally better to use an image manipulation program such as GIMP, to modify images (for example, to crop, resize, rotate, and change color values) and then insert the result into OOo.

尽管 OOo 为图像提供了很多的工具，但是最好还是使用专门的图像处理软件修改图像（如裁剪、调整大小、旋转和调整颜色等），然后才插入到 OOo 文档中。

Although OOo provides many tools for working with images, for best results it is generally better to use an image manipulation program such as GIMP* to modify images (for example, to crop, resize, rotate, and change color values) and then insert the result into OOo.

虽然OOo提供了多种图像处理工具，但是为了取得最佳效果，修改图像（例如：裁剪、缩放、旋转、改变颜色值）最好使用图像处理程序，如GIMP，然后再将结果插入到OOo中。

I'm strongly against the death penalty — it's an eye for an eye.

我不赞成死刑——这是以牙还牙的报复行为。

And to get you the support you need, we're enlisting all elements of our national power: our diplomacy and development, our economic might and our moral suasion, so that you and the rest of our military do not bear the burden of our security alone.

并给你们所须的支援，我们正徵召国家所有各种的力量：我们的外交及发展，我们的经济力量与道德劝说，所以你们与其他军人不须要孤独地负起国家安全的责任。