As proof of the amount owed to it, the hospital offered in evidence a computer printout of the services rendered to the defendant and the amounts owed for them.
为了证明所欠的款额，医院以一份为被告所服务的电脑打印件和所欠的款额作为证据。
That's not much compared to computer chips, but Tour says this tag is just a "proof of concept."
和计算机芯片相比，这算不了什么。不过图尔称，这种新标签还仅仅处于“验证设想”阶段。
Because hackers and identity thieves learn new ways to infiltrate computers everyday, it's important to make your computer as hacker - and identity theft-proof as possible.
因为黑客和身份小偷每天都会学习用新的方式去渗透电脑，所以，使你的电脑能尽可能的收集到黑客和身份小偷的证据是很重要的。
Because hackers and identity thieves learn new ways to infiltrate computers everyday, ita s important to make your computer as hacker - and identity theft-proof as possible.
因为黑客和身份小偷每天都会学习用新的方式去渗透电脑，所以，使你的电脑能尽可能的收集到黑客和身份小偷的证据是很重要的。
Slow computer performance: it just takes one parasite like Proof Defender 2009 to slow your computer dramatically.
慢速计算机性能：它只是需要一个像2009年的证明后卫寄生虫缓慢电脑急剧增加。
Modern logic is divided into recursion theory, model theory, and proof theory, and is closely linked to theoretical computer science.
现代逻辑分为递归理论，模型理论，证据理论，是密切相关的理论计算机科学。
Primary issuance of Bitcoin is determined by computer algorithms which require large amounts of computer power, to validate sequences (blocks) and proof-of-work.
初次发行比特币需要大量的计算机算法，以验证工作序列（块）和校对。
It leads to a new way to find the non-computer-aided proof for four-color conjecture.
为四色问题的非计算机证明找到了一个新的途径。
The method has been applied to proof-rending with computer for tow ancient editions of Xin Yu which are published in the Ming and Qing Dynasty. Satisfactory results have been achieved.
本方法在微机校对古籍《新语》的明朝和清朝两个版本中得到了应用，并取得了良好的效果。
DT Part IV "program specification and proof" describes how to apply your logical understanding to a real computer science problem, the accurate description and verification of programs.
DT IV部分“程序说明书和证据”描述怎样把你的合乎逻辑的理解用于一个真正的计算机科学问题，计画的准确的描述和证实。
Computer room, program-controlled equipment room, electrical-controlled classroom, occasions that have the requirement of dust-proof and anti-static, and places need to be raised.
计算机机房、程控机房、电化教室，有防尘防静电及需要架空的场合。
Computer room, program-controlled equipment room, electrical-controlled classroom, occasions that have the requirement of dust-proof and anti-static, and places need to be raised.
计算机机房、程控机房、电化教室，有防尘防静电及需要架空的场合。
应用推荐