1.
Computer Proving of Several Theorem in BCI-Algebra Ideals
BCI-代数理想问题的计算机证明
2.
Research on Methods of Security Assurance Based on Computer-Assisted Proof;
基于计算机辅助证明的安全性保证方法研究
3.
Proving Method for Validity of Computer Data Forensics
一种计算机数据取证有效性的证明方法
4.
The Monte-Carlo simulation results show its validity.
计算机仿真实验结果证明了该方法的有效性。
5.
A Rough Proof on Goldbach s Conjecture with G·del s Computer;
哥德巴赫猜想简要证明与哥德尔计算机
6.
A Demonstration: Computers are Impossible to Rid of Human Control;
关于计算机不可能摆脱人的控制的证明
7.
Dialectical Relation between Computer, Network and Modern Civilization Created by Mankind;
论计算机、网络与人类创造现代文明的辩证关系
8.
This may prove to be a much easier and more economical computation, whether an analog or digital computer is used.
可以证明，不论采用模拟计算机或数字计算机，这都是一个更容易和更经济的计算方法。
9.
The imaging results of simulated targets prove it is effective.
对计算机模拟数据的成象结果证明了这种算法的的有效性。
10.
aircraft noise certification scheme
飞机噪音证明书计划
11.
A written guarantee that a system or computer program complies with its specified requirements.
一个系统或计算机程序符合规定要求的一种书面证明。
12.
machine-readable travel document
计算机可读旅行证件
13.
The first step of Computer Forensic is solidification of suspect data.
计算机犯罪证据的固定是计算机取证的第一步。
14.
Computer Forensics in Crime Investigation--A Study of Computer Evidence;
计算机犯罪侦查取证技术——计算机证据研究
15.
Discussion on Static Forensics and Dynamic Forensics
浅谈计算机静态取证与计算机动态取证
16.
Demonstration of Computing Formula of Euler Function
Euler函数计算公式的证明研究
17.
The Proof for Formula of Stirling Numbers of the Second-kind
第二类Stirling数计算公式的一种证明
18.
Study of Remote Automated Anonymous Attestation in Trusted Computing
可信计算中远程自动匿名证明的研究