查询词典 checker

It is a simple simulation or a prototype of the famous graph game "Planarity" without the solution checker.

这是一个简单的模拟或原型著名的图形游戏"平面"的办法检查。

Hief Checker, I find that the ship is now listing to the starboard side. Please inform the stevedores to load the containers at portside first.

：理货长，我发现船舶现在正在向外档倾斜，请你告知码头工人先装载里档的集装箱。

Depending on the degree of automation, the prover can essentially be reduced to a proof checker, with the user providing the proof in a formal way, or significant proof tasks can be performed automatically.

根据自动化程度的证明者基本上可以归结为证明检查，与用户提供的证明在一次正式的方式，或显着的证明任务可以自动执行。

WORD PROCESSOR Spell Checker (20+ langs., check block/all), Thesaurus, full control of fonts, colors, highlight color, left/right/center/justify/indent text, page margins, bullets, table color/shading/border/resize, format painter, text-sort, block-move, line/word-select, char.map, 100-level undo/redo, second editor pane etc. ATTACHMENTS: include files of any type and reasonable size; TREE FEATURES copy/paste, expand/collapse,sort, number tree, order tree-nodes through drag-drop, copy subtree directly to another database.

字处理器的拼写检查（ 20 + langs ，检查座/所有），词库，完全控制字体，颜色，突出的颜色，左/右/中心/理由/缩进文字，页边距，子弹，表颜色/阴影/边界/大小，格式的画家，文本排序，分块移动，线/字选择， char.map ， 100级别的撤销/重做，第二编辑窗格等附件：包括文件的任何类型的和合理的规模；树的特点复制/粘贴，展开/折叠，排序，有多少树，为了树节点通过拖放，复制子树直接向另一个数据库。

Global transaction management Global transaction management consists of global serializability, global atomicity and recovery, global deadlock checker, etc. In distributed data resources management, the complexity of local data sources increases the difficulty of global transaction management.

分布数据资源管理中的全局事务管理通过对事务管理的关键问题的分析，针对分布数据资源管理中数据源在事务处理能力中的巨大差异，提出了给每一个局部数据源包装器添加一些事务处理的功能，让包装器针对特定数据源的具体情况完成部分全局子事务的并发控制和恢复管理，使得在全局管理层可以使用二阶段锁进行并发控制和使用二阶段提交进行事务恢复，并使用超时法进行死锁检测，从而达到分数据资源的全局事务管理。

Don't you just love the built-in spell checker in Firefox ?

你不只是爱情内置在拼写检查在Firefox 吗？

Finally, make sure you use a spell checker.

最后，请确认您使用拼写检查。

In order to help them find the errors, they requested that I include a spell checker with the program.

为了帮助他们找到的错误，他们要求我包括一个拼写检查程序。

It can either be used as a library or as an independent spell checker..

它既可以当作库来使用，也可以做为独立的拼写检查器来用。

Even though the built-in spell checker is useful, the setback for it is it doesn't work in web form.

虽然内置的拼写检查是有用的，因为它的挫折是行不通的网页表单。

Objective To investigate the effects of interleukin-1 β converting enzyme gene on the biologic characteristics of ovarian cancer cells.

目的 探讨白细胞介素-1 β转换酶的表达，对卵巢癌细胞生物学特性的影响。

Campylobacter: This illness is the most commonly identified cause of diarrheal illness in the world.

弯曲：这种病是最常见的原因查明腹泻病，在世界上。